predicate-typed: Predicates, Refinement types and Dsl
Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme
Modules
[Index] [Quick Jump]
- Predicate
- Predicate.Core
- Data
- Predicate.Data.Bits
- Predicate.Data.Char
- Predicate.Data.Condition
- Predicate.Data.DateTime
- Predicate.Data.Either
- Predicate.Data.Elr
- Predicate.Data.Enum
- Predicate.Data.Extra
- Predicate.Data.Foldable
- Predicate.Data.IO
- Predicate.Data.Index
- Predicate.Data.Iterator
- Predicate.Data.Json
- Predicate.Data.Lifted
- Predicate.Data.List
- Predicate.Data.Maybe
- Predicate.Data.Monoid
- Predicate.Data.Numeric
- Predicate.Data.Ordering
- Predicate.Data.Proxy
- Predicate.Data.ReadShow
- Predicate.Data.Regex
- Predicate.Data.String
- Predicate.Data.These
- Predicate.Data.Tuple
- Predicate.Elr
- Examples
- Predicate.Misc
- Predicate.Refined
- Predicate.Refined2
- Predicate.Refined3
- Predicate.Refined5
- Predicate.Util
- Predicate.Util_TH
Downloads
- predicate-typed-0.7.4.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates