substep-0.1.0.0

Modules

•  Cli Methods for the Cli-Frontend of the stepper
•  Compiler To compile the users Haskell input file into different GHC stages and finally into Haskell Core
• CoreAST
  Submodules

  • Helpers
    Submodules

    •  CoreAST.Helpers.Evaluator Used to evaluate unsteppable functions
    •  CoreAST.Helpers.EvaluatorHelper Helper for the CoreEvaluator module
    •  CoreAST.Helpers.Lookup Used to find bindings
    •  CoreAST.Helpers.TraceHelper Helper functions for debugging and tracing
    •  CoreAST.Helpers.Transformer Transform Core expressions
  •  CoreAST.InformationExtractor Extracts informations and properties out of Core expressions
  •  CoreAST.MakerFunctions Helps to create instances of Core expressions
  •  CoreAST.PrettyPrinter Printing Core expressions
  •  CoreAST.Stepper Steps through Core expressions by applying reduction rules
  •  CoreAST.StepperPrinter Print step by step reductions for a Core expression
  •  CoreAST.TypeClassInstances Makes Core expressions and Core literals compatible with type classes from the prelude
  •  CoreAST.TypeDefinitions Contains Type aliases
•  DynFlags basic dynflags for use with the standalone parser
•  SteppablePrelude Definitions of standart Haskell types, type classes, type class instances and functions
•  TraverseAST Traverses a generic abstract syntax tree
•  Utils Contains a bunch of useful functions used by the stepper