Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
shelleyBasedEraTestConstraints :: ShelleyBasedEra era -> ((Era (ShelleyLedgerEra era), Arbitrary (PParamsHKD StrictMaybe (ShelleyLedgerEra era)), Arbitrary (PParamsHKD Identity (ShelleyLedgerEra era))) => a) -> a Source #
shelleyToBabbageEraTestConstraints :: ShelleyToBabbageEra era -> ((Era (ShelleyLedgerEra era), Arbitrary (PParamsHKD StrictMaybe (ShelleyLedgerEra era)), Arbitrary (PParamsHKD Identity (ShelleyLedgerEra era))) => a) -> a Source #
conwayEraOnwardsTestConstraints :: ConwayEraOnwards era -> ((Era (ShelleyLedgerEra era), Arbitrary (PParamsHKD StrictMaybe (ShelleyLedgerEra era)), Arbitrary (PParamsHKD Identity (ShelleyLedgerEra era))) => a) -> a Source #