Type.Known

Documentation

type family KnownKindVal (nat :: Type) where ...

Equations

KnownKindVal Nat = Integer

KnownKindVal Symbol = String

KnownKindVal t = t

type family KnownTypeVal (t :: k) where ...

Equations

KnownTypeVal (t :: k) = KnownKindVal k

class KnownType t where

Methods

fromType :: KnownTypeVal t

Instances

KnownNat t => KnownType (t :: Nat)

Defined in Type.Known

Methods

fromType :: KnownTypeVal t

KnownSymbol t => KnownType (t :: Symbol)

Defined in Type.Known

Methods

fromType :: KnownTypeVal t

fromType' :: forall t s. (KnownType t, Convertible' (KnownTypeVal t) s) => s

class KnownNat (n :: Nat)

This class gives the integer associated with a type-level natural. There are instances of the class for every concrete literal: 0, 1, 2, etc.

Since: base-4.7.0.0

Minimal complete definition

natSing

class KnownSymbol (n :: Symbol)

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

Since: base-4.7.0.0

Minimal complete definition

symbolSing