| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.DescribeEras
Synopsis
-
data
Witness
era
where
- Shelley :: Witness ( ShelleyEra StandardCrypto )
- Mary :: Witness ( MaryEra StandardCrypto )
- Allegra :: Witness ( AllegraEra StandardCrypto )
- Alonzo :: Witness ( AlonzoEra StandardCrypto )
- class Checks era where
- type DescribesShelley era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era)
- type DescribesAllegra era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era)
- type DescribesMary era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era)
- type DescribesAlonzo era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era)
- data StandardCrypto
Documentation
data Witness era where Source #
Witness of a valid (predefined) era
Constructors
| Shelley :: Witness ( ShelleyEra StandardCrypto ) | |
| Mary :: Witness ( MaryEra StandardCrypto ) | |
| Allegra :: Witness ( AllegraEra StandardCrypto ) | |
| Alonzo :: Witness ( AlonzoEra StandardCrypto ) |
class Checks era where Source #
If an instance for this class compiles, then era meets whatever superclass its given.
type DescribesShelley era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era) Source #
type DescribesAllegra era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era) Source #
type DescribesMary era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era) Source #
type DescribesAlonzo era = ( WellFormed era, Value era ~ Value era, TxBody era ~ TxBody era, TxOut era ~ TxOut era, Script era ~ Script era, AuxiliaryData era ~ AuxiliaryData era, PParams era ~ PParams era, PParamsDelta era ~ PParamsDelta era) Source #
data StandardCrypto Source #
The same crypto used on the net
Instances
| Crypto StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto Source # type ADDRHASH StandardCrypto Source # type DSIGN StandardCrypto Source # type KES StandardCrypto Source # type VRF StandardCrypto Source # |
|
| type VRF StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto |
|
| type KES StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto |
|
| type DSIGN StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto |
|
| type ADDRHASH StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto |
|
| type HASH StandardCrypto | |
|
Defined in Cardano.Ledger.Crypto |
|