changed lens type

We drop the `condtionally` and enforce the presence of the field at the call side.
Concordium · Sep 5, 2024 · e76a385 · e76a385
1 parent 31ff1f7
commit e76a385
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/haskell-src/Concordium/Types/Accounts.hs b/haskell-src/Concordium/Types/Accounts.hs
@@ -237,10 +237,10 @@ bieBakerPoolInfo =
 -- | Lens for '_bieBakerIsSuspended'
 {-# INLINE bieAccountIsSuspended #-}
 bieAccountIsSuspended ::
-    (AVSupportsDelegation av) =>
-    Lens' (BakerInfoEx av) (Conditionally (SupportsValidatorSuspension av) Bool)
+    (AVSupportsDelegation av, AVSupportsValidatorSuspension av) =>
+    Lens' (BakerInfoEx av) Bool
 bieAccountIsSuspended =
-    lens _bieAccountIsSuspended (\bie x -> bie{_bieAccountIsSuspended = x})
+    lens (uncond . _bieAccountIsSuspended) (\bie x -> bie{_bieAccountIsSuspended = CTrue x})
 
 -- | Coerce a 'BakerInfoEx' between two account versions that support delegation.
 coerceBakerInfoExV1 ::

diff --git a/haskell-src/Concordium/Types/Conditionally.hs b/haskell-src/Concordium/Types/Conditionally.hs
@@ -80,4 +80,4 @@ uncond (CTrue a) = a
 
 fromCondDef :: Conditionally b a -> a -> a
 fromCondDef (CTrue a) _def = a
-fromCondDef CFalse def = def 
+fromCondDef CFalse def = def