From be137b74ec4cf24e7e4028006bbca38a3ab1da84 Mon Sep 17 00:00:00 2001 From: Gregory Gerasev Date: Fri, 31 May 2024 19:50:44 +0700 Subject: [PATCH] Defaulting `Stage` to `SingleStage` --- src/Cardano/CEM.hs | 2 ++ src/Cardano/CEM/Examples/Voting.hs | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Cardano/CEM.hs b/src/Cardano/CEM.hs index b294a6b..7bcc618 100644 --- a/src/Cardano/CEM.hs +++ b/src/Cardano/CEM.hs @@ -92,6 +92,8 @@ class CEMScriptTypes script where -- | which is stored immutable in script Datum as well. type Stage script + type Stage script = SingleStage + -- | `State` is changing part of script Datum. -- | It is in type State script = params | params -> script diff --git a/src/Cardano/CEM/Examples/Voting.hs b/src/Cardano/CEM/Examples/Voting.hs index bad584f..7c61a2d 100644 --- a/src/Cardano/CEM/Examples/Voting.hs +++ b/src/Cardano/CEM/Examples/Voting.hs @@ -89,7 +89,6 @@ PlutusTx.unstableMakeIsData ''VoteValue PlutusTx.unstableMakeIsData ''JuryPolicy instance CEMScriptTypes SimpleVoting where - type Stage SimpleVoting = SingleStage type Params SimpleVoting = SimpleVotingParams type State SimpleVoting = SimpleVotingState type Transition SimpleVoting = SimpleVotingTransition