@hackage regex-genex dependencies

15 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.

Compatibility with Haskell 98

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)

Compatibility with Haskell 98