first-class-families-0.8.2.0: First-class type families

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

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

#### Instances

Instances details

TestCoercion SSymbol | Since: base-4.18.0.0
Instance details Defined in GHC.Internal.TypeLits Methods testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) Source #
TestEquality SSymbol | Since: base-4.18.0.0
Instance details Defined in GHC.Internal.TypeLits Methods testEquality :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) Source #
type MEmpty Source # |
Instance details Defined in Fcf.Class.Monoid type MEmpty = ""
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 Compare (a :: Symbol) (b :: Symbol) |
Instance details Defined in GHC.Internal.Data.Type.Ord type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
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