@hackage type-natural dependencies

20 results

library:type-natural (9 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.8

@haskell/base

Basic libraries

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

@hackage/integer-logarithms

Integer logarithms.

MIT

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

BSD-3-Clause

@hackage/ghc-typelits-natnormalise

GHC typechecker plugin for types of kind GHC.TypeLits.Nat

BSD-2-Clause>=0.4

@hackage/ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

BSD-2-Clause

@hackage/ghc

The GHC API

BSD-3-Clause

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.4.1.1

@hackage/constraints

Constraint manipulation

BSD-2-Clause>=0.3

test:type-natural-test (11 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/type-natural

Type-level natural and proofs of their properties.

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty-discover

Test discovery for the tasty framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/quickcheck-instances

Common quickcheck instances

BSD-3-Clause

@hackage/integer-logarithms

Integer logarithms.

MIT

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause