diff --git a/src/base/lib/Convex/BuildTx.hs b/src/base/lib/Convex/BuildTx.hs index 1d6cdc33..bf19448c 100644 --- a/src/base/lib/Convex/BuildTx.hs +++ b/src/base/lib/Convex/BuildTx.hs @@ -720,7 +720,7 @@ addCertificate :: (MonadBuildTx era m, C.IsShelleyBasedEra era) => C.Certificate addCertificate cert = addBtx (over (L.txCertificates . L._TxCertificates . _1) ((:) cert)) -{-| Add a 'C.StakeCredential' registration as a ShelleyRelatedCerticate to the transaction in a pre-Conway era. +{-| Add a 'C.StakeCredential' registration as a ShelleyRelatedCertificate to the transaction in a pre-Conway era. -} addShelleyStakeCredentialRegistrationCertificatePreConway :: forall era m. ( IsShelleyToBabbageEra era @@ -732,7 +732,7 @@ addShelleyStakeCredentialRegistrationCertificatePreConway stakeCred = do let cert = C.makeStakeAddressRegistrationCertificate $ C.StakeAddrRegistrationPreConway shelleyToBabbageEra stakeCred addCertificate cert -{-| Add a 'C.StakeCredential' deregistration as a ShelleyRelatedCerticate to the transaction in a pre-Conway era. +{-| Add a 'C.StakeCredential' deregistration as a ShelleyRelatedCertificate to the transaction in a pre-Conway era. -} addShelleyStakeCredentialUnregistrationCertificatePreConway :: forall era m. ( IsShelleyToBabbageEra era @@ -744,7 +744,7 @@ addShelleyStakeCredentialUnregistrationCertificatePreConway stakeCred = do let cert = C.makeStakeAddressUnregistrationCertificate $ C.StakeAddrRegistrationPreConway shelleyToBabbageEra stakeCred addCertificate cert -{-| Add a 'C.StakeCredential' registration as a ShelleyRelatedCerticate to the transaction in Conway era. +{-| Add a 'C.StakeCredential' registration as a ShelleyRelatedCertificate to the transaction in Conway era. -} addShelleyStakeCredentialRegistrationCertificateInConway :: forall era m. ( MonadBuildTx era m @@ -756,7 +756,7 @@ addShelleyStakeCredentialRegistrationCertificateInConway stakeCred = do C.conwayEraOnwardsConstraints @era C.conwayBasedEra $ addCertificate $ C.ConwayCertificate C.conwayBasedEra $ TxCert.RegTxCert $ C.toShelleyStakeCredential stakeCred -{-| Add a 'C.StakeCredential' deregistration as a ShelleyRelatedCerticate to the transaction in Conway era. +{-| Add a 'C.StakeCredential' deregistration as a ShelleyRelatedCertificate to the transaction in Conway era. -} addShelleyStakeCredentialUnregistrationCertificateInConway :: forall era m. ( MonadBuildTx era m @@ -768,7 +768,7 @@ addShelleyStakeCredentialUnregistrationCertificateInConway stakeCred = do C.conwayEraOnwardsConstraints @era C.conwayBasedEra $ addCertificate $ C.ConwayCertificate C.conwayBasedEra $ TxCert.UnRegTxCert $ C.toShelleyStakeCredential stakeCred -{-| Add a 'C.StakeCredential' registration as a ConwayCerticate to the transaction. +{-| Add a 'C.StakeCredential' registration as a ConwayCertificate to the transaction. -} addConwayStakeCredentialRegistrationCertificate :: forall era m. ( C.IsConwayBasedEra era @@ -781,7 +781,7 @@ addConwayStakeCredentialRegistrationCertificate :: forall era m. addConwayStakeCredentialRegistrationCertificate stakeCred deposit = do addCertificate $ C.makeStakeAddressRegistrationCertificate $ C.StakeAddrRegistrationConway C.conwayBasedEra deposit stakeCred -{-| Delegate to some delegatee in a ConwayCerticate to the transaction. +{-| Delegate to some delegatee in a ConwayCertificate to the transaction. -} addConwayStakeCredentialDelegationCertificate :: forall era m. ( C.IsConwayBasedEra era @@ -796,7 +796,7 @@ addConwayStakeCredentialDelegationCertificate stakeCred delegatee = do C.StakeDelegationRequirementsConwayOnwards C.conwayBasedEra stakeCred delegatee addCertificate cert -{-| Register a 'C.StakeCredential' and delegate to some delegatee in a single ConwayCerticate to the transaction. +{-| Register a 'C.StakeCredential' and delegate to some delegatee in a single ConwayCertificate to the transaction. -} addConwayStakeCredentialRegistrationAndDelegationCertificate :: forall era m. ( C.IsConwayBasedEra era diff --git a/src/coin-selection/test/Spec.hs b/src/coin-selection/test/Spec.hs index 175ad707..8f64937b 100644 --- a/src/coin-selection/test/Spec.hs +++ b/src/coin-selection/test/Spec.hs @@ -66,6 +66,7 @@ import Data.List.NonEmpty (NonEmpty (..)) import qualified Data.Map as Map import qualified Data.Set as Set import qualified PlutusLedgerApi.V2 as PV2 +import qualified Scripts import qualified Test.QuickCheck.Gen as Gen import Test.Tasty (TestTree, defaultMain, testGroup) @@ -73,7 +74,6 @@ import Test.Tasty.HUnit (Assertion, testCase) import qualified Test.Tasty.QuickCheck as QC import Test.Tasty.QuickCheck (Property, classify, testProperty) -import qualified Scripts main :: IO () main = defaultMain tests