@hackage hasmtlib dependencies

15 results

An efficient packed Unicode text type.

Monad classes for transformers, using functional dependencies

Assorted concrete container types

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

Core data structures and operations

Size tagged vectors

Existential type: Some

An SMT-LIB backend running solvers as external processes.

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

Lenses, Folds and Traversals

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

Dependent finite maps (partial dependent products)

A class for types with a default value

Space-efficient bit vectors

Fast combinator parsing for bytestrings and text