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

Safe HaskellNone
LanguageHaskell2010

Refined.Implies

Synopsis

Documentation

class Implies from to where Source #

Certain refinedments imply others. See https://github.com/nikita-volkov/refined/pull/6

Methods

relax :: Refined from x -> Refined to x Source #

Instances

(<=) n m => Implies (LessThan n) (LessThan m) Source # 

Methods

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

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

Methods

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

(<=) ((+) n 1) m => Implies (EqualTo n) (LessThan m) Source # 

Methods

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

Implies m n => Implies (Length m) (Length n) Source # 

Methods

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