@hackage smtlib2 dependencies

14 results

Concrete functor and monad transformers

An efficient packed Unicode text type.

Process libraries

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

Mutable and immutable arrays

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Fixpoint data types

Constraint manipulation

Efficient buffered output.

Fast combinator parsing for bytestrings and text

Efficient parsing and serialisation of S-Expressions.