Type.Data.Symbol

append :: forall proxy l r o. Append l r o => proxy l -> proxy r -> Proxy o

compare :: forall proxy l r o. Compare l r o => proxy l -> proxy r -> Proxy o

uncons :: forall proxy h t s. Cons h t s => proxy s -> { head :: Proxy h, tail :: Proxy t }

class Equals :: Symbol -> Symbol -> Boolean -> Constraintclass Equals lhs rhs out | lhs rhs -> out

Instances

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

equals :: forall proxy l r o. Equals l r o => proxy l -> proxy r -> Proxy o

data SProxy :: Symbol -> Typedata SProxy sym

A value-level proxy for a type-level symbol. Deprecated as of v0.14.0 PureScript release: use Type.Proxy instead.

Constructors

• SProxy

class IsSymbol :: Symbol -> Constraintclass IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

• reflectSymbol :: forall proxy. proxy sym -> String

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

class Append (left :: Symbol) (right :: Symbol) (appended :: Symbol) | left right -> appended, right appended -> left, appended left -> right

Compiler solved type class for appending Symbols together.

class Compare (left :: Symbol) (right :: Symbol) (ordering :: Ordering) | left right -> ordering

Compiler solved type class for comparing two Symbols. Produces an Ordering.

class Cons (head :: Symbol) (tail :: Symbol) (symbol :: Symbol) | head tail -> symbol, symbol -> head tail

Compiler solved type class for either splitting up a symbol into its head and tail or for combining a head and tail into a new symbol. Requires the head to be a single character and the combined string cannot be empty.