Safe Haskell	Safe
Language	Haskell2010

Sutori.AST

Description

Synopsis

Documentation

type SutID = String Source #

Global type for Sutori IDs

type SutAST = [SutInstruction] Source #

A SutAST is a list of instructions

data SutModule Source #

A Sutori Module has a name and a SutAST

Constructors

SutModule SutID SutAST

Instances

Eq SutModule Source #
Methods (==) :: SutModule -> SutModule -> Bool # (/=) :: SutModule -> SutModule -> Bool #
Show SutModule Source #
Methods showsPrec :: Int -> SutModule -> ShowS # show :: SutModule -> String # showList :: [SutModule] -> ShowS #

data SutInstruction Source #

A SutIntruction represents an instruction/action in the (imperative) story

Constructors

InstExpression SutExpression	Some expressions can be understood an an instruction on its own
ReadVal SutID SutExpression	The action of someone asking for the value of an expression
ReturnVal SutExpression	The action of finishing a story with an expression
Selection SutID SutExpression SutAST SutAST	A selection between two blocks of code given a true/false condition
IterationU SutID SutExpression SutAST	An unbounded iteration while a condition persists
IterationB SutID SutExpression SutAST	A bounded iteration of a story to be repeated a number of times
FreePointer SutID SutExpression	The action of freeing a direction (so it points nowhere)
PrintVal SutID SutExpression	The action of a person saying the value of an expression (into the console)
Break	Stops the innermost iteration loop (skips the rest of the iteratons)
Continue	Skips the current iteration (stays in the loop, skips to next iteration)

Instances

Eq SutInstruction Source #
Methods (==) :: SutInstruction -> SutInstruction -> Bool # (/=) :: SutInstruction -> SutInstruction -> Bool #
Show SutInstruction Source #
Methods showsPrec :: Int -> SutInstruction -> ShowS # show :: SutInstruction -> String # showList :: [SutInstruction] -> ShowS #

data SutExpression Source #

A SutExpression

Constructors

ArrayGet SutType SutExpression SutExpression	Indexing of an array to get an element
BinaryOp SutType SutOperator SutExpression SutExpression	A binary operation
UnaryOp SutType SutOperator SutExpression	An unary operation
SutCall SutType SutID [SutExpression]	A function call
CreatePointer SutType SutID	A direction (pointer) creation
ExprConstructor SutType SutConstructor	A construct (machines, chains, etc...)
ExprID SutType SutID Scope	An ID as an expression
ExprLiteral SutType SutLiteral	A literal
Dereference SutType SutExpression	Dereference of a direction (pointer)
MemberGet SutType SutExpression SutID	Access to a member of a structured value

Instances

Eq SutExpression Source #
Methods (==) :: SutExpression -> SutExpression -> Bool # (/=) :: SutExpression -> SutExpression -> Bool #
Show SutExpression Source #
Methods showsPrec :: Int -> SutExpression -> ShowS # show :: SutExpression -> String # showList :: [SutExpression] -> ShowS #

data SutLiteral Source #

A SutLiteral represents a literal expression

Constructors

SutString String	Phrase (String)
SutInt Int	Bag (Int)
SutFloat Float	Wallet (Float)
SutChar String	Letter (Char)
SutBool Bool	Light (Bool)

Instances

Eq SutLiteral Source #
Methods (==) :: SutLiteral -> SutLiteral -> Bool # (/=) :: SutLiteral -> SutLiteral -> Bool #
Ord SutLiteral Source #
Methods compare :: SutLiteral -> SutLiteral -> Ordering # (<) :: SutLiteral -> SutLiteral -> Bool # (<=) :: SutLiteral -> SutLiteral -> Bool # (>) :: SutLiteral -> SutLiteral -> Bool # (>=) :: SutLiteral -> SutLiteral -> Bool # max :: SutLiteral -> SutLiteral -> SutLiteral # min :: SutLiteral -> SutLiteral -> SutLiteral #
Show SutLiteral Source #
Methods showsPrec :: Int -> SutLiteral -> ShowS # show :: SutLiteral -> String # showList :: [SutLiteral] -> ShowS #

data SutConstructor Source #

Complex data structure constructors

Constructors

SutArray [SutExpression]	Literal Chains (Srrays)
SutStruct [(SutID, SutExpression)]	Literal Machines (Structs)

Instances

Eq SutConstructor Source #
Methods (==) :: SutConstructor -> SutConstructor -> Bool # (/=) :: SutConstructor -> SutConstructor -> Bool #
Show SutConstructor Source #
Methods showsPrec :: Int -> SutConstructor -> ShowS # show :: SutConstructor -> String # showList :: [SutConstructor] -> ShowS #

data SutOperator Source #

Sutori operators

Constructors

SutOpPos	Unary plus/make positive
SutOpNeg	Unary minus/negate
SutOpNot	Unary not
SutOpDer	Unary dereference
SutOpAdd	Binary addition
SutOpSub	Binary substraction
SutOpMul	Binary multiplication
SutOpDiv	Binary division
SutOpIntDiv	Binary integer division
SutOpMod	Binary modulo
SutOpPow	Binary power
SutOpAnd	Binary and
SutOpOr	Binary or
SutOpEqual	Binary equal
SutOpNotEq	Binary not equal
SutOpGEq	Binary greater or equal than
SutOpLEq	Binary less or equal than
SutOpGreater	Binary greater than
SutOpLess	Binary less than
SutOpAssign	Binary assignment
SutOpIndex	Binary indexation
SutOpMember	Binary member get

Instances

Eq SutOperator Source #
Methods (==) :: SutOperator -> SutOperator -> Bool # (/=) :: SutOperator -> SutOperator -> Bool #
Show SutOperator Source #
Methods showsPrec :: Int -> SutOperator -> ShowS # show :: SutOperator -> String # showList :: [SutOperator] -> ShowS #

expressionType :: SutExpression -> SutType Source #

Extracts the type from any expression

withPrimitiveType :: SutPrimitive -> SutExpression -> SutExpression Source #

Clones the expression overriding the type for the given primitive type This is used for type coersion, mostly

asTypeError :: SutExpression -> SutExpression Source #

Clones the expression but sets the type as a TypeError