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

Safe HaskellNone
LanguageHaskell2010

Type.Error

Documentation

type ErrMsg = Text Source #

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

Instances

type TypeAssert ok = TypeErrorIf 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 #