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

Safe HaskellNone
LanguageHaskell2010

Predicate

Description

Provides a type-level Dsl for refinement types

To use refinement types you will need to also import Refined and/or Refined3

Documentation