on master help sign in
Fix implementation of Prelude.Applicative.when
50954d3bmsherman
libs/prelude/Prelude/Applicative.idr+1−1
@@ -44,5 +44,5 @@ guard a = if a then pure () else empty
44
44
45||| Conditionally execute an applicative expression
45||| Conditionally execute an applicative expression
46when : Applicative f => Bool -> Lazy (f ()) -> f ()
46when : Applicative f => Bool -> Lazy (f ()) -> f ()
47−when True f = f
47+when True f = Force f
48when False f = pure ()
48when False f = pure ()