Signatures
Modules
- Sutori
- Sutori.AST Defines an API for accessing the different data types
for nodes of the AST, along with a couple of functions
to work with them.sutori-0.2.4
- Sutori.AST.Logger Provides
ShowSut
instances for Sutori.ASTsutori-0.2.4 - Sutori.AST.Nodes Defines the data types for nodes of the ASTsutori-0.2.4
- Sutori.AST.Utils Defines extractor functions for AST nodes, and transformationssutori-0.2.4
- Sutori.AST.Logger Provides
- Sutori.CLI Defines the API to access CLI functionality. Router and options.sutori-0.2.4
- Sutori.CLI.Router Defines a
route
function to decide for an execution mode of the compilersutori-0.2.4
- Sutori.CLI.Router Defines a
- Sutori.Error API for error handling (internal or user-facing errors)sutori-0.2.4
- Sutori.Error.Error Definition for error codes and other error-related data.sutori-0.2.4
- Sutori.Error.Logger Provides
ShowSut
instances for Sutori.Errorssutori-0.2.4 - Sutori.Error.Report Provides error-reporting functionssutori-0.2.4
- Sutori.Lexer API for the alex-generated lexer for Sutori language tokenssutori-0.2.4
- Sutori.Lexer.Internals Defines internal functions to mimic Alex wrappers while using SutMonad as the lexer monadsutori-0.2.4
- Sutori.Lexer.Lexer Alex-generated lexer for Sutori languagesutori-0.2.4
- Sutori.Lexer.Logger Provides
ShowSut
instances for Sutori.Lexersutori-0.2.4 - Sutori.Lexer.Posn Defines a positin to keep track of in the scannersutori-0.2.4
- Sutori.Lexer.Tokens Defines all the different tokens of the languagessutori-0.2.4
- Sutori.Logger Provides API for logging information, errors and the likesutori-0.2.4
- Sutori.Logger.Log Defines ways to log information, errors and the likesutori-0.2.4
- Sutori.Logger.Writer Defines ways to log information, errors and the likesutori-0.2.4
- Sutori.MIPS Final representation of the code: MIPSsutori-0.2.4
- Sutori.MIPS.CodeGensutori-0.2.4
- Sutori.MIPS.MIPSsutori-0.2.4
- Sutori.Monad Defines the Compiler Monad, the compilation state and general functionssutori-0.2.4
- Sutori.Monad.Actions General-use monadic actions for
SutMonad
sutori-0.2.4 - Sutori.Monad.Logger Provides
ShowSut
instances for Sutori.Monad. Right now: none.sutori-0.2.4 - Sutori.Monad.Monad The compilation monadsutori-0.2.4
- Sutori.Monad.State The compilation statesutori-0.2.4
- Sutori.Monad.Actions General-use monadic actions for
- Sutori.Options Options for running modes and tweaks. Used by CLIsutori-0.2.4
- Sutori.Options.Logger Provides
ShowSut
instances for Sutori.Optionssutori-0.2.4 - Sutori.Options.Options Defines the different CLI options and a parser function to get themsutori-0.2.4
- Sutori.Options.Logger Provides
- Sutori.Parser Defines API for Happy-generated parser for Sutori languagesutori-0.2.4
- Sutori.Parser.Definitions Provides definition functions that add the appropiate symbols to the table, given that all checks passed and the definition is legal. TODO: Refactor code. all these functions use mostly repeated codesutori-0.2.4
- Sutori.Parser.Expressions Defines all AST expression monadic constructors, that check for all kind of possible errors to log.sutori-0.2.4
- Sutori.Parser.Parser Happy-generated parser for Sutori languagesutori-0.2.4
- Sutori.Parser.Symbols Defines finder functions for symbols: Most assume the symbol exist, so an error for undefined symbol is logged if they can't find itsutori-0.2.4
- Sutori.Parser.TypeCheck Provides functions that check an expression, issue type errors if necessary, and return the (maybe modified as a type error) expressionssutori-0.2.4
- Sutori.SymTable Defines the SymTable structure and functions to deal with it.sutori-0.2.4
- Sutori.SymTable.Logger Provides
ShowSut
instances for Sutori.SymTablesutori-0.2.4 - Sutori.SymTable.Symbol Defines symbols as understood by Sutori language.sutori-0.2.4
- Sutori.SymTable.Table Defines the symbol table and common functions to handle itsutori-0.2.4
- Sutori.SymTable.Logger Provides
- Sutori.TAC Intermediate representation of the code: Three TACAddress Codesutori-0.2.4
- Sutori.TAC.CodeGen Intermediate (TAC) code generation rulessutori-0.2.4
- Sutori.TAC.ControlFlow Control Flow Graph buildersutori-0.2.4
- Sutori.TAC.Logger Provides
ShowSut
instances for Sutori.TACsutori-0.2.4 - Sutori.TAC.TAC Intermediate representation of the code: Three TACAddress Codesutori-0.2.4
- Sutori.Types API for handling Sutori type system.sutori-0.2.4
- Sutori.Types.Constructors Defines the diferent type constructors for the language and some functions for coersion and generalizationsutori-0.2.4
- Sutori.Types.Graph Provides a graph of types that allows a bijection
between generated
SutTypeID
s andSutType
ssutori-0.2.4 - Sutori.Types.Logger Provides
ShowSut
instances for Sutori.Typessutori-0.2.4 - Sutori.Types.Primitives Defines Sutori primitive types, build a generalization graph fro them and provides functions to get the most general type of two primitivessutori-0.2.4
- Sutori.Utils Provide common type definitions and functions missing in the snapshotsutori-0.2.4
- Sutori.Utils.List Some useful functions not available on the used LTSsutori-0.2.4
- Sutori.AST Defines an API for accessing the different data types
for nodes of the AST, along with a couple of functions
to work with them.sutori-0.2.4