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

Index - <

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