Predicate

Provides a type-level Dsl for refinement types

To use refinement types you will need to also import Predicate.Refined and/or Predicate.Refined3

Documentation

module Predicate.Core

module Predicate.Prelude

module Predicate.Util