| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Huddle
Documentation
class (KnownSymbol name, Era era) ⇒ HuddleRule (name ∷ Symbol) era where Source #
Methods
huddleRule ∷ Proxy era → Rule Source #
Instances
class (KnownSymbol name, Era era) ⇒ HuddleGroup (name ∷ Symbol) era where Source #
class (KnownSymbol name, Era era) ⇒ HuddleGRule (name ∷ Symbol) era where Source #
Methods
huddleGRule ∷ Proxy era → GRuleDef Source #
class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) ⇒ Era era Source #