Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides a type-level Dsl for refinement types
Predicate.Refined2 and Predicate.Refined3 hold the more advanced refinement types allowing changes to the input type
Documentation
module Predicate.Core
module Predicate.Prelude
module Predicate.Util
module Predicate.Util_TH
module Predicate.Refined