symbols-0.3.0.0: Symbol manipulation

Safe HaskellSafe
LanguageHaskell2010

Data.Symbol.Utils

Documentation

class Uncons (sym :: Symbol) (h :: Symbol) (t :: Symbol) where Source #

Methods

uncons :: Proxy '(h, t) Source #

Instances
(h ~ Head sym, AppendSymbol h t ~ sym) => Uncons sym h t Source # 
Instance details

Defined in Data.Symbol.Utils

Methods

uncons :: Proxy (h, t) Source #

class Listify (sym :: Symbol) (result :: [Symbol]) where Source #

Methods

listify :: Proxy result Source #

Instances
(Uncons sym h t, Listify t result, result' ~ (h ': result)) => Listify sym result' Source # 
Instance details

Defined in Data.Symbol.Utils

Methods

listify :: Proxy result' Source #

nil ~ ([] :: [Symbol]) => Listify "" nil Source # 
Instance details

Defined in Data.Symbol.Utils

Methods

listify :: Proxy nil Source #