@hackage / dependent-literals

Library for dependent-literals-plugin

Latest0.2.0

Dependencies

library:dependent-literals (8 dependencies)

@hackage / numeric-kinds Type-level numeric types and classes
- Version: >=0.1 && <0.3
- License: Apache-2.0
@hackage / sint Nat singletons represented by Int
- Version: >=0.1 && <0.3
- License: Apache-2.0
@hackage / base Core data structures and operations
- Version: >=4.12 && <4.17
- License: BSD-3-Clause
@hackage / wrapped Newtypes to carry DerivingVia instances
- Version: >=0.1 && <0.2
- License: Apache-2.0
@hackage / fin-int Finite sets of static size
- Version: >=0.1 && <0.3
- License: Apache-2.0
@hackage / type-compare Type-level Ord compatibility layer
- Version: >=0.1 && <0.2
- License: Apache-2.0
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.8 && <0.9
- License: BSD-3-Clause
@hackage / snumber Integer singletons with flexible representation
- Version: >=0.1 && <0.4
- License: Apache-2.0