Hackage :: [Package]

tala-core: Tala Core and CorePrep models, verification, and wire codecs

[ compiler, language, library, mpl ] [ Propose Tags ] [ Report a vulnerability ]

The Core and CorePrep intermediate languages of Tala: their models, desugaring into them, optimization, verification and binary codecs. . This is an implementation package of the Tala compiler. Its modules may change in any release; tools should depend on tala-tooling instead. . The source is also offered under the Progmasoft Linking Exception 1.1 (LICENSE-EXCEPTION), an additional permission to MPL-2.0 for works that combine this package with independent code.

Modules

  • Progmasoft
    • Tala
      • Progmasoft.Tala.Core
        • Progmasoft.Tala.Core.Artifact
        • Progmasoft.Tala.Core.CorePrep
          • Progmasoft.Tala.Core.CorePrep.Verifier
          • Progmasoft.Tala.Core.CorePrep.Wire
            • Progmasoft.Tala.Core.CorePrep.Wire.Decode
            • Progmasoft.Tala.Core.CorePrep.Wire.Encode
            • Progmasoft.Tala.Core.CorePrep.Wire.Format
        • Progmasoft.Tala.Core.Monomorphization
        • Progmasoft.Tala.Core.Optimizer
          • Progmasoft.Tala.Core.Optimizer.IntegerFacts
        • Progmasoft.Tala.Core.Scalar
        • Progmasoft.Tala.Core.Specialization
        • Progmasoft.Tala.Core.Symbols
        • Progmasoft.Tala.Core.Template
        • Progmasoft.Tala.Core.Verifier
        • Progmasoft.Tala.Core.Wire
      • Progmasoft.Tala.Desugarer
        • Progmasoft.Tala.Desugarer.Boundary
        • Progmasoft.Tala.Desugarer.Branching
        • Progmasoft.Tala.Desugarer.Captures
        • Progmasoft.Tala.Desugarer.Effects
        • Progmasoft.Tala.Desugarer.Handing
        • Progmasoft.Tala.Desugarer.Laziness
        • Progmasoft.Tala.Desugarer.Sequencing
        • Progmasoft.Tala.Desugarer.Symbols
        • Progmasoft.Tala.Desugarer.Workers

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0
Dependencies base (>=4.20 && <4.23), bytestring (>=0.12 && <0.14), containers (>=0.7 && <0.9), filepath (>=1.5 && <1.6), mtl (>=2.3 && <2.4), tala-syntax (>=0.1.0 && <0.2) [details]
Tested with ghc ==9.10.3
License MPL-2.0[multiple license files]
Author Progmasoft
Maintainer support@progmasoft.com
Uploaded by Progmasoft at 2026-10-24T14:40:27Z
Category Language, Compiler
Home page https://tala.run/
Bug tracker https://github.com/Progmasoft/tala/issues
Source repo head: git clone https://github.com/Progmasoft/tala(Talac/Haskell/Core)
Distributions
Reverse Dependencies 1 direct, 1 indirect [details]
Downloads 3 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2026-10-24 [all 2 reports]