| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Predicate
Description
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