HORIZON HASKELLDocslts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulefirst-class-families-0.8.2.0

Fcf.Data.Symbol

  • 1 type
datadata Symbol
#

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

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