predicate-typed-0.2.0.0: Predicates, Refinement types and Dsl
Predicate
Description
Provides a type-level Dsl for refinement types
To use refinement types you will need to also import Refined and/or Refined3
Refined
Refined3
module Predicate.Core
module Predicate.Prelude
module Predicate.Util