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.

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 MEmpty

Defined in Fcf.Class.Monoid

type MEmpty = ""

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

With base >= 4.10.0.0.

Defined in Fcf.Class.Monoid

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

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

Defined in Fcf.Class.Ord

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