Language.Syntactic.Features.Symbol

Simple symbols

Sym provides a simple way to make syntactic symbols for prototyping. However, note that Sym is quite unsafe as it only uses String to distinguish between different symbols. Also, Sym has a very free type that allows any number of arguments.

Documentation

data Sym a where

Constructors

Sym :: ConsType a => String -> ConsEval a -> Sym a

Instances

WitnessCons Sym

ExprEq Sym

ToTree Sym

Render Sym

Eval Sym

sym0 :: (Typeable a, Sym :<: dom) => String -> a -> ASTF dom a

A zero-argument symbol

sym1 :: (Typeable a, Sym :<: dom) => String -> (a -> b) -> ASTF dom a -> ASTF dom b

A one-argument symbol

sym2 :: (Typeable a, Typeable b, Sym :<: dom) => String -> (a -> b -> c) -> ASTF dom a -> ASTF dom b -> ASTF dom c

A two-argument symbol

sym3 :: (Typeable a, Typeable b, Typeable c, Sym :<: dom) => String -> (a -> b -> c -> d) -> ASTF dom a -> ASTF dom b -> ASTF dom c -> ASTF dom d

A three-argument symbol

sym4 :: (Typeable a, Typeable b, Typeable c, Typeable d, Sym :<: dom) => String -> (a -> b -> c -> d -> e) -> ASTF dom a -> ASTF dom b -> ASTF dom c -> ASTF dom d -> ASTF dom e

A four-argument symbol

class IsSymbol expr where

Class of expressions that can be treated as symbols

Methods

toSym :: expr a -> Sym a

Instances

IsSymbol (Select ctx)

IsSymbol (Tuple ctx)

exprEqFunc :: IsSymbol expr => expr a -> expr b -> Bool

Default implementation of exprEq

exprHashFunc :: IsSymbol expr => expr a -> Hash

Default implementation of exprHash

renderPartFunc :: IsSymbol expr => [String] -> expr a -> String

Default implementation of renderPart

evaluateFunc :: IsSymbol expr => expr a -> a

Default implementation of evaluate