Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 |
Arbitrary ColdCommitteeCredential Source # | Since: 1.0.1 |
Arbitrary Committee Source # | Does not shrink the quorum, as this is surprisingly hard to do sensibly. We
assume the quorum is in the interval Since: 1.0.1 |
Arbitrary Constitution Source # | Since: 1.0.1 |
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 |
Arbitrary DRepCredential Source # | Since: 1.0.1 |
Arbitrary Delegatee Source # | Since: 1.0.1 |
Arbitrary GovernanceAction Source # | Since: 1.0.1 |
Arbitrary GovernanceActionId Source # | Since: 1.0.1 |
Arbitrary HotCommitteeCredential Source # | Since: 1.0.1 |
Arbitrary ProposalProcedure Source # | Since: 1.0.1 |
Arbitrary ProtocolVersion Source # | Since: 1.0.1 |
Arbitrary ScriptContext Source # | Since: 1.0.1 |
Arbitrary ScriptInfo Source # | Since: 1.0.1 |
Arbitrary ScriptPurpose Source # | Since: 1.0.1 |
Arbitrary TxCert Source # | Since: 1.0.1 |
Arbitrary TxInInfo Source # | Since: 1.0.1 |
Arbitrary TxInfo Source # | Since: 1.0.1 |
Arbitrary Vote Source # | Does not shrink (as there's not much point). Since: 1.0.1 |
Arbitrary Voter Source # | Since: 1.0.1 |
Arbitrary TxId Source # | Since: 1.0.1 |
Arbitrary TxOutRef Source # | Since: 1.0.1 |
CoArbitrary ChangedParameters Source # | Since: 1.0.1 |
coarbitrary :: ChangedParameters -> Gen b -> Gen b | |
CoArbitrary ColdCommitteeCredential Source # | Since: 1.0.1 |
coarbitrary :: ColdCommitteeCredential -> Gen b -> Gen b | |
CoArbitrary Committee Source # | Since: 1.0.1 |
coarbitrary :: Committee -> Gen b -> Gen b | |
CoArbitrary Constitution Source # | Since: 1.0.1 |
coarbitrary :: Constitution -> Gen b -> Gen b | |
CoArbitrary DRep Source # | since 1.0.0 |
coarbitrary :: DRep -> Gen b -> Gen b | |
CoArbitrary DRepCredential Source # | Since: 1.0.1 |
coarbitrary :: DRepCredential -> Gen b -> Gen b | |
CoArbitrary Delegatee Source # | Since: 1.0.1 |
coarbitrary :: Delegatee -> Gen b -> Gen b | |
CoArbitrary GovernanceAction Source # | Since: 1.0.1 |
coarbitrary :: GovernanceAction -> Gen b -> Gen b | |
CoArbitrary GovernanceActionId Source # | Since: 1.0.1 |
coarbitrary :: GovernanceActionId -> Gen b -> Gen b | |
CoArbitrary HotCommitteeCredential Source # | Since: 1.0.1 |
coarbitrary :: HotCommitteeCredential -> Gen b -> Gen b | |
CoArbitrary ProposalProcedure Source # | Since: 1.0.1 |
coarbitrary :: ProposalProcedure -> Gen b -> Gen b | |
CoArbitrary ProtocolVersion Source # | Since: 1.0.1 |
coarbitrary :: ProtocolVersion -> Gen b -> Gen b | |
CoArbitrary ScriptPurpose Source # | Since: 1.0.1 |
coarbitrary :: ScriptPurpose -> Gen b -> Gen b | |
CoArbitrary TxCert Source # | Since: 1.0.1 |
coarbitrary :: TxCert -> Gen b -> Gen b | |
CoArbitrary Vote Source # | Since: 1.0.1 |
coarbitrary :: Vote -> Gen b -> Gen b | |
CoArbitrary Voter Source # | Since: 1.0.1 |
coarbitrary :: Voter -> Gen b -> Gen b | |
CoArbitrary TxId Source # | Since: 1.0.1 |
coarbitrary :: TxId -> Gen b -> Gen b | |
CoArbitrary TxOutRef Source # | Since: 1.0.1 |
coarbitrary :: TxOutRef -> Gen b -> Gen b | |
Function ChangedParameters Source # | Since: 1.0.1 |
function :: (ChangedParameters -> b) -> ChangedParameters :-> b | |
Function ColdCommitteeCredential Source # | Since: 1.0.1 |
function :: (ColdCommitteeCredential -> b) -> ColdCommitteeCredential :-> b | |
Function Committee Source # | Since: 1.0.1 |
function :: (Committee -> b) -> Committee :-> b | |
Function Constitution Source # | Since: 1.0.1 |
function :: (Constitution -> b) -> Constitution :-> b | |
Function DRep Source # | Since: 1.0.1 |
function :: (DRep -> b) -> DRep :-> b | |
Function DRepCredential Source # | Since: 1.0.1 |
function :: (DRepCredential -> b) -> DRepCredential :-> b | |
Function Delegatee Source # | Since: 1.0.1 |
function :: (Delegatee -> b) -> Delegatee :-> b | |
Function GovernanceAction Source # | Since: 1.0.1 |
function :: (GovernanceAction -> b) -> GovernanceAction :-> b | |
Function GovernanceActionId Source # | Since: 1.0.1 |
function :: (GovernanceActionId -> b) -> GovernanceActionId :-> b | |
Function HotCommitteeCredential Source # | Since: 1.0.1 |
function :: (HotCommitteeCredential -> b) -> HotCommitteeCredential :-> b | |
Function ProposalProcedure Source # | Since: 1.0.1 |
function :: (ProposalProcedure -> b) -> ProposalProcedure :-> b | |
Function ProtocolVersion Source # | Since: 1.0.1 |
function :: (ProtocolVersion -> b) -> ProtocolVersion :-> b | |
Function ScriptPurpose Source # | Since: 1.0.1 |
function :: (ScriptPurpose -> b) -> ScriptPurpose :-> b | |
Function TxCert Source # | Since: 1.0.1 |
function :: (TxCert -> b) -> TxCert :-> b | |
Function Vote Source # | Since: 1.0.1 |
function :: (Vote -> b) -> Vote :-> b | |
Function Voter Source # | Since: 1.0.1 |
function :: (Voter -> b) -> Voter :-> b | |
Function TxId Source # | Since: 1.0.1 |
function :: (TxId -> b) -> TxId :-> b | |
Function TxOutRef Source # | Since: 1.0.1 |
function :: (TxOutRef -> b) -> TxOutRef :-> b |