Make Prelude.Applicative.when implementation cleaner.
commit1a9ab97494efb25baab54c6a21c4ab5cdcefee7e
authorbmsherman <bmsherman@users.noreply.github.com>
dateFri 2 May 2014, 07:10 (12 years ago)
parent0e31481
libs/prelude/Prelude/Applicative.idr+2−1
@@ -44,4 +44,5 @@ guard a = if a then pure () else empty
4444
4545||| Conditionally execute an applicative expression
4646when : Applicative f => Bool -> Lazy (f ()) -> f ()
47−when a f = if a then Force f else pure ()
47+when True f = f
48+when False f = pure ()