haskledger
LicenseApache-2.0
Stabilityprovisional
Safe HaskellNone
LanguageHaskell2010

HaskLedger.Compile

Description

Compilation pipeline: Validator to .plutus envelope.

HaskLedger eDSL  ->  Covenant ASG  ->  JSON  ->  c2uplc  ->  .plutus
Synopsis

Documentation

compileToEnvelope :: FilePath -> Validator -> IO () #

Full pipeline: eDSL -> Covenant JSON -> c2uplc -> .plutus envelope. Requires c2uplc on PATH (provided by Nix via build-tool-depends).

compileValidator :: Validator -> Either CovenantError ASG #

Compile a Validator to a Covenant ASG. Uses the full ledger type context for type-checking. Returns Left on malformed contracts.

compileToJSON :: FilePath -> Validator -> IO () #

Write the Covenant JSON intermediate representation to disk. Useful for debugging the ASG before UPLC generation.