@hackage sized dependencies

27 results

library:sized (14 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5

@haskell/base

Basic libraries

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

@hackage/type-natural

Type-level natural and proofs of their properties.

BSD-3-Clause>=1.3

@hackage/these

An either-or-both data type.

BSD-3-Clause

@hackage/subcategories

Subcategories induced by class constraints

BSD-3-Clause>=0.2

@hackage/mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

MIT>=0.10

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause>=0.14

@hackage/hashable

A class for types that can be converted to a hash value

BSD-3-Clause>=1.2

@hackage/ghc-typelits-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers.

BSD-3-Clause>=0.7.2

@hackage/ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

BSD-2-Clause

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.5

@hackage/constraints

Constraint manipulation

BSD-2-Clause

test:optimisaion-test (13 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/primitive

Primitive memory-related operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

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/th-lift

Derive Template Haskell's Lift class for datatypes.

BSD-3-Clause

@hackage/tasty-inspection-testing

Inspection testing support for tasty

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/subcategories

Subcategories induced by class constraints

BSD-3-Clause

@hackage/sized

Sized sequence data-types

BSD-3-Clause

@hackage/mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

MIT

@hackage/inspection-testing

GHC plugin to do inspection testing

MIT>=0.4 && <0.6