| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Type.Known
Documentation
class KnownType t where Source #
Minimal complete definition
Methods
fromType :: KnownTypeVal t Source #
type family KnownTypeVal (t :: k) where ... Source #
Equations
| KnownTypeVal (t :: k) = KnownKindVal k |
type family KnownKindVal (nat :: Type) where ... Source #
Equations
| KnownKindVal Nat = Integer | |
| KnownKindVal Symbol = String | |
| KnownKindVal t = t |
fromType' :: forall t s. (KnownType t, Convertible' (KnownTypeVal t) s) => s Source #