recalc-1.3.0.0

• Recalc
  Submodules

  •  Recalc.Language The core language implementation.

recalc:recalc-spec-1.3.0.0

•  Main
• Recalc
  Submodules

  •  Recalc.Array Core array operations.
  •  Recalc.Language The core language implementation.
  •  Recalc.SemanticsSpec Test the core language's evaluation, type checking and type inference.
  • Syntax
    Submodules

    •  Recalc.Syntax.Arbitrary Fully arbitrary terms.
    •  Recalc.Syntax.Fixity Fixity declarations for operators (prefix, infix, and postfix) that combine pretty-printing and parsing.
    •  Recalc.Syntax.FixitySpec Tests for the precedence parsing and pretty-printing utility.
    •  Recalc.Syntax.Parser Parser definitions for the term language.
    •  Recalc.Syntax.ParserSpec Tests for parsing cells using the core language.
    •  Recalc.Syntax.Term Terms and Values.
    •  Recalc.Syntax.Test Test utility functions for testing grammars.
    •  Recalc.Syntax.Unify A simple unification algorithm for terms.
    •  Recalc.Syntax.UnifySpec

recalc-engine-1.3.0.0

• Recalc
  Submodules

  •  Recalc.Engine The recalculation engine for generic spreadsheet languages.
  •  Recalc.Repl Utility functions for experimenting in GHCi

recalc-engine:recalc-engine-spec-1.3.0.0

•  Main
• Recalc
  Submodules

  •  Recalc.EngineSpec Tests for the recalculation engine (only single-sheet so far).

recalc-server-1.3.0.0

• Recalc
  Submodules

  •  Recalc.Server Generic JSON-RPC backend with a Servant-like API.

recalc-univer-1.3.0.0

• Recalc
  Submodules

  •  Recalc.Univer Type class and generic language server implementation (backend for a Univer frontend).
    Submodules

    •  Recalc.Univer.Protocol Named protocol implementation for the JSON-RPC api.