Safe Haskell	Safe-Inferred
Language	Haskell2010

Fcf.Data.Symbol

Contents

Type of symbols

Description

Symbols

Type-level strings.

Note that the operators from this module conflict with GHC.TypeLits.

Symbol also has instances of (<>) and MEmpty.

Synopsis

data Symbol

Type of symbols

From GHC.TypeLits.

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) #

KnownSymbol a => SingI (a :: Symbol)

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

sing :: Sing a

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 MEmpty Source #

Instance details

Defined in Fcf.Class.Monoid

type MEmpty = ""

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

Instance details

Defined in Data.Type.Ord

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

type (x :: Symbol) <> (y :: Symbol) Source #

With base >= 4.10.0.0.

Instance details

Defined in Fcf.Class.Monoid

type (x :: Symbol) <> (y :: Symbol) = AppendSymbol x y

type Eval (Compare a b :: Ordering -> Type) Source #

Instance details

Defined in Fcf.Class.Ord

type Eval (Compare a b :: Ordering -> Type) = CmpSymbol a b