chore: rename perTransitionScriptSpec

Author: euonymos

example/CEM/Example/Auction.hs

@@ -62,7 +62,7 @@ $(deriveCEMAssociatedTypes False ''SimpleAuction)
 instance CEMScript SimpleAuction where
   compilationConfig = MkCompilationConfig "AUC"
 
-  perTransitionScriptSpec =
+  transitionSpec =
     let
       buyoutBid = ctxState.bid
 

example/CEM/Example/Voting.hs

@@ -152,7 +152,7 @@ instance CEMScript SimpleVoting where
           _ -> NoCalc
       go _ _ _ = NoCalc
 
-  perTransitionScriptSpec =
+  transitionSpec =
     Map.fromList
       [
         ( CreateSpine

src/Cardano/CEM/Compile.hs

@@ -20,7 +20,7 @@ allTransitions ::
     ( Maybe (Spine (State script)) -- source 'State'
     , Maybe (Spine (State script)) -- target 'State'
     )
-allTransitions = Map.map foo perTransitionScriptSpec
+allTransitions = Map.map foo transitionSpec
   where
     foo :: [TxConstraint False script] -> (Maybe (Spine (State script)), Maybe (Spine (State script)))
     foo cs = (transitionInStateSpine cs, transitionOutStateSpine cs)

src/Cardano/CEM/DSL.hs

@@ -344,7 +344,7 @@ class
   CEMScript script
   where
   -- | The crux part - a map that defines constraints for each transition via DSL
-  perTransitionScriptSpec :: CEMScriptSpec False script
+  transitionSpec :: CEMScriptSpec False script
 
   -- | Optional Plutus script to calculate things, for the cases when
   -- CEM constrainsts and/or inlining Plutarch functions are not

src/Cardano/CEM/Documentation.hs

@@ -2,7 +2,7 @@ module Cardano.CEM.Documentation (genCemGraph) where
 
 import Cardano.CEM.Compile (transitionStateSpines)
 import Cardano.CEM.DSL (
-  CEMScript (perTransitionScriptSpec),
+  CEMScript (transitionSpec),
   CEMScriptTypes (Transition),
   TxFanKind (In, Out),
  )
@@ -35,7 +35,7 @@ genCemGraph name _proxy =
         ]
     get kind transition =
       case transitionStateSpines kind $
-        perTransitionScriptSpec @script Map.! transition of
+        transitionSpec @script Map.! transition of
         [] -> ["\"Void " <> show kind <> "\""]
         x -> map showSpine x
 

src/Cardano/CEM/OffChain.hs

@@ -164,7 +164,7 @@ compileActionConstraints
     runExcept $ do
       let
         uncompiled =
-          perTransitionScriptSpec @script
+          transitionSpec @script
             Map.! getSpine transition
         xSpine = transitionInStateSpine uncompiled
 

src/Cardano/CEM/TH.hs

@@ -77,7 +77,7 @@ compileCEM debugBuild name = do
           Nothing -> Nothing
         spec' =
           preProcessForOnChainCompilation $
-            perTransitionScriptSpec @($(conT name))
+            transitionSpec @($(conT name))
         MkCompilationConfig prefix = compilationConfig @($(conT name))
         errorCodes' = parseErrorCodes prefix spec'
         spec =