predicate-typed-0.7.4.5: Predicates, Refinement types and Dsl

Index - >

>Predicate.Data.Ordering, Predicate
>=Predicate.Data.Ordering, Predicate
>=~Predicate.Data.Ordering, Predicate
>>Predicate.Core, Predicate
>>=Predicate.Data.Lifted, Predicate
>>>Predicate.Core, Predicate
>|Predicate.Data.Lifted, Predicate
>|>Predicate.Data.Lifted, Predicate
>~Predicate.Data.Ordering, Predicate