first-class-families-0.8.0.0: First class type families

Safe HaskellSafe
LanguageHaskell2010

Fcf.Data.Symbol

Contents

Description

Symbols

Type-level strings.

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

Synopsis

Type of symbols

From GHC.TypeLits.

data Symbol #

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances
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