typelevel-1.2.2: Useful type level operations (type families and related operators).

Safe Haskell	None
Language	Haskell2010

Type.Error_old

Documentation

type ErrMsg = Text Source #

class Assert (ok :: Bool) (err :: ErrorMessage) Source #

Instances

TypeError Constraint err => Assert False err Source #

Assert True err Source #

type Assert' ok = Assert ok (ErrMsg "Assertion failed.") Source #

type Sentence a = a :<>: ErrMsg "." Source #

type Ticked a = Between' "`" a Source #

type Parensed a = Between "(" ")" a Source #

type Between l r a = (ErrMsg l :<>: a) :<>: ErrMsg r Source #

type Between' s a = Between s s a Source #

type (:</>:) a b = (a :<>: ErrMsg " ") :<>: b Source #