@hackage hasmtlib dependencies

18 results

library:hasmtlib (18 dependencies)

@hackage/data-default

A class for types with a default value

BSD-3-Clause>=0.7.1 && <1

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause>=5 && <6

@hackage/some

Existential type: Some

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

@hackage/vector-sized

Size tagged vectors

BSD-3-Clause>=1 && <2

@hackage/base

Core data structures and operations

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

@hackage/array

Mutable and immutable arrays

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <3

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause>=0.14.4 && <1

@hackage/smtlib-backends

Low-level functions for SMT-LIB-based interaction with SMT solvers.

MIT>=0.4 && <0.5

@hackage/smtlib-backends-process

An SMT-LIB backend running solvers as external processes.

MIT>=0.3 && <0.4

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause>=2.0.2 && <3

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.6.7 && <1

@hackage/utf8-string

Support for reading and writing UTF8 Strings

BSD-3-Clause>=1.0.2 && <2

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause>=0.2.20 && <0.3

@hackage/bitvec

Space-efficient bit vectors

BSD-3-Clause>=1.1.5 && <2

@hackage/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause>=0.11.5 && <1

@hackage/finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals

BSD-3-Clause>=0.1.0 && <1

@hackage/dependent-map

Dependent finite maps (partial dependent products)

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