| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Proxy
- data Proxy a = Proxy
- type SProxy a = Proxy (a :: *)
- type ANat n = KnownNat n
- type NatType n = Proxy n
- aNat :: KnownNat n => Proxy n
- type ASymbol s = KnownSymbol s
- type SymbolType s = Proxy s
- aSymbol :: KnownSymbol s => Proxy s
- fromTypeSym :: KnownSymbol sym => proxy (sym :: Symbol) -> String
- fromTypeNat :: KnownNat i => proxy (i :: Nat) -> Integer
Documentation
type ASymbol s = KnownSymbol s Source #
type SymbolType s = Proxy s Source #
aSymbol :: KnownSymbol s => Proxy s Source #
fromTypeSym :: KnownSymbol sym => proxy (sym :: Symbol) -> String Source #
The string associated with a type-symbol.