JSON Instances

covenant.cabal

@@ -133,6 +133,7 @@ library
     bytestring >=0.12.1.0 && <0.13,
     containers >=0.6.8 && <0.8,
     enummapset ==0.7.3.0,
+    hex-text ==0.1.0.9,
     mtl >=2.3.1 && <3,
     nonempty-vector ==0.2.4,
     optics-core ==0.4.1.1,

src/Covenant/ASG.hs

@@ -20,7 +20,7 @@ module Covenant.ASG
   ( -- * The ASG itself
 
     -- ** Types
-    ASG,
+    ASG (ASGInner),
 
     -- ** Functions
     topLevelId,
@@ -143,6 +143,7 @@ import Covenant.Internal.Term
   ( ASGNode (ACompNode, AValNode, AnError),
     ASGNodeType (CompNodeType, ErrorNodeType, ValNodeType),
     Arg (Arg),
+    BoundTyVar (BoundTyVar),
     CompNodeInfo
       ( Builtin1Internal,
         Builtin2Internal,
@@ -308,6 +309,11 @@ newtype ASG = ASG (Id, Map Id ASGNode)
       Show
     )
 
+{-# COMPLETE ASGInner #-}
+
+pattern ASGInner :: Map Id ASGNode -> ASG
+pattern ASGInner m <- ASG (_, m)
+
 -- Note (Koz, 24/04/25): The `topLevelNode` and `nodeAt` functions use `fromJust`,
 -- because we can guarantee it's impossible to miss. For an end user, the only
 -- way to get hold of an `Id` is by inspecting a node, and since we control how
@@ -453,8 +459,8 @@ pattern Lit c <- LitInternal c
 -- 'Vector' field).
 --
 -- @since 1.0.0
-pattern App :: Id -> Vector Ref -> ValNodeInfo
-pattern App f args <- AppInternal f args
+pattern App :: Id -> Vector Ref -> Vector (Wedge BoundTyVar (ValT Void)) -> ValNodeInfo
+pattern App f args instTys <- AppInternal f args instTys
 
 -- | Wrap a computation into a value (essentially delaying it).
 --
@@ -754,7 +760,7 @@ app fId argRefs instTys = do
             result <- either (throwError . UnificationError) pure $ checkApp tyDict instantiatedFT (Vector.toList renamedArgs)
             restored <- undoRenameM result
             checkEncodingWithInfo tyDict restored
-            refTo . AValNode restored . AppInternal fId $ argRefs
+            refTo . AValNode restored $ AppInternal fId argRefs instTys
     ValNodeType t -> throwError . ApplyToValType $ t
     ErrorNodeType -> throwError ApplyToError
   where
@@ -1254,18 +1260,6 @@ tryApply algebraT argT =
 
 -- Putting this here to reduce chance of annoying manual merge (will move later)
 
--- | Wrapper around an `Arg` that we know represents an in-scope type variable.
--- @since 1.2.0
-data BoundTyVar = BoundTyVar DeBruijn (Index "tyvar")
-  deriving stock
-    ( -- @since 1.2.0
-      Show,
-      -- @since 1.2.0
-      Eq,
-      -- @since 1.2.0
-      Ord
-    )
-
 -- | Given a DeBruijn index (designating scope) and positional index (designating
 -- which variable in that scope we are interested in), retrieve an in-scope type
 -- variable.

src/Covenant/Internal/Term.hs

@@ -11,6 +11,7 @@ module Covenant.Internal.Term
     ASGNode (..),
     typeASGNode,
     ASGNodeType (..),
+    BoundTyVar (..),
   )
 where
 
@@ -33,7 +34,10 @@ import Covenant.Prim (OneArgFunc, SixArgFunc, ThreeArgFunc, TwoArgFunc)
 import Covenant.Type (ConstructorName, PlutusDataConstructor, Renamed)
 import Data.Kind (Type)
 import Data.Set qualified as Set
+import Data.Text (Text)
 import Data.Vector (Vector)
+import Data.Void (Void)
+import Data.Wedge (Wedge)
 import Data.Word (Word64)
 
 -- | An error that can arise during the construction of an ASG by programmatic
@@ -266,12 +270,15 @@ data CovenantTypeError
     --   itself does not exist. It does not seem important to distinguish between the two failure cases.
     -- @since 1.3.0
     BaseFunctorDoesNotExistFor TyName
-  | -- 'app' was called with a number of instantiation arguments that does not match the number of
+  | -- | 'app' was called with a number of instantiation arguments that does not match the number of
     -- type variables bound in Count the CompT of the function to which arguments are being applied.
     -- The first Int is the  number of bound tyvars in the function type, the second is the number of
     -- instantiations supplied.
     -- @since 1.3.0
     WrongNumInstantiationsInApp (CompT Renamed) Int Int
+  | -- | A miscellaneous error, needed to catch various things that can go wrong during datatype preparation and
+    -- deserialization
+    OtherError Text
   deriving stock
     ( -- | @since 1.0.0
       Eq,
@@ -385,7 +392,7 @@ data CompNodeInfo
 -- @since 1.0.0
 data ValNodeInfo
   = LitInternal AConstant
-  | AppInternal Id (Vector Ref)
+  | AppInternal Id (Vector Ref) (Vector (Wedge BoundTyVar (ValT Void)))
   | ThunkInternal Id
   | -- | @since 1.1.0
     CataInternal Ref Ref
@@ -452,3 +459,17 @@ data ASGNodeType
       -- | @since 1.0.0
       Show
     )
+
+-- NOTE: Had to move this here
+
+-- | Wrapper around an `Arg` that we know represents an in-scope type variable.
+-- @since 1.2.0
+data BoundTyVar = BoundTyVar DeBruijn (Index "tyvar")
+  deriving stock
+    ( -- @since 1.2.0
+      Show,
+      -- @since 1.2.0
+      Eq,
+      -- @since 1.2.0
+      Ord
+    )