Data.Type.Witness.Specific.Symbol

Documentation

data SymbolType symbol where

Constructors

MkSymbolType :: KnownSymbol symbol => SymbolType symbol

Instances

TestEquality SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

testEquality :: forall (a :: k) (b :: k). SymbolType a -> SymbolType b -> Maybe (a :~: b)

TestOrder SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

testCompare :: forall (a :: k) (b :: k). SymbolType a -> SymbolType b -> WOrdering a b

Representative SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

getRepWitness :: Subrepresentative SymbolType SymbolType

WitnessValue SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType

Methods

witnessToValue :: forall (t :: k). SymbolType t -> WitnessValueType SymbolType

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: k). SymbolType t -> r) -> r

KnownSymbol symbol => Is SymbolType (symbol :: Symbol)

Defined in Data.Type.Witness.Specific.Symbol

Methods

representative :: SymbolType symbol

Show (SymbolType symbol)

Defined in Data.Type.Witness.Specific.Symbol

Methods

showsPrec :: Int -> SymbolType symbol -> ShowS

show :: SymbolType symbol -> String

showList :: [SymbolType symbol] -> ShowS

AllConstraint Show SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: kt). Dict (Show (SymbolType t))

type WitnessValueType SymbolType

Defined in Data.Type.Witness.Specific.Symbol

type WitnessValueType SymbolType = String

data Symbol

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances

SingKind Symbol

Since: base-4.9.0.0

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol

Methods

fromSing :: forall (a :: Symbol). Sing a -> DemoteRep Symbol

TestEquality SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

testEquality :: forall (a :: k) (b :: k). SymbolType a -> SymbolType b -> Maybe (a :~: b)

KnownSymbol a => SingI (a :: Symbol)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

sing :: Sing a

TestOrder SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

testCompare :: forall (a :: k) (b :: k). SymbolType a -> SymbolType b -> WOrdering a b

Representative SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

getRepWitness :: Subrepresentative SymbolType SymbolType

WitnessValue SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType

Methods

witnessToValue :: forall (t :: k). SymbolType t -> WitnessValueType SymbolType

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: k). SymbolType t -> r) -> r

KnownSymbol symbol => Is SymbolType (symbol :: Symbol)

Defined in Data.Type.Witness.Specific.Symbol

Methods

representative :: SymbolType symbol

AllConstraint Show SymbolType

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: kt). Dict (Show (SymbolType t))

type DemoteRep Symbol

Defined in GHC.Generics

type DemoteRep Symbol = String

data Sing (s :: Symbol)

Defined in GHC.Generics

data Sing (s :: Symbol) where

• SSym :: forall (s :: Symbol). KnownSymbol s => Sing s

type WitnessValueType SymbolType

Defined in Data.Type.Witness.Specific.Symbol

type WitnessValueType SymbolType = String

type Compare (a :: Symbol) (b :: Symbol)

Defined in Data.Type.Ord

type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b

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