Fix various CardanoConfiguration types to align with cardano-ledger

Author: Jimbo4350

nix/.stack.nix/cardano-shell.nix

@@ -100,15 +100,15 @@ data Initializer = Initializer
 
 -- | These options determine balances of nodes specific for testnet.
 data TestBalance = TestBalance
-    { tePoors          :: !Int
+    { tePoors          :: !Word
       -- ^ Number of poor nodes (with small balance).
     , teRichmen        :: !Word
       -- ^ Number of rich nodes (with huge balance).
     , teRichmenShare   :: !Double
       -- ^ Portion of stake owned by all richmen together.
     , teUseHDAddresses :: !Bool
       -- ^ Whether generate plain addresses or with hd payload.
-    , teTotalBalance   :: !Int
+    , teTotalBalance   :: !Word64
       -- ^ Total balance owned by these nodes.
     } deriving (Eq, Show)
 
@@ -126,41 +126,41 @@ data ModuleAutoRestart
     deriving (Eq, Show)
 
 data BlockVersionData = BlockVersionData
-    { bvdScriptVersion     :: !Int
+    { bvdScriptVersion     :: !Word16
     , bvdSlotDuration      :: !Int
-    , bvdMaxBlockSize      :: !Int
-    , bvdMaxHeaderSize     :: !Int
-    , bvdMaxTxSize         :: !Int
-    , bvdMaxProposalSize   :: !Int
-    , bvdMpcThd            :: !Float
-    , bvdHeavyDelThd       :: !Float
-    , bvdUpdateVoteThd     :: !Float
-    , bvdUpdateProposalThd :: !Float
-    , bvdUpdateImplicit    :: !Int
+    , bvdMaxBlockSize      :: !Natural
+    , bvdMaxHeaderSize     :: !Natural
+    , bvdMaxTxSize         :: !Natural
+    , bvdMaxProposalSize   :: !Natural
+    , bvdMpcThd            :: !Word64
+    , bvdHeavyDelThd       :: !Word64
+    , bvdUpdateVoteThd     :: !Word64
+    , bvdUpdateProposalThd :: !Word64
+    , bvdUpdateImplicit    :: !Word64
     , bvdSoftforkRule      :: !SoftForkRule
     , bvdTXFeePolicy       :: !TxFeePolicy
-    , bvdUnlockStakeEpoch  :: !Integer
+    , bvdUnlockStakeEpoch  :: !Word64
     } deriving (Eq, Show)
 
 data SoftForkRule = SoftForkRule
-    { sfrInitThd      :: !Float
-    , sfrMinThd       :: !Float
-    , sfrThdDecrement :: !Float
+    { sfrInitThd      :: !Word64
+    , sfrMinThd       :: !Word64
+    , sfrThdDecrement :: !Word64
     } deriving (Eq, Show)
 
 data TxFeePolicy = TxFeePolicy
     { txfTXSizeLinear :: !TxSizeLinear
     } deriving (Eq, Show)
 
 data TxSizeLinear = TxSizeLinear
-    { txsA :: !Int
-    , txsB :: !Float
+    { txsA :: !Word64
+    , txsB :: !Word64
     } deriving (Eq, Show)
 
 data ProtocolConstants = ProtocolConstants
-    { prK             :: !Int
+    { prK             :: !Word64
     -- ^ Security parameter from the paper.
-    , prProtocolMagic :: !Int
+    , prProtocolMagic :: !Word32
     -- ^ Magic constant for separating real/testnet.
     } deriving (Eq, Show)
 

nix/.stack.nix/default.nix

@@ -101,7 +101,7 @@ mainnetConfiguration =
                 , geSrc      = "mainnet-genesis.json"
                 , geFileHash = "5f20df933584822601f9e3f8c024eb5eb252fe8cefb24d1317dc3d432e940ebb"
                 }
-          , coRequiresNetworkMagic = "NetworkMainOrStage"
+          , coRequiresNetworkMagic = "RequiresNoMagic"
           , coDBSerializeVersion   = 0
           }
     , ccNTP =
@@ -249,23 +249,23 @@ devConfiguration =
                   , bvdMaxHeaderSize     = 2000000
                   , bvdMaxTxSize         = 4096
                   , bvdMaxProposalSize   = 700
-                  , bvdMpcThd            = 0.01
-                  , bvdHeavyDelThd       = 0.005
-                  , bvdUpdateVoteThd     = 0.001
-                  , bvdUpdateProposalThd = 0.1
+                  , bvdMpcThd            = 10
+                  , bvdHeavyDelThd       = 5
+                  , bvdUpdateVoteThd     = 1
+                  , bvdUpdateProposalThd = 100
                   , bvdUpdateImplicit    = 10
                   , bvdSoftforkRule      =
                     SoftForkRule
-                      { sfrInitThd      = 0.9
-                      , sfrMinThd       = 0.6
-                      , sfrThdDecrement = 0.05
+                      { sfrInitThd      = 90
+                      , sfrMinThd       = 60
+                      , sfrThdDecrement = 5
                       }
                   , bvdTXFeePolicy       =
                     TxFeePolicy
                       { txfTXSizeLinear =
                         TxSizeLinear
                           { txsA = 155381
-                          , txsB = 43.946
+                          , txsB = 43
                           }
                       }
                   , bvdUnlockStakeEpoch = 18446744073709551615

src/Cardano/Shell/Constants/Types.hs

@@ -19,7 +19,7 @@
 # resolver: ./custom-snapshot.yaml
 # resolver: https://example.com/snapshots/2018-01-01.yaml
 
-resolver: https://raw.githubusercontent.com/input-output-hk/cardano-prelude/7f8544ae9e162b6664f07093227edb148f1c8a5b/snapshot.yaml
+resolver: https://raw.githubusercontent.com/input-output-hk/cardano-prelude/106f3e31b2c89865a90e9be0afbc6a28fb50ad65/snapshot.yaml
 
 # User packages to be built.
 # Various formats can be used as shown in the example below.
@@ -71,7 +71,7 @@ extra-deps:
   - containers-0.5.11.0
 
   - process-1.6.5.0
-  
+
   - transformers-0.5.6.2
 
 # Override default flag values for local packages and extra-deps