UNPKG

@helios-lang/compiler

Version:

Helios is a Domain Specific Language that compiles to Plutus-Core (i.e. Cardano on-chain validator scripts). Helios is a non-Haskell alternative to Plutus. With this library you can compile Helios scripts and build Cardano transactions, all you need to bu

1 lines 1.64 kB
{"version":3,"file":"tx.d.ts","sourceRoot":"","sources":["../../src/typecheck/tx.js"],"names":[],"mappings":"AA4tCA;;GAEG;AACH,kCAFa,cAAc,CAQ1B;AA4CD;;;GAGG;AACH,6CAHW,kBAAkB,GAChB,cAAc,CAwC1B;AAlxCD;;;;;;;;;;;GAWG;AAEH;;;GAGG;AACH,0BAFU,QAAQ,CA2BhB;AAEF;;GAEG;AACH,wBAFU,QAAQ,CAoChB;AA6JF;;;GAGG;AACH,qCAFU,QAAQ,CAwBhB;AA4DF;;GAEG;AACH,gCAFU,QAAQ,CA6BhB;AAmFF;;GAEG;AACH;IACI;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,6DAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,qDAEC;IAED;;OAEG;IACH,iDAEC;IAED;;OAEG;IACH,2CAEC;IAED;;OAEG;IACH,yCAEC;IAED;;;OAGG;IACH,mBAHW,GAAG,CAAC,MAAM,CAAC,GACT,UAAU,CAOtB;IAED;;;;;OAKG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAIhB;IAED;;;OAGG;IACH,gBAHW,IAAI,GACF,OAAO,CAInB;IASD;;OAEG;IACH,WAFa,KAAK,CAIjB;CACJ;AAED;;GAEG;AAEH;;;;;GAKG;AAEH;;GAEG;AACH,sDAFgB,QAAQ;IAUpB;;OAEG;IACH,qBAFW,WAAW,EAUrB;IAlBD;;;;OAIG;IACH,0BAAQ;IAqDR;;OAEG;IACH,WAFa,OAAO,CAInB;CACJ;AAED;;;GAGG;AACH,gCAFU,QAAQ,CA4BhB;AAsHF;;;GAGG;AACH,oCAFU,QAAQ,CAqBhB;AAuDF;;;GAGG;AACH,iCAFU,QAAQ,CAgBhB;AA4DF;;;GAGG;AACH,qBAFU,QAAQ,CAmHhB;AAEF;;;GAGG;AACH,uBAFU,QAAQ,CAoBhB;AAEF;;;GAGG;AACH,0BAFU,QAAQ,CAoBhB;AAEF;;;GAGG;AACH,2BAFU,QAAQ,CAmBhB;AAEF;;;GAGG;AACH,6BAFU,QAAQ,CAqBhB;AAEF,gCAWE;mBA/nCW,OAAO,6BAA6B,EAAE,IAAI;2BAC1C,OAAO,aAAa,EAAE,YAAY;uBAClC,OAAO,aAAa,EAAE,QAAQ;6BAC9B,OAAO,aAAa,EAAE,cAAc;oBACpC,OAAO,aAAa,EAAE,KAAK;mBAC3B,OAAO,aAAa,EAAE,IAAI;oBAC1B,OAAO,aAAa,EAAE,KAAK;8BAC3B,OAAO,aAAa,EAAE,eAAe;0BACrC,OAAO,aAAa,EAAE,WAAW;yBACjC,OAAO,aAAa,EAAE,UAAU;0BAohBhC;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAAA;CAAC;iCAIhC;IACR,aAAa,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,WAAW,CAAA;CAC1B;+BArkBG,aAAa;uBAAb,aAAa;+BAeb,aAAa"}