ivory-0.1.0.3: Safe embedded C programming.

Safe HaskellSafe
LanguageHaskell2010

Ivory.Language.Proxy

Synopsis

Documentation

data Proxy a Source

Constructors

Proxy 

type SProxy a = Proxy (a :: *) Source

Type proxies for * types.

type ANat n = KnownNat n Source

type NatType n = Proxy n Source

fromTypeSym :: KnownSymbol sym => proxy (sym :: Symbol) -> String Source

The string associated with a type-symbol.

fromTypeNat :: KnownNat i => proxy (i :: Nat) -> Integer Source

The integer associated with a type-nat.