Snail.Ast

Constructors for AST

data Bracket

The bracket used to surround the s-expression

Constructors

Round

Square

Curly

Instances

Show Bracket

Defined in Snail.Ast

Methods

showsPrec :: Int -> Bracket -> ShowS

show :: Bracket -> String

showList :: [Bracket] -> ShowS

Eq Bracket

Defined in Snail.Ast

Methods

(==) :: Bracket -> Bracket -> Bool

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

data SnailAst

Constructors

Lexeme (SourcePos, Text)

TextLiteral (SourcePos, Text)

SExpression (Maybe Char) Bracket [SnailAst]

Instances

Show SnailAst

Defined in Snail.Ast

Methods

showsPrec :: Int -> SnailAst -> ShowS

show :: SnailAst -> String

showList :: [SnailAst] -> ShowS

Eq SnailAst

Defined in Snail.Ast

Methods

(==) :: SnailAst -> SnailAst -> Bool

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

Utilities for AST

unwrap :: SnailAst -> SnailAst

Unwrap nested s-expressions, this is very useful when you are converting SnailAst to your own AST.

You'll likely have a function `snailAstToMyAst :: SnailAst -> m MyAst` where m is ExceptT or MonadExcept. Then, your final case statement should unwrap nested expressions to their base with,

snailAstToMyAst . unwrap . SExpression initialChar bracket $ unwrap $ exprs`

For example, `((read))` will become `SExpression _ _ [Lexeme (_, "read")]` which your AST converter should handle.