Axel.Parse.AST

Documentation

data Expression

Constructors

LiteralChar Char

LiteralInt Int

LiteralString String

SExpression [Expression]

Symbol String

Instances

Eq Expression

Defined in Axel.Parse.AST

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Show Expression

Defined in Axel.Parse.AST

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

ToExpressionList Expression

Because we do not have a way to statically ensure an SExpression is passed (and not another one of Expression's constructors instead), we will error at compile-time if a macro attempts to splice-unquote inappropriately.

Defined in Axel.Parse.AST

Methods

toExpressionList :: Expression -> [Expression]

Recursive Expression

Defined in Axel.Parse

Methods

bottomUpFmap :: (Expression -> Expression) -> Expression -> Expression

bottomUpTraverse :: Monad m => (Expression -> m Expression) -> Expression -> m Expression

topDownFmap :: (Expression -> Expression) -> Expression -> Expression

ToExpressionList [Expression]

Defined in Axel.Parse.AST

Methods

toExpressionList :: [Expression] -> [Expression]

toAxel :: Expression -> String

gensymCounter :: IORef Int

gensym :: IO Expression

class ToExpressionList a where

This allows splice-unquoting of both `[Expression]`s and SExpressions, without requiring special syntax for each.

Minimal complete definition

toExpressionList

Methods

toExpressionList :: a -> [Expression]

Instances

ToExpressionList Expression

Because we do not have a way to statically ensure an SExpression is passed (and not another one of Expression's constructors instead), we will error at compile-time if a macro attempts to splice-unquote inappropriately.

Defined in Axel.Parse.AST

Methods

toExpressionList :: Expression -> [Expression]

ToExpressionList [Expression]

Defined in Axel.Parse.AST

Methods

toExpressionList :: [Expression] -> [Expression]