cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.Arbitrary

Orphan instances

Arbitrary DijkstraGenesis Source # 
Instance details

Methods

arbitrary ∷ Gen DijkstraGenesis Source #

shrink ∷ DijkstraGenesis → [DijkstraGenesis] Source #

Arbitrary DijkstraDelegCert Source # 
Instance details

Methods

arbitrary ∷ Gen DijkstraDelegCert Source #

shrink ∷ DijkstraDelegCert → [DijkstraDelegCert] Source #

Arbitrary (Tx DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (Tx DijkstraEra) Source #

shrink ∷ Tx DijkstraEra → [Tx DijkstraEra] Source #

Arbitrary (TxBody DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (TxBody DijkstraEra) Source #

shrink ∷ TxBody DijkstraEra → [TxBody DijkstraEra] Source #

Arbitrary (DijkstraNativeScript DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraNativeScript DijkstraEra) Source #

shrink ∷ DijkstraNativeScript DijkstraEra → [DijkstraNativeScript DijkstraEra] Source #

Era era ⇒ Arbitrary (DijkstraTxCert era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraTxCert era) Source #

shrink ∷ DijkstraTxCert era → [DijkstraTxCert era] Source #

Arbitrary (TransitionConfig DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (TransitionConfig DijkstraEra) Source #

shrink ∷ TransitionConfig DijkstraEra → [TransitionConfig DijkstraEra] Source #

Arbitrary (DijkstraPParams Identity DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPParams Identity DijkstraEra) Source #

shrink ∷ DijkstraPParams Identity DijkstraEra → [DijkstraPParams Identity DijkstraEra] Source #

Arbitrary (DijkstraPParams StrictMaybe DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPParams StrictMaybe DijkstraEra) Source #

shrink ∷ DijkstraPParams StrictMaybe DijkstraEra → [DijkstraPParams StrictMaybe DijkstraEra] Source #

Arbitrary (UpgradeDijkstraPParams Identity DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (UpgradeDijkstraPParams Identity DijkstraEra) Source #

shrink ∷ UpgradeDijkstraPParams Identity DijkstraEra → [UpgradeDijkstraPParams Identity DijkstraEra] Source #

(∀ a b. (Arbitrary a, Arbitrary b) ⇒ Arbitrary (f a b)) ⇒ Arbitrary (DijkstraPlutusPurpose f DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPlutusPurpose f DijkstraEra) Source #

shrink ∷ DijkstraPlutusPurpose f DijkstraEra → [DijkstraPlutusPurpose f DijkstraEra] Source #