ivory-0.1.0.0: Safe embedded C programming.
Ivory.Language.Proxy
Synopsis
data Proxy a Source
Constructors
type SProxy a = Proxy (a :: *)Source
Type proxies for * types.
fromTypeSym :: Sing (sym :: Symbol) -> StringSource
The string associated with a type-symbol.
fromTypeNat :: Sing (i :: Nat) -> IntegerSource
The integer associated with a type-nat.