@hackage / list-witnesses

Witnesses for working with type-level lists

Latest0.1.4.1

Dependencies

library:list-witnesses (8 dependencies)

@hackage / microlens A tiny lens library with no dependencies
- Version:
- License: BSD-3-Clause
@hackage / singletons Basic singleton types and definitions
- Version: >=3.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / profunctors Profunctors
- Version:
- License: BSD-3-Clause
@hackage / decidable Combinators for manipulating dependently-typed predicates.
- Version: >=0.3.1.1
- License: BSD-3-Clause
@hackage / functor-products General functor products for various Foldable instances
- Version: >=0.1.2
- License: BSD-3-Clause
@hackage / singletons-base A promoted and singled version of the base library
- Version: >=3.0
- License: BSD-3-Clause
@hackage / vinyl Extensible Records
- Version: >=0.14.3
- License: MIT