Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family JoinSep (sep :: Symbol) (ss :: [Symbol]) :: Symbol where ... Source #
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 ... Source #
type family JoinComma (ns :: [ErrorMessage]) :: ErrorMessage where ... Source #
type family JoinCommaSym (ns :: [Symbol]) :: ErrorMessage where ... Source #
JoinCommaSym (n ': (n1 ': ns)) = ('Text n <> ", ") <> JoinCommaSym (n1 ': ns) | |
JoinCommaSym '[n] = 'Text n |
type family QuotedError (msg :: ErrorMessage) :: ErrorMessage where ... Source #
QuotedError err = ("\8216" <> err) <> "\8217" |
type family Quoted (s :: Symbol) :: ErrorMessage where ... Source #
Quoted s = QuotedError ('Text s) |
type family QuotedType (t :: k) :: ErrorMessage where ... Source #
QuotedType t = QuotedError ('ShowType t) |
data LineBreak :: ErrorMessage -> ErrorMessage -> Exp ErrorMessage Source #
Instances
type Eval (LineBreak l r :: ErrorMessage -> Type) Source # | |
Defined in Sqel.SOP.Error |