@hackage smtlib2 dependencies

14 results

Efficient buffered output.

Core data structures and operations

Constraint manipulation

Mutable and immutable arrays

Monad classes for transformers, using functional dependencies

Fast combinator parsing for bytestrings and text

An efficient packed Unicode text type.

Concrete functor and monad transformers

Assorted concrete container types

Process libraries

Fixpoint data types

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

Efficient parsing and serialisation of S-Expressions.

Haskell 98 phantom types to avoid unsafely passing dummy arguments