cardano-api:gen
Safe HaskellNone
LanguageHaskell2010

Test.Gen.Cardano.Api.Orphans

Documentation

obtainArbitraryConstraints :: ShelleyBasedEra era -> ((Arbitrary (ShelleyPParams Identity (ShelleyLedgerEra era)), Arbitrary (VotingProcedures (ShelleyLedgerEra era)), Arbitrary (ProposalProcedure (ShelleyLedgerEra era))) => a) -> a Source #

Orphan instances

Arbitrary ByteString Source # 
Instance details

Methods

arbitrary :: Gen ByteString

shrink :: ByteString -> [ByteString]

Arbitrary CoinPerWord Source # 
Instance details

Methods

arbitrary :: Gen CoinPerWord

shrink :: CoinPerWord -> [CoinPerWord]

Arbitrary OrdExUnits Source # 
Instance details

Methods

arbitrary :: Gen OrdExUnits

shrink :: OrdExUnits -> [OrdExUnits]

Arbitrary CoinPerByte Source # 
Instance details

Methods

arbitrary :: Gen CoinPerByte

shrink :: CoinPerByte -> [CoinPerByte]

Arbitrary Version Source # 
Instance details

Methods

arbitrary :: Gen Version

shrink :: Version -> [Version]

Arbitrary GovActionId Source # 
Instance details

Methods

arbitrary :: Gen GovActionId

shrink :: GovActionId -> [GovActionId]

Arbitrary GovActionIx Source # 
Instance details

Methods

arbitrary :: Gen GovActionIx

shrink :: GovActionIx -> [GovActionIx]

Arbitrary Vote Source # 
Instance details

Methods

arbitrary :: Gen Vote

shrink :: Vote -> [Vote]

Arbitrary Voter Source # 
Instance details

Methods

arbitrary :: Gen Voter

shrink :: Voter -> [Voter]

Arbitrary DRepVotingThresholds Source # 
Instance details

Methods

arbitrary :: Gen DRepVotingThresholds

shrink :: DRepVotingThresholds -> [DRepVotingThresholds]

Arbitrary PoolVotingThresholds Source #

Thresholds

Instance details

Methods

arbitrary :: Gen PoolVotingThresholds

shrink :: PoolVotingThresholds -> [PoolVotingThresholds]

Arbitrary Delegatee Source # 
Instance details

Methods

arbitrary :: Gen Delegatee

shrink :: Delegatee -> [Delegatee]

Arbitrary RewardAccount Source # 
Instance details

Methods

arbitrary :: Gen RewardAccount

shrink :: RewardAccount -> [RewardAccount]

Arbitrary Anchor Source # 
Instance details

Methods

arbitrary :: Gen Anchor

shrink :: Anchor -> [Anchor]

Arbitrary DnsName Source # 
Instance details

Methods

arbitrary :: Gen DnsName

shrink :: DnsName -> [DnsName]

Arbitrary Network Source # 
Instance details

Methods

arbitrary :: Gen Network

shrink :: Network -> [Network]

Arbitrary NonNegativeInterval Source # 
Instance details

Methods

arbitrary :: Gen NonNegativeInterval

shrink :: NonNegativeInterval -> [NonNegativeInterval]

Arbitrary Nonce Source # 
Instance details

Methods

arbitrary :: Gen Nonce

shrink :: Nonce -> [Nonce]

Arbitrary Port Source # 
Instance details

Methods

arbitrary :: Gen Port

shrink :: Port -> [Port]

Arbitrary ProtVer Source # 
Instance details

Methods

arbitrary :: Gen ProtVer

shrink :: ProtVer -> [ProtVer]

Arbitrary UnitInterval Source # 
Instance details

Methods

arbitrary :: Gen UnitInterval

shrink :: UnitInterval -> [UnitInterval]

Arbitrary Url Source # 
Instance details

Methods

arbitrary :: Gen Url

shrink :: Url -> [Url]

Arbitrary Coin Source # 
Instance details

Methods

arbitrary :: Gen Coin

shrink :: Coin -> [Coin]

Arbitrary DeltaCoin Source # 
Instance details

Methods

arbitrary :: Gen DeltaCoin

shrink :: DeltaCoin -> [DeltaCoin]

Arbitrary DRep Source # 
Instance details

Methods

arbitrary :: Gen DRep

shrink :: DRep -> [DRep]

Arbitrary ScriptHash Source # 
Instance details

Methods

arbitrary :: Gen ScriptHash

shrink :: ScriptHash -> [ScriptHash]

Arbitrary CostModel Source # 
Instance details

Methods

arbitrary :: Gen CostModel

shrink :: CostModel -> [CostModel]

Arbitrary CostModels Source # 
Instance details

Methods

arbitrary :: Gen CostModels

shrink :: CostModels -> [CostModels]

Arbitrary ExUnits Source # 
Instance details

Methods

arbitrary :: Gen ExUnits

shrink :: ExUnits -> [ExUnits]

Arbitrary Prices Source # 
Instance details

Methods

arbitrary :: Gen Prices

shrink :: Prices -> [Prices]

Arbitrary PoolMetadata Source # 
Instance details

Methods

arbitrary :: Gen PoolMetadata

shrink :: PoolMetadata -> [PoolMetadata]

Arbitrary PoolParams Source # 
Instance details

Methods

arbitrary :: Gen PoolParams

shrink :: PoolParams -> [PoolParams]

Arbitrary StakePoolRelay Source # 
Instance details

Methods

arbitrary :: Gen StakePoolRelay

shrink :: StakePoolRelay -> [StakePoolRelay]

Arbitrary TxId Source # 
Instance details

Methods

arbitrary :: Gen TxId

shrink :: TxId -> [TxId]

Arbitrary AssetName Source # 
Instance details

Methods

arbitrary :: Gen AssetName

shrink :: AssetName -> [AssetName]

Arbitrary MultiAsset Source # 
Instance details

Methods

arbitrary :: Gen MultiAsset

shrink :: MultiAsset -> [MultiAsset]

Arbitrary PolicyID Source # 
Instance details

Methods

arbitrary :: Gen PolicyID

shrink :: PolicyID -> [PolicyID]

Arbitrary MIRPot Source # 
Instance details

Methods

arbitrary :: Gen MIRPot

shrink :: MIRPot -> [MIRPot]

Arbitrary MIRTarget Source # 
Instance details

Methods

arbitrary :: Gen MIRTarget

shrink :: MIRTarget -> [MIRTarget]

Arbitrary EpochInterval Source # 
Instance details

Methods

arbitrary :: Gen EpochInterval

shrink :: EpochInterval -> [EpochInterval]

Arbitrary EpochNo Source # 
Instance details

Methods

arbitrary :: Gen EpochNo

shrink :: EpochNo -> [EpochNo]

Arbitrary IPv4 Source # 
Instance details

Methods

arbitrary :: Gen IPv4

shrink :: IPv4 -> [IPv4]

Arbitrary IPv6 Source # 
Instance details

Methods

arbitrary :: Gen IPv6

shrink :: IPv6 -> [IPv6]

Era era => Arbitrary (Constitution era) Source # 
Instance details

Methods

arbitrary :: Gen (Constitution era)

shrink :: Constitution era -> [Constitution era]

(Era era, Arbitrary (PParamsUpdate era)) => Arbitrary (GovAction era) Source # 
Instance details

Methods

arbitrary :: Gen (GovAction era)

shrink :: GovAction era -> [GovAction era]

(Era era, Arbitrary (PParamsUpdate era)) => Arbitrary (ProposalProcedure era) Source # 
Instance details

Methods

arbitrary :: Gen (ProposalProcedure era)

shrink :: ProposalProcedure era -> [ProposalProcedure era]

Era era => Arbitrary (VotingProcedure era) Source # 
Instance details

Methods

arbitrary :: Gen (VotingProcedure era)

shrink :: VotingProcedure era -> [VotingProcedure era]

Era era => Arbitrary (VotingProcedures era) Source # 
Instance details

Methods

arbitrary :: Gen (VotingProcedures era)

shrink :: VotingProcedures era -> [VotingProcedures era]

(Era era, Arbitrary (PParamsHKD Identity era)) => Arbitrary (PParams era) Source # 
Instance details

Methods

arbitrary :: Gen (PParams era)

shrink :: PParams era -> [PParams era]

(Era era, Arbitrary (PParamsHKD StrictMaybe era)) => Arbitrary (PParamsUpdate era) Source # 
Instance details

Methods

arbitrary :: Gen (PParamsUpdate era)

shrink :: PParamsUpdate era -> [PParamsUpdate era]

Arbitrary (Credential r) Source # 
Instance details

Methods

arbitrary :: Gen (Credential r)

shrink :: Credential r -> [Credential r]

Arbitrary (NoUpdate a) Source # 
Instance details

Methods

arbitrary :: Gen (NoUpdate a)

shrink :: NoUpdate a -> [NoUpdate a]

Arbitrary (KeyHash r) Source # 
Instance details

Methods

arbitrary :: Gen (KeyHash r)

shrink :: KeyHash r -> [KeyHash r]

Arbitrary (SafeHash i) Source # 
Instance details

Methods

arbitrary :: Gen (SafeHash i)

shrink :: SafeHash i -> [SafeHash i]

Arbitrary (VRFVerKeyHash r) Source # 
Instance details

Methods

arbitrary :: Gen (VRFVerKeyHash r)

shrink :: VRFVerKeyHash r -> [VRFVerKeyHash r]

Arbitrary e => Arbitrary (StrictMaybe e) Source # 
Instance details

Methods

arbitrary :: Gen (StrictMaybe e)

shrink :: StrictMaybe e -> [StrictMaybe e]

Arbitrary e => Arbitrary (StrictSeq e) Source # 
Instance details

Methods

arbitrary :: Gen (StrictSeq e)

shrink :: StrictSeq e -> [StrictSeq e]

Arbitrary (AlonzoPParams StrictMaybe era) Source # 
Instance details

Methods

arbitrary :: Gen (AlonzoPParams StrictMaybe era)

shrink :: AlonzoPParams StrictMaybe era -> [AlonzoPParams StrictMaybe era]

Arbitrary (AlonzoPParams Identity era) Source #

Alonzo PParams

Instance details

Methods

arbitrary :: Gen (AlonzoPParams Identity era)

shrink :: AlonzoPParams Identity era -> [AlonzoPParams Identity era]

Arbitrary (BabbagePParams StrictMaybe era) Source # 
Instance details

Methods

arbitrary :: Gen (BabbagePParams StrictMaybe era)

shrink :: BabbagePParams StrictMaybe era -> [BabbagePParams StrictMaybe era]

Arbitrary (BabbagePParams Identity era) Source #

Babbage PParams

Instance details

Methods

arbitrary :: Gen (BabbagePParams Identity era)

shrink :: BabbagePParams Identity era -> [BabbagePParams Identity era]

Arbitrary (GovPurposeId p era) Source # 
Instance details

Methods

arbitrary :: Gen (GovPurposeId p era)

shrink :: GovPurposeId p era -> [GovPurposeId p era]

Era era => Arbitrary (ConwayPParams StrictMaybe era) Source # 
Instance details

Methods

arbitrary :: Gen (ConwayPParams StrictMaybe era)

shrink :: ConwayPParams StrictMaybe era -> [ConwayPParams StrictMaybe era]

Era era => Arbitrary (ConwayPParams Identity era) Source #

Conway PParams

Instance details

Methods

arbitrary :: Gen (ConwayPParams Identity era)

shrink :: ConwayPParams Identity era -> [ConwayPParams Identity era]

Era era => Arbitrary (ShelleyPParams StrictMaybe era) Source # 
Instance details

Methods

arbitrary :: Gen (ShelleyPParams StrictMaybe era)

shrink :: ShelleyPParams StrictMaybe era -> [ShelleyPParams StrictMaybe era]

Era era => Arbitrary (ShelleyPParams Identity era) Source #

Shelley-based PParams

Instance details

Methods

arbitrary :: Gen (ShelleyPParams Identity era)

shrink :: ShelleyPParams Identity era -> [ShelleyPParams Identity era]

Arbitrary (HKD f a) => Arbitrary (THKD t f a) Source # 
Instance details

Methods

arbitrary :: Gen (THKD t f a)

shrink :: THKD t f a -> [THKD t f a]