Add an infix version of when (<?>).
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 11 Jan 2015 15:15:29 +0000 (15:15 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 11 Jan 2015 15:15:29 +0000 (15:15 +0000)
src/Oracles/Flag.hs

index 354b1d7..946c4fb 100644 (file)
@@ -4,7 +4,7 @@ module Oracles.Flag (
     module Control.Monad,
     module Prelude,
     Flag (..), 
-    test, when, unless, not, (&&), (||)
+    test, when, unless, not, (&&), (||), (<?>)
     ) where
 
 import Control.Monad hiding (when, unless)
@@ -60,6 +60,10 @@ unless x act = do
     bool <- toCondition x
     if bool then mempty else act
 
+-- Infix version of when
+(<?>) :: (ToCondition a, Monoid m) => a -> Action m -> Action m
+(<?>) = when
+
 class Not a where
     type NotResult a
     not :: a -> NotResult a