@helios-lang/compiler/types/typecheck/common.d.ts.map

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

{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/typecheck/common.js"],"names":[],"mappings":"AAyBA;;GAEG;AACH,kDAFW,mBAAmB,QAI7B;AAWD;;GAEG;AACH,+CAFW,gBAAgB,QAI1B;AAWD;;GAEG;AACH,8CAFW,eAAe,QAIzB;AAED;;;;;GAKG;AAEH;;GAEG;AAEH;;;;;;;GAOG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH;;;;;;GAMG;AAEH;;;;;;GAMG;AAEH;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;;;GAQG;AAEH;;;;;;;;;;GAUG;AAEH;;;;;GAKG;AAEH;;;;;;;;GAQG;AAEH;;GAEG;AAEH;;GAEG;AAEH;;GAEG;AAEH;;GAEG;AAEH;;;;GAIG;AACH,uCAJW,UAAU,YACV,IAAI,EAAE,GACJ,QAAQ,CAIpB;AA66DD;;;GAGG;AACH,6CAHW,QAAQ,GACN,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CActC;AAvmED;;GAEG;AAEH;;GAEG;AACH,2BAFU,gBAAgB,GAAG,SAAS,CAEf;AASvB;;GAEG;AAEH;;GAEG;AACH,0BAFU,eAAe,GAAG,SAAS,CAEf;AAqJtB;IAUI;;;;OAIG;IACH,qBAJW,KAAK,KACL,IAAI,GACF,OAAO,CAInB;IAED;;;;;;;OAOG;IACH,kBAJW,IAAI,KACJ,IAAI,GACF,OAAO,CAInB;IAED;;OAEG;IACH,oBAFW,IAAI,WAId;IAED;;OAEG;IACH,8BAFW,IAAI,UAOd;IAED;;;OAGG;IACH,4BAHW,SAAS,GACP,MAAM,EAAE,CAWpB;IAED;;;;OAIG;IACH,4BAJW,IAAI,MACJ,SAAS,GACP,OAAO,CA+BnB;IA9FD;;OAEG;IACH,gBAFa,OAAO,CAInB;IA2FD;;OAEG;IACH,kCAEC;IAED;;OAEG;IACH,8CAEC;IAED;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,kCAEC;IAED;;OAEG;IACH,4BAEC;IAED;;OAEG;IACH,oCAEC;IAED;;OAEG;IACH,sCAEC;IAED;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,4BAEC;IAED;;OAEG;IACH,oCAEC;IAED;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,YAFa,MAAM,CAIlB;CACJ;AAED;;;GAGG;AACH,+CAFgB,QAAQ;IAOpB;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,+BAEC;IAED;;OAEG;IACH,YAFa,UAAU,CAOtB;IAED;;;;;OAKG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAIhB;IAED;;;OAGG;IACH,gBAHW,IAAI,GACF,OAAO,CAInB;IAED;;OAEG;IACH,WAFa,KAAK,CAIjB;CAQJ;AAED;;;GAGG;AACH,+CAFgB,QAAQ;IAOpB,0BAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,+BAEC;IAED;;OAEG;IACH,YAFa,UAAU,CAOtB;IAED;;;;;OAKG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAIhB;IAED;;;OAGG;IACH,gBAHW,IAAI,GACF,OAAO,CAInB;IAED;;OAEG;IACH,WAFa,KAAK,CAIjB;CAQJ;AAED;;GAEG;AACH;IAsBI;;;;OAIG;IACH,kBAJW,IAAI,GAAG,SAAS,QAChB,IAAI,aACJ,OAAO,EAMjB;IA9BD;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,2BAAS;IAaT;;OAEG;IACH,mBAMC;IAED;;OAEG;IACH,iBAEC;IAED;;;;;;OAMG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,OAAO,CAQnB;IAED;;;OAGG;IACH,gBAHW,OAAO,GACL,OAAO,CAmBnB;IAED;;OAEG;IACH,WAFa,OAAO,CAInB;IAED;;OAEG;IACH,cAFa,OAAO,CAInB;IAED;;OAEG;IACH,YAFa,MAAM,CAQlB;CACJ;AAED;;;GAGG;AACH,gDAFgB,IAAI;IAgBhB;;;OAGG;IACH,sBAHW,IAAI,EAAE,GAAG,OAAO,EAAE,WAClB,IAAI,EAUd;IAzBD;;;OAGG;IACH,uBAFU,OAAO,EAAE,CAEP;IAEZ;;;;OAIG;IACH,0BAAQ;IAgBR;;OAEG;IACH,uBAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,oBAEC;IAED;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,uBAEC;IAED;;OAEG;IACH,oBAEC;IAED;;OAEG;IACH,+BAEC;IAED;;OAEG;IACH,mBAEC;IAED;;;;OAIG;IACH,+BAHW,KAAK,EAAE,GACL,KAAK,EAAE,CAqDnB;IAED;;;;;;;;;OASG;IACH,gBANW,IAAI,eACJ,KAAK,EAAE,cACP;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAC,gBACvB,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,GAAG,SAAS,GACnE,IAAI,CA6FhB;IAED;;;;;;OAMG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAoBhB;IAED;;;;;;OAMG;IACH,gBALW,IAAI,OACJ,YAAY,YACZ,IAAI,EAAE,GACJ,QAAQ,CAgBpB;IAED;;;;;;OAMG;IACH,mBAJW,IAAI,QACJ,IAAI,GACF,OAAO,CAcnB;IAED;;;;;;;OAOG;IACH,gBAHW,IAAI,GACF,OAAO,CAsBnB;IAED;;;;;;;OAOG;IACH,qBAJW,IAAI,QACJ,IAAI,GACF,OAAO,CAQnB;IASD;;;;;OAKG;IACH,oBAJW,IAAI,QACJ,MAAM,GACJ,MAAM,CAUlB;IAED;;OAEG;IACH,WAFa,KAAK,CAIjB;CACJ;AAED;;;;;;;;;GASG;AAEH;;;GAGG;AACH,mDAFgB,QAAQ;IAiEpB;;OAEG;IACH,2FAFW,gBAAgB,EAsB1B;IArFD;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,6BAAW;IAEX;;;;;OAKG;IACH,qCAAmB;IAEnB;;;;;OAKG;IACH,iCAAe;IAEf;;;OAGG;IACH,yBAAgB;IAEhB;;;OAGG;IACH,qBAAY;IAEZ;;;;OAIG;IACH,gCAAc;IAEd;;;OAGG;IACH,kBAAS;IA2BT;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAMC;IAED;;OAEG;IACH,mBAEC;IAED;;;OAGG;IACH,mBAHW,GAAG,CAAC,MAAM,CAAC,GACT,UAAU,CAQtB;IAED;;OAEG;IACH,mBAEC;IASD;;OAEG;IACH,+BAQC;IAED;;;OAGG;IACH,oBAHW,IAAI,OACJ,YAAY;;;;;;MAwDtB;IAED;;;;;OAKG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAIhB;IAED;;;;OAIG;IACH,wBAJW,MAAM,QACN,MAAM,GACJ,WAAW,CAUvB;IAED;;;OAGG;IACH,gBAHW,IAAI,GACF,OAAO,CAUnB;IASD;;OAEG;IACH,WAFa,KAAK,CAIjB;CACJ;AAED;;;;;;;;;;;GAWG;AAEH;;;;GAIG;AACH,kEAHgB,cAAc;IAkB1B;;OAEG;IACH,oHAFW,0BAA0B,EAuBpC;IAtCD;;;;OAIG;IACH,8BAAY;IAEZ;;;;OAIG;IACH,6BAAW;IA4BX;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;CA8BJ;AAED;;;;GAIG;AACH,gDAFgB,IAAI;IAOhB;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,+BAEC;IAED;;OAEG;IACH,mBAEC;IAED;;;;;;OAMG;IACH,YALW,IAAI,OACJ,YAAY,QACZ,IAAI,GAAG,IAAI,GACT,IAAI,CAIhB;IAED;;;OAGG;IACH,eAHW,IAAI,GACF,OAAO,CAInB;IASD;;OAEG;IACH,WAFa,KAAK,CAIjB;CACJ;AAED;;;;GAIG;AACH,kDAFgB,QAAQ;IAUpB;;OAEG;IACH,kBAFW,QAAQ,EASlB;IAjBD;;;;OAIG;IACH,uBAAK;IAcL;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,iBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;CAQJ;AAED;;;;GAIG;AACH,mDAFgB,IAAI;CAwBnB;AAED;;;;GAIG;AACH;IAKI;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,iBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;CAQJ;AAED;;;GAGG;AACH,oCAFgB,KAAK;IAwBjB;;;;OAIG;IACH,kBAJW,MAAM,QACN,MAAM,UACN,UAAU,EAMpB;IA9BD;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,uBAAK;IAEL;;;;OAIG;IACH,yBAAO;IAaP;;OAEG;IACH,kCAEC;IAED;;OAEG;IACH,8CAEC;IAED;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,kCAEC;IAED;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,oCAEC;IAED;;OAEG;IACH,sCAEC;IAED;;OAEG;IACH,0BAEC;IAED;;OAEG;IACH,4BAEC;IAED;;OAEG;IACH,oCAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,YAFa,MAAM,CAIlB;CACJ;AAED;;;;GAIG;AACH,kDAFgB,IAAI;IAUhB;;OAEG;IACH,kBAFW,QAAQ,EAUlB;IAlBD;;;;OAIG;IACH,uBAAK;IAeL;;OAEG;IACH,iBAEC;IAED;;;OAGG;IACH,yBAEC;IAED;;OAEG;IACH,mBAEC;IAED;;OAEG;IACH,qBAEC;IAED;;;;;;OAMG;IACH,WANW,IAAI,QACJ,KAAK,EAAE,cACP;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAC,gBACvB,WAAW,GAAG,SAAS,GACrB,KAAK,CAMjB;CASJ;AAED;;;GAGG;AACH,mDAFgB,KAAK;IAUjB;;OAEG;IACH,kBAFW,IAAI,EAMd;IAdD;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,qBAEC;IAED;;OAEG;IACH,iBAEC;CACJ;AAED;;;;GAIG;AACH,kDAFgB,QAAQ;IAOpB;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,iBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;CAQJ;AAED;;GAEG;AACH,iDAFgB,QAAQ;IAOpB;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,uCAEC;IAED;;OAEG;IACH,iBAEC;IAED;;OAEG;IACH,2BAEC;IAED;;OAEG;IACH,qBAEC;CAQJ;AAED;;GAEG;AACH,uDAFgB,SAAS;IAgBrB;;;OAGG;IACH,kBAHW,MAAM,WACN,gBAAgB,EAM1B;IArBD;;;OAGG;IACH,eAFU,MAAM,CAEZ;IAEJ;;;;OAIG;IACH,0BAAQ;IAYR;;OAEG;IACH,yCAEC;IAED;;OAEG;IACH,6BAEC;CAQJ;AAED;;;GAGG;AACH,+DAHgB,KAAK,EACL,SAAS;IASrB;;;;OAIG;IACH,kBAJW,MAAM,QACN,MAAM,WACN,gBAAgB,EAK1B;IAdD;;;OAGG;IACH,eAFU,MAAM,CAEZ;IAYJ;;OAEG;IACH,qBAEC;CACJ;yBApjEY;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,SAAS,CAAA;CACrB;2BAIS,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC;uBAIrB,KAAK,GAAG,IAAI,GAAG;IACvB,UAAU,EAAI,QAAQ,CAAA;IACtB,UAAU,EAAI,MAAM,EAAE,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAI,UAAU,CAAA;IAC5C,KAAK,EAAS,OAAO,CAAA;CACtB;6BAIS,QAAQ,GAAG;IACnB,gBAAgB,EAAE,cAAc,CAAA;IAChC,WAAW,EAAO,MAAM,CAAA;IACxB,UAAU,EAAQ,QAAQ,CAAA;CAC3B;;;;yBAKS;IACR,UAAU,EAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACnC,gBAAgB,EAAE,CAAC,IAAI,GAAG,cAAc,CAAC,CAAA;IACzC,MAAM,EAAY,CAAC,IAAI,GAAG,IAAI,CAAC,CAAA;IAC/B,UAAU,EAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACnC,OAAO,EAAW,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IAChC,WAAW,EAAO,CAAC,IAAI,GAAG,SAAS,CAAC,CAAA;IACpC,YAAY,EAAM,CAAC,IAAI,GAAG,UAAU,CAAC,CAAA;IACrC,MAAM,EAAY,CAAC,IAAI,GAAG,IAAI,CAAC,CAAA;IAC/B,OAAO,EAAW,CAAC,IAAI,GAAG,KAAK,CAAC,CAAA;IAChC,WAAW,EAAO,CAAC,IAAI,GAAG,SAAS,CAAC,CAAA;IACpC,QAAQ,IAAU,MAAM,CAAA;CACzB;mBAIS,KAAK,GAAG;IAChB,MAAM,EAAE,IAAI,CAAA;IACZ,QAAQ,EAAE,QAAQ,CAAA;IAClB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,SAAS,CAAC,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAC,EAAE,WAAW,CAAC,EAAE,WAAW,GAAG,KAAK,CAAA;CACvG;uBAIS,KAAK,GAAG;IAChB,UAAU,EAAO,QAAQ,CAAA;IACzB,UAAU,EAAO,MAAM,EAAE,CAAA;IACzB,eAAe,EAAE,eAAe,CAAA;CACjC;oBAIS,UAAU,GAAG;IACrB,OAAO,EAAE,KAAK,CAAA;IACd,IAAI,EAAK,MAAM,CAAA;IACf,IAAI,EAAK,MAAM,CAAA;CAChB;wBAIS,UAAU,GAAG;IACrB,WAAW,EAAE,SAAS,CAAA;IACtB,gBAAgB,EAAE,gBAAgB,CAAA;CACnC;yBAIS,UAAU,GAAG;IACrB,YAAY,EAAE,UAAU,CAAA;IACxB,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,UAAU,CAAA;IAC7C,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,SAAS,CAAC,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAC,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACpG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,GAAG,UAAU,CAAA;CACjD;mBAIS,UAAU,GAAG;IACrB,MAAM,EAAgB,IAAI,CAAA;IAC1B,eAAe,EAAO,eAAe,CAAA;IACrC,WAAW,EAAW,WAAW,CAAA;IACjC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAA;IAC7B,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;IAC7D,OAAO,IAAe,KAAK,CAAA;IAC3B,YAAY,IAAU,OAAO,CAAA;CAC9B;oBAIS,UAAU,GAAG;IACrB,OAAO,EAAE,KAAK,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;CACX;wBAIS,UAAU,GAAG;IACrB,WAAW,EAAyB,SAAS,CAAA;IAC7C,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAO,gBAAgB,CAAA;IACpD,cAAc,CAAC,IAAI,EAAE,IAAI,GAAW,gBAAgB,CAAA;IACpD,eAAe,CAAC,IAAI,EAAE,IAAI,GAAU,OAAO,CAAA;IAC3C,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAAA;CACxE;8BAIS;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAA;CAAC;+BAIrC;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAA;CAAC;0BAI5B;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,UAAU,GAAG,IAAI,GAAG,KAAK,CAAC,CAAA;CAAC;+BAI7C;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAC;+BA3LtB,OAAO,yBAAyB,EAAE,gBAAgB;8BAClD,OAAO,yBAAyB,EAAE,eAAe;yBACjD,OAAO,yBAAyB,EAAE,UAAU;gCAC5C,OAAO,yBAAyB,EAAE,iBAAiB;uBACnD,OAAO,mBAAmB,EAAE,QAAQ;0BAIpC,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC;kCAIvD,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC;+BAgBpC,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;8BAgBxB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,KAAK,QAAQ;+BA4iC5C;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,eAAe,CAAA;IACnD,cAAc,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAA;IAC3C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU,CAAA;CACjE;yCAuSS;IACR,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,QAAQ,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,eAAe,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAA;IAC5C,aAAa,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU,CAAA;CAChE;0BAh5C2B,6BAA6B;0BAA7B,6BAA6B"}