P

predicate-transformers

A Haskell library for composing and writing predicates and transformers on predicates.