@hackage / checked-literals

GHC plugin for checked numeric literals

Latest0.1.2

Dependencies

library:checked-literals (8 dependencies)

@hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
- Version: >=0.8 && <0.9
- License: BSD-2-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.20 && <2.25
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version: >=0.9 && <0.10
- License: BSD-2-Clause
@hackage / ghc-typelits-extra Additional type-level operations on GHC.TypeLits.Nat
- Version: >=0.5 && <0.6
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.18 && <5
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.7 && <0.8
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.4
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=9.6 && <9.15
- License: BSD-3-Clause

test:unittests (10 dependencies)