Safe Haskell	Safe-Inferred
Language	Haskell2010

Snail.Ast

Contents

Constructors for AST
Utilities for AST

Synopsis

data Bracket
- = Round
- | Square
- | Curly
data SnailAst
- = Lexeme (SourcePos, Text)
- | TextLiteral (SourcePos, Text)
- | SExpression (Maybe Char) Bracket [SnailAst]
unwrap :: SnailAst -> SnailAst

Constructors for AST

data Bracket Source #

The bracket used to surround the s-expression

Constructors

Round
Square
Curly

Instances

Instances details

Show Bracket Source #
Instance details Defined in Snail.Ast Methods showsPrec :: Int -> Bracket -> ShowS # show :: Bracket -> String # showList :: [Bracket] -> ShowS #
Eq Bracket Source #
Instance details Defined in Snail.Ast Methods (==) :: Bracket -> Bracket -> Bool # (/=) :: Bracket -> Bracket -> Bool #

data SnailAst Source #

Constructors

Lexeme (SourcePos, Text)
TextLiteral (SourcePos, Text)
SExpression (Maybe Char) Bracket [SnailAst]

Instances

Instances details

Show SnailAst Source #
Instance details Defined in Snail.Ast Methods showsPrec :: Int -> SnailAst -> ShowS # show :: SnailAst -> String # showList :: [SnailAst] -> ShowS #
Eq SnailAst Source #
Instance details Defined in Snail.Ast Methods (==) :: SnailAst -> SnailAst -> Bool # (/=) :: SnailAst -> SnailAst -> Bool #

Utilities for AST

unwrap :: SnailAst -> SnailAst Source #

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.