Predicate

Provides a type-level Dsl for refinement types

Predicate.Refined2 and Predicate.Refined3 hold the more advanced refinement

Documentation

module Predicate.Core

module Predicate.Elr

module Predicate.Misc

module Predicate.Refined

module Predicate.Util

module Predicate.Util_TH

module Predicate.Data.Bits

module Predicate.Data.Char

module Predicate.Data.Condition

module Predicate.Data.DateTime

module Predicate.Data.Either

module Predicate.Data.Elr

module Predicate.Data.Enum

module Predicate.Data.Extra

module Predicate.Data.Foldable

module Predicate.Data.Index

module Predicate.Data.Iterator

module Predicate.Data.IO

module Predicate.Data.Json

module Predicate.Data.Lifted

module Predicate.Data.List

module Predicate.Data.Maybe

module Predicate.Data.Monoid

module Predicate.Data.Numeric

module Predicate.Data.Ordering

module Predicate.Data.Proxy

module Predicate.Data.ReadShow

module Predicate.Data.Regex

module Predicate.Data.String

module Predicate.Data.These

module Predicate.Data.Tuple