@hackage type-level-natural-number-induction dependencies

3 results

library:type-level-natural-number-induction (3 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2 && <0.4

@haskell/base

Core data structures and operations

BSD-3-Clause>=3 && <5

@hackage/type-level-natural-number

Simple type level natural numbers

BSD-3-Clause>=1.0 && <1.2