Type.Data.Symbol

class CompareSymbol (lhs :: Symbol) (rhs :: Symbol) (out :: Ordering) | lhs rhs -> out

Compare two Symbol types

compareSymbol :: forall o r l. CompareSymbol l r o => SProxy l -> SProxy r -> OProxy o

class AppendSymbol (lhs :: Symbol) (rhs :: Symbol) (out :: Symbol) | lhs rhs -> out

Append two Symbol types together

appendSymbol :: forall o r l. AppendSymbol l r o => SProxy l -> SProxy r -> SProxy o

class Equals (lhs :: Symbol) (rhs :: Symbol) (out :: Boolean) | lhs rhs -> out

Instances

• (CompareSymbol lhs rhs ord, Equals EQ ord out) => Equals lhs rhs out

equals :: forall o r l. Equals l r o => SProxy l -> SProxy r -> BProxy o

data SProxy (sym :: Symbol)

A value-level proxy for a type-level symbol.

Constructors

• SProxy

class IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

• reflectSymbol :: SProxy sym -> String

Instances

• (IsSymbol left, IsSymbol right) => IsSymbol (TypeConcat left right)

reifySymbol :: forall r. String -> (forall sym. IsSymbol sym => SProxy sym -> r) -> r