Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides a type-level Dsl for refinement types
Predicate.Refined2 and Predicate.Refined3 contain the advanced refinement types where you can convert the input type
Documentation
module Predicate.Core
module Predicate.Prelude
module Predicate.Util
module Predicate.Refined