Axel.Parse

Documentation

parseReadMacro :: Stream s m Char => String -> String -> ParsecT s u m Expression

any' :: Stream s m Char => ParsecT s u m Char

whitespace :: Stream s m Char => ParsecT s u m String

literalChar :: Stream s m Char => ParsecT s u m Expression

literalInt :: Stream s m Char => ParsecT s u m Expression

literalList :: Stream s m Char => ParsecT s u m Expression

literalString :: Stream s m Char => ParsecT s u m Expression

quasiquotedExpression :: Stream s m Char => ParsecT s u m Expression

quotedExpression :: Stream s m Char => ParsecT s u m Expression

sExpression :: Stream s m Char => ParsecT s u m Expression

spliceUnquotedExpression :: Stream s m Char => ParsecT s u m Expression

symbol :: Stream s m Char => ParsecT s u m Expression

unquotedExpression :: Stream s m Char => ParsecT s u m Expression

expression :: Stream s m Char => ParsecT s u m Expression

quoteParseExpression :: Expression -> Expression

parseMultiple :: MonadError Error m => String -> m [Expression]

parseSingle :: MonadError Error m => String -> m Expression

stripComments :: String -> String

parseSource :: MonadError Error m => String -> m Expression

programToTopLevelExpressions :: Expression -> [Expression]

topLevelExpressionsToProgram :: [Expression] -> Expression

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]

Orphan instances

Recursive Expression

Methods

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

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

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