onchain dev4

packages/onchain/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@harmoniclabs/plu-ts-onchain",
-    "version": "0.3.0-dev3",
+    "version": "0.3.0-dev4",
     "description": "An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript",
     "main": "./dist/index.js",
     "types": "./dist/index.d.ts",

packages/onchain/src/pluts/API/V1/index.ts

@@ -88,4 +88,4 @@ export const V1 = Object.freeze({
     PValue,
     PValueEntry,
     PAssetsEntry
-});
+} as const);

packages/onchain/src/pluts/API/V2/index.ts

@@ -20,4 +20,4 @@ export const V2 = Object.freeze({
     POutputDatum,
     PTxInInfo,
     PTxOut
-});
+} as const);

packages/onchain/src/pluts/API/V3/Governance/PDRep.ts

@@ -1,4 +1,4 @@
-import { pstruct } from "../../../PTypes";
+import { pstruct } from "../../../PTypes/PStruct/pstruct";
 import { PCredential } from "../../V1/Address/PCredential";
 
 export const PDrep = pstruct({

packages/onchain/src/pluts/API/V3/index.ts

@@ -1,19 +1,18 @@
-import { V2 } from "../V2";
+// import { V2 } from "../V2";
 
 export * from "./Governance";
 export * from "./ScriptContext";
 export * from "./Tx";
 
-import { PChangedParams, PDrep, PGovernanceAction, PProposalProcedure, PProtocolVersion, PVote, PVoter, PConstitution, PRational } from "./Governance";
-import { PCertificate, PDelegatee, PScriptContext, PScriptInfo, PScriptPurpose, PTxInfo } from "./ScriptContext";
-import { PTxId, PTxInInfo, PTxOutRef } from "./Tx";
-
-export const V3 = Object.freeze({
-    ...V2,
-
-    PChangedParams, PDrep, PGovernanceAction, PProposalProcedure, PProtocolVersion, PVote, PVoter, PConstitution, PRational,
-    PCertificate, PDelegatee, PScriptContext, PScriptInfo, PScriptPurpose, PTxInfo,
-    PTxId, PTxInInfo, PTxOutRef
-});
-
+// import { PChangedParams, PDrep, PGovernanceAction, PProposalProcedure, PProtocolVersion, PVote, PVoter, PConstitution, PRational } from "./Governance";
+// import { PCertificate, PDelegatee, PScriptContext, PScriptInfo, PScriptPurpose, PTxInfo } from "./ScriptContext";
+// import { PTxId, PTxInInfo, PTxOutRef } from "./Tx";
 
+// @ts-ignore The inferred type of this node exceeds the maximum length the compiler will serialize. An explicit type annotation is needed.ts(7056)
+// export const V3 = Object.freeze({
+//     ...V2,
+//     
+//     PChangedParams, PDrep, PGovernanceAction, PProposalProcedure, PProtocolVersion, PVote, PVoter, PConstitution, PRational,
+//     PCertificate, PDelegatee, PScriptContext, PScriptInfo, PScriptPurpose, PTxInfo,
+//     PTxId, PTxInInfo, PTxOutRef
+// } as const);

packages/onchain/src/pluts/Script/makeScript.ts

@@ -9,14 +9,25 @@ import type { PDataRepresentable } from "../PType/PDataRepresentable";
 import { TermFn } from "../PTypes/PFn/PFn";
 import { perror } from "../lib/perror";
 import { pmakeUnit } from "../lib/std/unit/pmakeUnit";
-import { pif, ptraceError } from "../lib/builtins";
+import { pif } from "../lib/builtins";
 import { papp } from "../lib/papp";
 import { pfn } from "../lib/pfn";
 import { PrimType, bool, data, unit } from "../type_system/types";
 import { isWellFormedType, typeExtends } from "../type_system";
 import { fromData } from "../lib/std/data/conversion/fromData";
-
-
+import { ptraceError } from "../lib/std/traces";
+
+
+/**
+ * @deprecated
+ * 
+ * since plutus v3, all plutus scripts take only the script context as argument
+ * and redeemer and datum can be extracted from there
+ * 
+ * it is suggested to use plutus v3 (or higher) to get the best performance out of your contract
+ * 
+ * also make sure your contract returns a `unit` and no longer a `bool`
+ */
 export function makeValidator(
     typedValidator: Term<
         PLam<
@@ -89,6 +100,16 @@ export function makeValidator(
 }
 
 
+/**
+ * @deprecated
+ * 
+ * since plutus v3, all plutus scripts take only the script context as argument
+ * and redeemer and datum can be extracted from there
+ * 
+ * it is suggested to use plutus v3 (or higher) to get the best performance out of your contract
+ * 
+ * also make sure your contract returns a `unit` and no longer a `bool`
+ */
 export function makeRedeemerValidator(
     typedValidator: Term<
         PLam<

packages/onchain/src/pluts/lib/std/PMaybe/PMaybe.ts

@@ -5,6 +5,7 @@ import { StructT, TermType, FromPType, ToPType } from "../../../type_system";
 import { _fromData } from "../data/conversion/fromData_minimal";
 import { TermFn } from "../../../PTypes/PFn/PFn";
 import { pmatch } from "../../pmatch/pmatch";
+import type { Term } from "../../../Term";
 
 export type MaybeT<T extends TermType> = StructT<{
     Just: { val: T },
@@ -41,7 +42,7 @@ export function PMaybe<T extends TermType>(tyArg: T)
             (( self, defaultValue ) =>
                 pmatch( self )
                 .onJust(({ val }) => val)
-                .onNothing(_ => defaultValue )
+                .onNothing(_ => defaultValue ) as Term<ToPType<T>>
             )
         };
     });

packages/onchain/src/pluts/lib/std/passert.ts

@@ -38,4 +38,4 @@ export const passertAndContinue = <T extends TermType>(
             .$( pdelay( perror( resultType ) ) )
         )
     ) as any
-)
+);

packages/onchain/tsconfig.json

@@ -1,5 +1,6 @@
 {
   "compilerOptions": {
+    "disableSizeLimit": true,
     "skipLibCheck": true,
     /* Basic Options */
     // "incremental": true,                   /* Enable incremental compilation */