Safe Haskell	None
Language	GHC2021

Data.Type.Witness.Specific.Symbol

Synopsis

data SymbolType (symbol :: Symbol) where
- MkSymbolType :: forall (symbol :: Symbol). KnownSymbol symbol => SymbolType symbol
data Symbol
class KnownSymbol (n :: Symbol)

Documentation

data SymbolType (symbol :: Symbol) where Source #

Constructors

MkSymbolType :: forall (symbol :: Symbol). KnownSymbol symbol => SymbolType symbol

Instances

Instances details

TestEquality SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

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

TestOrder SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

testCompare :: forall (a :: Symbol) (b :: Symbol). SymbolType a -> SymbolType b -> WOrdering a b Source #

Representative SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

getRepWitness :: Subrepresentative SymbolType SymbolType Source #

WitnessValue SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType
Instance details Defined in Data.Type.Witness.Specific.Symbol type WitnessValueType SymbolType = String

Methods

witnessToValue :: forall (t :: Symbol). SymbolType t -> WitnessValueType SymbolType Source #

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: Symbol). SymbolType t -> r) -> r Source #

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

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

representative :: SymbolType symbol Source #

AllConstraint Show SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: Symbol). Dict (Show (SymbolType t)) Source #

Show (SymbolType symbol) Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

showsPrec :: Int -> SymbolType symbol -> ShowS #

show :: SymbolType symbol -> String #

showList :: [SymbolType symbol] -> ShowS #

type WitnessValueType SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

type WitnessValueType SymbolType = String

data Symbol #

(Kind) This is the kind of type-level symbols.

Instances

Instances details

SingKind Symbol

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol
Instance details Defined in GHC.Generics type DemoteRep Symbol = String

Methods

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

TestCoercion SSymbol

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeLits

Methods

testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) #

TestEquality SSymbol

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeLits

Methods

testEquality :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) #

TestEquality SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

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

KnownSymbol a => SingI (a :: Symbol)

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

sing :: Sing a

TestOrder SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

testCompare :: forall (a :: Symbol) (b :: Symbol). SymbolType a -> SymbolType b -> WOrdering a b Source #

Representative SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

getRepWitness :: Subrepresentative SymbolType SymbolType Source #

WitnessValue SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Associated Types

type WitnessValueType SymbolType
Instance details Defined in Data.Type.Witness.Specific.Symbol type WitnessValueType SymbolType = String

Methods

witnessToValue :: forall (t :: Symbol). SymbolType t -> WitnessValueType SymbolType Source #

valueToWitness :: WitnessValueType SymbolType -> (forall (t :: Symbol). SymbolType t -> r) -> r Source #

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

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

representative :: SymbolType symbol Source #

AllConstraint Show SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

Methods

allConstraint :: forall (t :: Symbol). Dict (Show (SymbolType t)) Source #

type DemoteRep Symbol

Instance details

Defined in GHC.Generics

type DemoteRep Symbol = String

data Sing (s :: Symbol)

Instance details

Defined in GHC.Generics

data Sing (s :: Symbol) where

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

type WitnessValueType SymbolType Source #

Instance details

Defined in Data.Type.Witness.Specific.Symbol

type WitnessValueType SymbolType = String

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

Instance details

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