@hackage regex-genex dependencies

13 results

An efficient packed Unicode text type.

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Simple, Fair and Terminating Backtracking Monad

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

A backtracking logic-programming monad.

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)