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

Safe HaskellNone
LanguageHaskell2010

Refined.LessThanEq

Documentation

data LessThanEq n Source #

Instances

(Ord x, Num x, KnownNat n) => Predicate (LessThanEq n) x Source # 

Methods

validate :: LessThanEq n -> x -> Maybe String #

(<=) n m => Implies (EqualTo n) (LessThanEq m) Source # 

Methods

relax :: Refined (EqualTo n) x -> Refined (LessThanEq m) x Source #