Data.Symbol.Utils

Documentation

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

Methods

uncons :: Proxy '(h, t)

Instances

(h ~ Head sym, AppendSymbol h t ~ sym) => Uncons sym h t

Defined in Data.Symbol.Utils

Methods

uncons :: Proxy (h, t)

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

Methods

listify :: Proxy result

Instances

(Uncons sym h t, Listify t result, result' ~ (h ': result)) => Listify sym result'

Defined in Data.Symbol.Utils

Methods

listify :: Proxy result'

nil ~ ([] :: [Symbol]) => Listify "" nil

Defined in Data.Symbol.Utils

Methods

listify :: Proxy nil