From ef837d1b4d939648ee1fc6204d70da9f029ca2ca Mon Sep 17 00:00:00 2001 From: emiflake Date: Sun, 18 Sep 2022 00:15:05 +0200 Subject: [PATCH] apply suggestions --- agora/Agora/Stake.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/agora/Agora/Stake.hs b/agora/Agora/Stake.hs index eeaaa52..db0f1b5 100644 --- a/agora/Agora/Stake.hs +++ b/agora/Agora/Stake.hs @@ -586,6 +586,10 @@ instance DerivePlutusType PStakeRedeemerHandlerContext where -} type PStakeRedeemerHandler = PStakeRedeemerHandlerContext :--> PUnit +{- | Newtype wrapper around @'ClosedTerm' 'PStakeRedeemerHandler'@ to allow type inference to work. + + @since 1.0.0 +-} newtype PStakeRedeemerHandlerTerm = PStakeRedeemerHandlerTerm (ClosedTerm PStakeRedeemerHandler) runStakeRedeemerHandler :: PStakeRedeemerHandlerTerm -> ClosedTerm PStakeRedeemerHandler