| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Era.Rules
Documentation
data EraRuleProof era (rs ∷ [Symbol]) where Source #
Constructors
| EraRuleProofEmpty ∷ ∀ era. EraRuleProof era ('[] ∷ [Symbol]) | |
| EraRuleProofHead ∷ ∀ (r ∷ Symbol) era (xs ∷ [Symbol]). (Show (EraRuleFailure r era), Eq (EraRuleFailure r era), EncCBOR (EraRuleFailure r era), DecCBOR (EraRuleFailure r era), Arbitrary (EraRuleFailure r era), EraRuleFailure r era ~ PredicateFailure (EraRule r era), KnownSymbol r) ⇒ Proxy r → EraRuleProof era xs → EraRuleProof era (r ': xs) |
class UnliftRules era (rs ∷ [Symbol]) where Source #
Methods
unliftEraRuleProofs ∷ EraRuleProof era rs Source #
Instances
| UnliftRules era ('[] ∷ [Symbol]) Source # | |
Defined in Test.Cardano.Ledger.Era.Rules Methods unliftEraRuleProofs ∷ EraRuleProof era ('[] ∷ [Symbol]) Source # | |
| (Show (EraRuleFailure r era), Eq (EraRuleFailure r era), EncCBOR (EraRuleFailure r era), DecCBOR (EraRuleFailure r era), Arbitrary (EraRuleFailure r era), EraRuleFailure r era ~ PredicateFailure (EraRule r era), UnliftRules era rs, KnownSymbol r) ⇒ UnliftRules era (r ': rs) Source # | |
Defined in Test.Cardano.Ledger.Era.Rules Methods unliftEraRuleProofs ∷ EraRuleProof era (r ': rs) Source # | |