wb | profile delegators property is never null

Author: fmaste

bench/cardano-profile/src/Cardano/Benchmarking/Profile.hs

@@ -213,7 +213,7 @@ finalize profile =
                     else Types.per_pool_balance genesis
                   -- TODO: Remove or move to derive ?
                 , Types.delegator_coin =
-                    if Types.delegators genesis == Just 0
+                    if Types.delegators genesis == 0
                     then 0
                     else Types.per_pool_balance genesis
                 }
@@ -372,9 +372,8 @@ derive p@(Types.Profile _ _ _ comp _era gsis _ n gtor _ _ _ ana _ _ _ _) =
       -- UTxO:
       --------
       (effective_delegators, delegators_effective) =
-        case Types.delegators gsis of
-          (Just d) -> (d, max d (Types.n_pools comp))
-          Nothing -> (Types.n_pools comp, Types.n_pools comp)
+        let d = Types.delegators gsis
+        in (d, max d (Types.n_pools comp))
       utxo_generated = generator_tx_count * Types.inputs_per_tx gtor
       utxo_stuffed = max 0 (Types.utxo gsis)
 
@@ -383,9 +382,7 @@ derive p@(Types.Profile _ _ _ comp _era gsis _ n gtor _ _ _ ana _ _ _ _) =
       dataset_measure =
         if Types.utxo gsis == 0
         then 0
-        else case Types.delegators gsis of
-               (Just d) -> Types.utxo gsis + d
-               Nothing -> Types.utxo gsis
+        else Types.utxo gsis + Types.delegators gsis
       -- NominalDiffTime.
       dataset_induced_startup_delay_optimistic =
         if dataset_measure < 10000

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Primitives.hs

@@ -153,7 +153,7 @@ empty = Types.Profile {
     , Types.active_slots_coeff = 0
     , Types.parameter_k = 0
     , Types.utxo = 0
-    , Types.delegators = Nothing
+    , Types.delegators = 0
     , Types.dreps = 0
     , Types.extra_future_offset = 0
     , Types.per_pool_balance = 0
@@ -512,9 +512,9 @@ utxo i = genesis
 delegators :: HasCallStack => Integer -> Types.Profile -> Types.Profile
 delegators i = genesis
   (\g ->
-    if isJust (Types.delegators g)
-    then error "delegators: `delegators` already set (not Nothing)."
-    else g {Types.delegators = Just i}
+    if Types.delegators g /= 0
+    then error "delegators: `delegators` already set (not zero)."
+    else g {Types.delegators = i}
   )
 
 dreps :: HasCallStack => Integer -> Types.Profile -> Types.Profile

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Types.hs

@@ -294,7 +294,7 @@ data Genesis = Genesis
 
   -- Size:
   , utxo :: Integer
-  , delegators :: Maybe Integer
+  , delegators :: Integer
   , dreps :: Integer
   , extra_future_offset :: Time.NominalDiffTime -- Size dependent!
 

bench/cardano-profile/test/Main.hs

@@ -314,7 +314,7 @@ ciTestBage = Types.Profile {
     , Types.active_slots_coeff = 0.05
     , Types.parameter_k = 3
     , Types.utxo = 0
-    , Types.delegators = Just 0
+    , Types.delegators = 0
     , Types.dreps = 0
     , Types.extra_future_offset = 0
     , Types.per_pool_balance = 1000000000000000