curry-base-0.4.2: Functions for manipulating Curry programs
This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry and ExtendedFlat. Additionally, it provides functionality for the smooth integration of compiler frontends and backends.
Modules
- Curry
- Curry.AbstractCurry Library to support meta-programming in Curry
- Curry.AbstractCurry.Files Library to support meta-programming in Curry
- Curry.AbstractCurry.Type Library to support meta-programming in Curry
- Base
- Curry.Base.Ident Identifiers
- Curry.Base.LLParseComb Parser combinators
- Curry.Base.LexComb Lexer combinators
- Curry.Base.Message Monads for message handling
- Curry.Base.Monad Monads for message handling
- Curry.Base.Position Positions in a source file
- Curry.Base.Pretty Pretty printing
- Curry.Base.Span Spans in a source file
- Curry.ExtendedFlat Interface for reading and manipulating extended FlatCurry
source code
- Curry.ExtendedFlat.CurryArithmetics Representation of Integer as ADTs
- Curry.ExtendedFlat.EraseTypes
- Curry.ExtendedFlat.Goodies
- Curry.ExtendedFlat.InterfaceEquivalence Check the equality of two FlatCurry interfaces
- Curry.ExtendedFlat.LiftLetrec Elimination of recursive data declarations
- Curry.ExtendedFlat.MonadicGoodies Monadic transformations of ExtendedFlat programs
- Curry.ExtendedFlat.Pretty A pretty printer for extended FlatCurry
- Curry.ExtendedFlat.Type Representation of FlatCurry
- Curry.ExtendedFlat.TypeInference Type inference for FlatCurry
- Curry.ExtendedFlat.UnMutual Elimination of mutual recursion
- Files
- Curry.Files.Filenames File names for several intermediate file formats.
- Curry.Files.PathUtils Utility functions for reading and writing files
- Curry.Files.Unlit Handling of literate Curry files
- Curry.FlatCurry Interface for reading and manipulating FlatCurry source code
- Curry.FlatCurry.Files Functions for reading and writing FlatCurry files
- Curry.FlatCurry.Goodies Utility functions for working with FlatCurry.
- Curry.FlatCurry.Pretty A pretty printer for FlatCurry
- Curry.FlatCurry.Type Representation of FlatCurry.
- Curry.Syntax Interface for reading and manipulating Curry source code
- Curry.Syntax.Extension Curry language extensions
- Curry.Syntax.InterfaceEquivalence Comparison of Curry Interfaces
- Curry.Syntax.Lexer A lexer for Curry
- Curry.Syntax.Parser A Parser for Curry
- Curry.Syntax.Pretty A pretty printer for Curry
- Curry.Syntax.ShowModule
- Curry.Syntax.Type Abstract syntax for Curry
- Curry.Syntax.Utils Utility functions for Curry's abstract syntax
- Curry.AbstractCurry Library to support meta-programming in Curry