validated-types-0.1.1: Type-level constraints on strings and other input

Safe Haskell	None
Language	Haskell2010

Refined.Length

Synopsis

Documentation

data Length p Source #

The length of an input

Instances

(CharLength x, Predicate p Int) => Predicate (Length p) x Source #
Methods validate :: Length p -> x -> Maybe String #
Implies m n => Implies (Length m) (Length n) Source #
Methods relax :: Refined (Length m) x -> Refined (Length n) x Source #

type LengthEq n = Length (EqualTo n) Source #

type LengthMax n = Length (LessThanEq n) Source #