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

Index - +

+Predicate.Data.Numeric, Predicate.Prelude, Predicate
++Predicate.Data.List, Predicate.Prelude, Predicate
+++Predicate.Data.Either, Predicate.Prelude, Predicate
+:Predicate.Data.List, Predicate.Prelude, Predicate