@hackage sized-vector dependencies

9 results

library:sized-vector (9 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.9.0.0 && <2.12

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.3 && <1.5

@haskell/base

Core data structures and operations

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

@hackage/type-natural

Type-level natural and proofs of their properties.

BSD-3-Clause>=0.4.1 && <0.5

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=2.1 && <2.2

@hackage/monomorphic

Library to convert polymorphic datatypes to/from its monomorphic represetation

BSD-3-Clause>=0.0 && <0.1

@hackage/hashable

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

BSD-3-Clause>=1.1 && <1.3

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.4 && <0.5

@hackage/constraints

Constraint manipulation