HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulefirst-class-families-0.8.1.0Haskell2010

Fcf.Data.Symbol

Symbols

Type-level strings.

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

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

  • 1 type

Type of symbols

1 declaration

From GHC.TypeLits.

datadata Symbol
#

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

Instances10SingKind, TestCoercion, TestEquality, SingI, Compare, DemoteRep, …
  • SingKind SymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.Generics
  • TestCoercion SSymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeLits
  • TestEquality SSymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeLits
  • KnownSymbol a => SingI aDefined in ghc-internal-9.1003.0 · GHC.Internal.Generics
  • type Compare a b = CmpSymbol a bDefined in ghc-internal-9.1003.0 · GHC.Internal.Data.Type.Ord
  • type DemoteRep Symbol = StringDefined in ghc-internal-9.1003.0 · GHC.Internal.Generics
  • data SingDefined in ghc-internal-9.1003.0 · GHC.Internal.Generics
  • type Eval (Compare a b) = CmpSymbol a bDefined in first-class-families-0.8.1.0 · Fcf.Class.Ord
  • type MEmpty = ""Defined in first-class-families-0.8.1.0 · Fcf.Class.Monoid
  • type (<>) x y = AppendSymbol x yDefined in first-class-families-0.8.1.0 · Fcf.Class.Monoid

    With base >= 4.10.0.0.