Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- 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.
fromTypeNat :: KnownNat i => proxy (i :: Nat) -> Integer Source
The integer associated with a type-nat.