Test.Cardano.Ledger.Dijkstra.Arbitrary
Contents
Methods
arbitrary ∷ Gen DijkstraGenesis Source #
shrink ∷ DijkstraGenesis → [DijkstraGenesis] Source #
arbitrary ∷ Gen (Tx DijkstraEra) Source #
shrink ∷ Tx DijkstraEra → [Tx DijkstraEra] Source #
arbitrary ∷ Gen (TxBody DijkstraEra) Source #
shrink ∷ TxBody DijkstraEra → [TxBody DijkstraEra] Source #
arbitrary ∷ Gen (TransitionConfig DijkstraEra) Source #
shrink ∷ TransitionConfig DijkstraEra → [TransitionConfig DijkstraEra] Source #
arbitrary ∷ Gen (DijkstraPParams Identity DijkstraEra) Source #
shrink ∷ DijkstraPParams Identity DijkstraEra → [DijkstraPParams Identity DijkstraEra] Source #
arbitrary ∷ Gen (DijkstraPParams StrictMaybe DijkstraEra) Source #
shrink ∷ DijkstraPParams StrictMaybe DijkstraEra → [DijkstraPParams StrictMaybe DijkstraEra] Source #
arbitrary ∷ Gen (UpgradeDijkstraPParams Identity DijkstraEra) Source #
shrink ∷ UpgradeDijkstraPParams Identity DijkstraEra → [UpgradeDijkstraPParams Identity DijkstraEra] Source #