@hackage / tagged-list

Lists tagged with a type-level natural number representing their length.

Latest1.1

Dependencies

library:tagged-list (8 dependencies)

@hackage / type-level-natural-number-induction High-level combinators for performing inductive operations.
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / AbortT-transformers A monad and monadic transformer providing "abort" functionality
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / natural-number Natural numbers tagged with a type-level representation of the number.
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / type-equality Data.Type.Equality compat package
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / type-level-natural-number Simple type level natural numbers
- Version: >=1.0 && <1.2
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / type-level-natural-number-operations Basic operations on type-level natural numbers.
- Version: >=1.0 && <1.1
- License: BSD-3-Clause