Module

Type.Data.Symbol

Package
purescript-typelevel-prelude
Repository
purescript/purescript-typelevel-prelude

#CompareSymbol Source

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

Compare two Symbol types

#compareSymbol Source

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

#AppendSymbol Source

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

Append two Symbol types together

#appendSymbol Source

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

#Equals Source

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

Instances

#equals Source

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

Re-exports from Data.Symbol

#SProxy Source

data SProxy (sym :: Symbol)

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

Constructors

#IsSymbol Source

class IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

Instances

#reifySymbol Source

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