| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.CanonicalState.Namespace
Documentation
type family NamespaceEra (era ∷ Symbol) 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 #