@hackage / dependent-literals-plugin

Dependent integer literals

Latest0.1.0.2

Dependencies

library:dependent-literals-plugin (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.12 && <4.17
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.1 && <0.8
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=8.6 && <9.3
- License: BSD-3-Clause

test:FinErrors-test (9 dependencies)

@hackage / dependent-literals Library for dependent-literals-plugin
- Version: >=0.1.1 && <0.3
- License: Apache-2.0
@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 / short-vec Length-indexed vectors using SmallArray#
- Version: >=0.1 && <0.2
- License: Apache-2.0
@hackage / wrapped Newtypes to carry DerivingVia instances
- Version: >=0.1 && <0.2
- License: Apache-2.0
@hackage / dependent-literals-plugin Dependent integer literals
- Version:
- License: Apache-2.0
@hackage / fin-int Finite sets of static size
- Version: >=0.1 && <0.3
- License: Apache-2.0
@hackage / snumber Integer singletons with flexible representation
- Version: >=0.1 && <0.4
- License: Apache-2.0

test:IntErrors-test (9 dependencies)

test:Plugin-test (9 dependencies)

test:PolyErrors-test (9 dependencies)

test:SIntErrors-test (9 dependencies)

test:SNumberErrors-test (9 dependencies)

test:WordErrors-test (9 dependencies)