Module

Data.Predicate

#Predicate

newtype Predicate a

An adaptor allowing >$< to map over the inputs of a predicate.

Constructors

Instances

Modules