@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 • 851 B
Source Map (JSON)
{"version":3,"file":"ParametricFunc.d.ts","sourceRoot":"","sources":["../../src/typecheck/ParametricFunc.js"],"names":[],"mappings":"AAIA;;;;;;;;;GASG;AAEH;;;GAGG;AACH,sDAFgB,UAAU;IAiBtB;;;OAGG;IACH,oBAHW,SAAS,EAAE,UACX,QAAQ,EAMlB;IAtBD;;;;OAIG;IACH,yBAAO;IAEP;;;;OAIG;IACH,yBAAO;IAYP,0BAEC;IAED,uBAEC;IAED;;;OAGG;IACH,qDAEC;IAED;;;;OAIG;IACH,aAJW,IAAI,EAAE,SACN,IAAI,GACF,UAAU,CA8BtB;IAED;;OAEG;IACH,qDAEC;IAED;;;;;;;OAOG;IACH,gBANW,IAAI,QACJ,KAAK,EAAE,cACP;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAC,eACvB,IAAI,EAAE,GACJ,IAAI,CA6BhB;IAED;;;;OAIG;IACH,YAJW,IAAI,OACJ,YAAY,GACV,UAAU,CAUtB;CAQJ;mBA3JY,OAAO,6BAA6B,EAAE,IAAI;2BAC1C,OAAO,aAAa,EAAE,YAAY;mBAClC,OAAO,aAAa,EAAE,IAAI;yBAC1B,OAAO,aAAa,EAAE,UAAU;yBAChC,OAAO,aAAa,EAAE,UAAU;mBAChC,OAAO,aAAa,EAAE,IAAI;oBAC1B,OAAO,aAAa,EAAE,KAAK;wBAC3B,OAAO,aAAa,EAAE,SAAS;uBAXC,aAAa;0BAChC,gBAAgB;yBADG,aAAa"}