elara-0.1.0

• Effectful
  Submodules

  • Error
    Submodules

    •  Effectful.Error.Extra
  • State
    Submodules

    •  Effectful.State.Extra
•  Elara
  Submodules

  • AST
    Submodules

    •  Elara.AST.Extensions
    •  Elara.AST.Instances
    •  Elara.AST.Location
    •  Elara.AST.Module
    •  Elara.AST.Name
    •  Elara.AST.Phase
    •  Elara.AST.PhaseCoerce
    • Phases
      Submodules

      •  Elara.AST.Phases.Desugared
      •  Elara.AST.Phases.Frontend
        Submodules

        •  Elara.AST.Phases.Frontend.Pretty
      •  Elara.AST.Phases.Kinded
      •  Elara.AST.Phases.MidKinded
      •  Elara.AST.Phases.Renamed
      •  Elara.AST.Phases.Shunted
      •  Elara.AST.Phases.Typed
    •  Elara.AST.Pretty
    •  Elara.AST.Region
    •  Elara.AST.Traversal
    •  Elara.AST.Types
    •  Elara.AST.VarRef
  •  Elara.ConstExpr
  •  Elara.Core
    Submodules

    •  Elara.Core.ANF
    •  Elara.Core.Analysis
    •  Elara.Core.Generic
    •  Elara.Core.LiftClosures
      Submodules

      •  Elara.Core.LiftClosures.Error
      •  Elara.Core.LiftClosures.Util
    •  Elara.Core.Module
    •  Elara.Core.Pretty
    •  Elara.Core.ToANF
    •  Elara.Core.TypeCheck
  •  Elara.CoreToCore
  • Data
    Submodules

    •  Elara.Data.AtLeast2List
    •  Elara.Data.Kind
      Submodules

      •  Elara.Data.Kind.Infer
    •  Elara.Data.Pretty
      Submodules

      •  Elara.Data.Pretty.Styles
    •  Elara.Data.TopologicalGraph
    •  Elara.Data.Unique
      Submodules

      •  Elara.Data.Unique.Effect
    •  Elara.Data.Unwrap
  •  Elara.Desugar
    Submodules

    •  Elara.Desugar.Common
    •  Elara.Desugar.Error
  •  Elara.Error
    Submodules

    •  Elara.Error.Codes
    •  Elara.Error.Diagnose
    •  Elara.Error.Internal
  •  Elara.Interpreter
  • JVM
    Submodules

    •  Elara.JVM.Emit
      Submodules

      •  Elara.JVM.Emit.Lambda
      •  Elara.JVM.Emit.Operator
      •  Elara.JVM.Emit.State
      •  Elara.JVM.Emit.Types
      •  Elara.JVM.Emit.Utils
    •  Elara.JVM.Error
    •  Elara.JVM.IR
    •  Elara.JVM.Lower
      Submodules

      •  Elara.JVM.Lower.ADT
      •  Elara.JVM.Lower.Expr
      •  Elara.JVM.Lower.Function
      •  Elara.JVM.Lower.Match
      •  Elara.JVM.Lower.Monad
      •  Elara.JVM.Lower.Util
    •  Elara.JVM.Query
  • Lexer
    Submodules

    •  Elara.Lexer.Action
    •  Elara.Lexer.Char
    •  Elara.Lexer.Lexer
    •  Elara.Lexer.Reader
    •  Elara.Lexer.Token
    •  Elara.Lexer.Utils
  •  Elara.Logging
  •  Elara.ModuleIndex
  •  Elara.Parse
    Submodules

    •  Elara.Parse.Annotation
    •  Elara.Parse.Combinators
    •  Elara.Parse.Debug
    •  Elara.Parse.Declaration
    •  Elara.Parse.Error
    •  Elara.Parse.Expression
    •  Elara.Parse.Grammar
    •  Elara.Parse.Indents
    •  Elara.Parse.Literal
    •  Elara.Parse.Module
    •  Elara.Parse.Names
    •  Elara.Parse.Pattern
    •  Elara.Parse.Primitives
    •  Elara.Parse.Stream
    •  Elara.Parse.Type
  •  Elara.Pipeline
  • Pretty
    Submodules

    •  Elara.Pretty.Common
  •  Elara.Prim
    Submodules

    •  Elara.Prim.Core
    •  Elara.Prim.Rename
  •  Elara.Query This module defines the queries used in the Elara compiler. Queries are the way the compiler requests information between stages. Queries are lazy and memoised. This module defines the queries, and the main implementation is in Rules
    Submodules

    •  Elara.Query.Common
    •  Elara.Query.Effects
    •  Elara.Query.Errors
    •  Elara.Query.TH
  •  Elara.ReadFile
  •  Elara.Rename
    Submodules

    •  Elara.Rename.Error
    •  Elara.Rename.Imports
    •  Elara.Rename.State
  •  Elara.Rules
    Submodules

    •  Elara.Rules.Generic
  •  Elara.SCC
    Submodules

    •  Elara.SCC.Type
  •  Elara.Settings
  •  Elara.Shunt
    Submodules

    •  Elara.Shunt.Error
    •  Elara.Shunt.Operator
  •  Elara.ToCore
    Submodules

    •  Elara.ToCore.Match
  •  Elara.TypeInfer
    Submodules

    •  Elara.TypeInfer.ConstraintGeneration
    •  Elara.TypeInfer.Context
    •  Elara.TypeInfer.Convert
    •  Elara.TypeInfer.Environment
    •  Elara.TypeInfer.Error
    •  Elara.TypeInfer.Ftv
    •  Elara.TypeInfer.Generalise
    •  Elara.TypeInfer.Monad
    •  Elara.TypeInfer.Render
    •  Elara.TypeInfer.Substitute
    •  Elara.TypeInfer.Syntax
    •  Elara.TypeInfer.Type
    •  Elara.TypeInfer.Unique
  •  Elara.Utils
  •  Elara.Width
•  Prelude
•  Print
•  Rock
  Submodules

  •  Rock.Memo
•  TODO