Sqel.SOP.Error

Documentation

type family JoinSep (sep :: Symbol) (ss :: [Symbol]) :: Symbol where ...

Equations

JoinSep _ '[] = "<empty>"

JoinSep _ '[s] = s

JoinSep sep (s ': ss) = AppendSymbol (AppendSymbol s sep) (JoinSep sep ss)

type family JoinError (sep :: ErrorMessage) (ns :: [ErrorMessage]) :: ErrorMessage where ...

Equations

JoinError _ '[] = 'Text "<empty>"

JoinError sep (n ': (n1 ': ns)) = (n <> sep) <> JoinError sep (n1 ': ns)

JoinError _ '[n] = n

type family JoinComma (ns :: [ErrorMessage]) :: ErrorMessage where ...

Equations

JoinComma ns = JoinError ('Text ", ") ns

type family JoinSym (sep :: Symbol) (ns :: [Symbol]) :: ErrorMessage where ...

Equations

JoinSym sep (n ': (n1 ': ns)) = (n <> sep) <> JoinSym sep (n1 ': ns)

JoinSym _ '[n] = 'Text n

type family JoinCommaSym (ns :: [Symbol]) :: ErrorMessage where ...

Equations

JoinCommaSym (n ': (n1 ': ns)) = ('Text n <> ", ") <> JoinCommaSym (n1 ': ns)

JoinCommaSym '[n] = 'Text n

type family QuotedError (msg :: ErrorMessage) :: ErrorMessage where ...

Equations

QuotedError err = ("\8216" <> err) <> "\8217"

type family Quoted (s :: Symbol) :: ErrorMessage where ...

Equations

Quoted s = QuotedError ('Text s)

type family QuotedType (t :: k) :: ErrorMessage where ...

Equations

QuotedType t = QuotedError ('ShowType t)

data LineBreak :: ErrorMessage -> ErrorMessage -> Exp ErrorMessage

Instances

type Eval (LineBreak l r :: ErrorMessage -> Type)

Defined in Sqel.SOP.Error

type Eval (LineBreak l r :: ErrorMessage -> Type) = l % r

type family Unlines (fragments :: [ErrorMessage]) :: ErrorMessage where ...

Equations

Unlines '[] = 'Text ""

Unlines (h ': t) = UnList h LineBreak @@ t