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

Index - <

<Predicate.Data.Ordering, Predicate
<$Predicate.Data.Lifted, Predicate
<$>Predicate.Data.Lifted, Predicate
<%>Predicate.Misc, Predicate
<&>Predicate.Data.Lifted, Predicate
<*Predicate.Data.Lifted, Predicate
<*>Predicate.Data.Lifted, Predicate
<..>Predicate.Core, Predicate
<:>Predicate.Data.Lifted, Predicate
<<Predicate.Core, Predicate
<=Predicate.Data.Ordering, Predicate
<=~Predicate.Data.Ordering, Predicate
<>Predicate.Data.Monoid, Predicate
<|>Predicate.Data.Lifted, Predicate
<~Predicate.Data.Ordering, Predicate