plutarch-orphanage-1.0.3
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V3.Orphans

Synopsis

Documentation

data MintValue Source #

A Value that contains only non-zero amounts but does not have zero Ada entry

Note

This is designed to act as a modifier, and thus, we expose the constructor even though it preserves invariants. If you use the constructor directly, be very certain that the Value being wrapped satisfies the invariants described above: failing to do so means all guarantees of this type are off the table.

@since WIP

Instances

Instances details
Arbitrary MintValue Source #

@since WIP

Instance details

Defined in PlutusLedgerApi.V3.Orphans.Value

Methods

arbitrary :: Gen MintValue

shrink :: MintValue -> [MintValue]

CoArbitrary MintValue Source #

@since WIP

Instance details

Defined in PlutusLedgerApi.V3.Orphans.Value

Methods

coarbitrary :: MintValue -> Gen b -> Gen b

Function MintValue Source #

@since WIP

Instance details

Defined in PlutusLedgerApi.V3.Orphans.Value

Methods

function :: (MintValue -> b) -> MintValue :-> b

Show MintValue Source #

@since WIP

Instance details

Defined in PlutusLedgerApi.V3.Orphans.Value

Methods

showsPrec :: Int -> MintValue -> ShowS Source #

show :: MintValue -> String Source #

showList :: [MintValue] -> ShowS Source #

Eq MintValue Source #

@since WIP

Instance details

Defined in PlutusLedgerApi.V3.Orphans.Value

Methods

(==) :: MintValue -> MintValue -> Bool Source #

(/=) :: MintValue -> MintValue -> Bool Source #

getMintValue :: MintValue -> Value Source #

@since WIP

Orphan instances

Arbitrary ChangedParameters Source #

Currently only generates a map with integer keys in the range 0-33, with random values. Does not shrink.

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ChangedParameters

shrink :: ChangedParameters -> [ChangedParameters]

Arbitrary ColdCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ColdCommitteeCredential

shrink :: ColdCommitteeCredential -> [ColdCommitteeCredential]

Arbitrary Committee Source #

Does not shrink the quorum, as this is surprisingly hard to do sensibly. We assume the quorum is in the interval (0, 1] (meaning anywhere from a single voice to unanimity).

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen Committee

shrink :: Committee -> [Committee]

Arbitrary Constitution Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen Constitution

shrink :: Constitution -> [Constitution]

Arbitrary DRep Source #

This instance has equal chance of generating always-abstain, always-no-confidence and credential 'arms'. Use this instance with this in mind.

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen DRep

shrink :: DRep -> [DRep]

Arbitrary DRepCredential Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen DRepCredential

shrink :: DRepCredential -> [DRepCredential]

Arbitrary Delegatee Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen Delegatee

shrink :: Delegatee -> [Delegatee]

Arbitrary GovernanceAction Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen GovernanceAction

shrink :: GovernanceAction -> [GovernanceAction]

Arbitrary GovernanceActionId Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen GovernanceActionId

shrink :: GovernanceActionId -> [GovernanceActionId]

Arbitrary HotCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen HotCommitteeCredential

shrink :: HotCommitteeCredential -> [HotCommitteeCredential]

Arbitrary ProposalProcedure Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ProposalProcedure

shrink :: ProposalProcedure -> [ProposalProcedure]

Arbitrary ProtocolVersion Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ProtocolVersion

shrink :: ProtocolVersion -> [ProtocolVersion]

Arbitrary ScriptContext Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ScriptContext

shrink :: ScriptContext -> [ScriptContext]

Arbitrary ScriptInfo Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ScriptInfo

shrink :: ScriptInfo -> [ScriptInfo]

Arbitrary ScriptPurpose Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen ScriptPurpose

shrink :: ScriptPurpose -> [ScriptPurpose]

Arbitrary TxCert Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen TxCert

shrink :: TxCert -> [TxCert]

Arbitrary TxInInfo Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen TxInInfo

shrink :: TxInInfo -> [TxInInfo]

Arbitrary TxInfo Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen TxInfo

shrink :: TxInfo -> [TxInfo]

Arbitrary Vote Source #

Does not shrink (as there's not much point).

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen Vote

shrink :: Vote -> [Vote]

Arbitrary Voter Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen Voter

shrink :: Voter -> [Voter]

Arbitrary TxId Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen TxId

shrink :: TxId -> [TxId]

Arbitrary TxOutRef Source #

Since: 1.0.1

Instance details

Methods

arbitrary :: Gen TxOutRef

shrink :: TxOutRef -> [TxOutRef]

CoArbitrary ChangedParameters Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: ChangedParameters -> Gen b -> Gen b

CoArbitrary ColdCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: ColdCommitteeCredential -> Gen b -> Gen b

CoArbitrary Committee Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: Committee -> Gen b -> Gen b

CoArbitrary Constitution Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: Constitution -> Gen b -> Gen b

CoArbitrary DRep Source #

since 1.0.0

Instance details

Methods

coarbitrary :: DRep -> Gen b -> Gen b

CoArbitrary DRepCredential Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: DRepCredential -> Gen b -> Gen b

CoArbitrary Delegatee Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: Delegatee -> Gen b -> Gen b

CoArbitrary GovernanceAction Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: GovernanceAction -> Gen b -> Gen b

CoArbitrary GovernanceActionId Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: GovernanceActionId -> Gen b -> Gen b

CoArbitrary HotCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: HotCommitteeCredential -> Gen b -> Gen b

CoArbitrary ProposalProcedure Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: ProposalProcedure -> Gen b -> Gen b

CoArbitrary ProtocolVersion Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: ProtocolVersion -> Gen b -> Gen b

CoArbitrary ScriptPurpose Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: ScriptPurpose -> Gen b -> Gen b

CoArbitrary TxCert Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: TxCert -> Gen b -> Gen b

CoArbitrary Vote Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: Vote -> Gen b -> Gen b

CoArbitrary Voter Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: Voter -> Gen b -> Gen b

CoArbitrary TxId Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: TxId -> Gen b -> Gen b

CoArbitrary TxOutRef Source #

Since: 1.0.1

Instance details

Methods

coarbitrary :: TxOutRef -> Gen b -> Gen b

Function ChangedParameters Source #

Since: 1.0.1

Instance details

Methods

function :: (ChangedParameters -> b) -> ChangedParameters :-> b

Function ColdCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

function :: (ColdCommitteeCredential -> b) -> ColdCommitteeCredential :-> b

Function Committee Source #

Since: 1.0.1

Instance details

Methods

function :: (Committee -> b) -> Committee :-> b

Function Constitution Source #

Since: 1.0.1

Instance details

Methods

function :: (Constitution -> b) -> Constitution :-> b

Function DRep Source #

Since: 1.0.1

Instance details

Methods

function :: (DRep -> b) -> DRep :-> b

Function DRepCredential Source #

Since: 1.0.1

Instance details

Methods

function :: (DRepCredential -> b) -> DRepCredential :-> b

Function Delegatee Source #

Since: 1.0.1

Instance details

Methods

function :: (Delegatee -> b) -> Delegatee :-> b

Function GovernanceAction Source #

Since: 1.0.1

Instance details

Methods

function :: (GovernanceAction -> b) -> GovernanceAction :-> b

Function GovernanceActionId Source #

Since: 1.0.1

Instance details

Methods

function :: (GovernanceActionId -> b) -> GovernanceActionId :-> b

Function HotCommitteeCredential Source #

Since: 1.0.1

Instance details

Methods

function :: (HotCommitteeCredential -> b) -> HotCommitteeCredential :-> b

Function ProposalProcedure Source #

Since: 1.0.1

Instance details

Methods

function :: (ProposalProcedure -> b) -> ProposalProcedure :-> b

Function ProtocolVersion Source #

Since: 1.0.1

Instance details

Methods

function :: (ProtocolVersion -> b) -> ProtocolVersion :-> b

Function ScriptPurpose Source #

Since: 1.0.1

Instance details

Methods

function :: (ScriptPurpose -> b) -> ScriptPurpose :-> b

Function TxCert Source #

Since: 1.0.1

Instance details

Methods

function :: (TxCert -> b) -> TxCert :-> b

Function Vote Source #

Since: 1.0.1

Instance details

Methods

function :: (Vote -> b) -> Vote :-> b

Function Voter Source #

Since: 1.0.1

Instance details

Methods

function :: (Voter -> b) -> Voter :-> b

Function TxId Source #

Since: 1.0.1

Instance details

Methods

function :: (TxId -> b) -> TxId :-> b

Function TxOutRef Source #

Since: 1.0.1

Instance details

Methods

function :: (TxOutRef -> b) -> TxOutRef :-> b