Merge #2263

2263: Add API support for queries for protocol params. r=Jimbo4350 a=dcoutts

Several kinds of params:
1. current values of updateable protocol params
2. any pending proposed param updates
3. the non-updateable params fixed in the (Shelley) genesis file


Co-authored-by: Duncan Coutts <duncan@well-typed.com>

cardano-api/src/Cardano/Api/Address.hs

@@ -424,12 +424,12 @@ data StakeAddress where
 data PaymentCredential
  = PaymentCredentialByKey (Hash PaymentKey)
  | PaymentCredentialByScript ScriptHash
- deriving (Eq, Show)
+ deriving (Eq, Ord, Show)
 
 data StakeCredential
  = StakeCredentialByKey (Hash StakeKey)
  | StakeCredentialByScript ScriptHash
- deriving (Eq, Show)
+ deriving (Eq, Ord, Show)
 
 data StakeAddressReference
  = StakeAddressByValue StakeCredential

cardano-api/src/Cardano/Api/NetworkId.hs

@@ -5,12 +5,14 @@ module Cardano.Api.NetworkId (
  NetworkId(..),
  NetworkMagic(..),
  toNetworkMagic,
+ mainnetNetworkMagic,
 
  -- * Internal conversion functions
  toByronProtocolMagicId,
  toByronNetworkMagic,
  toByronRequiresNetworkMagic,
  toShelleyNetwork,
+ fromShelleyNetwork,
  ) where
 
 import Prelude
@@ -35,9 +37,12 @@ data NetworkId = Mainnet
 
 toNetworkMagic :: NetworkId -> NetworkMagic
 toNetworkMagic (Testnet nm) = nm
-toNetworkMagic Mainnet = NetworkMagic
- . Byron.unProtocolMagicId
- $ Byron.mainnetProtocolMagicId
+toNetworkMagic Mainnet = mainnetNetworkMagic
+
+mainnetNetworkMagic :: NetworkMagic
+mainnetNetworkMagic = NetworkMagic
+ . Byron.unProtocolMagicId
+ $ Byron.mainnetProtocolMagicId
 
 
 -- ----------------------------------------------------------------------------
@@ -65,3 +70,9 @@ toShelleyNetwork :: NetworkId -> Shelley.Network
 toShelleyNetwork Mainnet = Shelley.Mainnet
 toShelleyNetwork (Testnet _) = Shelley.Testnet
 
+fromShelleyNetwork :: Shelley.Network -> NetworkMagic -> NetworkId
+fromShelleyNetwork Shelley.Testnet nm = Testnet nm
+fromShelleyNetwork Shelley.Mainnet nm
+ | nm == mainnetNetworkMagic = Mainnet
+ | otherwise = error "fromShelleyNetwork Mainnet: wrong mainnet network magic"
+