Copyright | (c) Grant Weyburne 2022 |
---|---|
License | BSD-3 |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- boolMaybe :: (a -> Bool) -> (a -> b) -> a -> Maybe b
- boolEither :: (a -> Bool) -> (a -> e) -> (a -> b) -> a -> Either e b
- boolThese :: (a -> Bool) -> (a -> Bool) -> (a -> e) -> (a -> b) -> a -> These e b
- boolThese' :: (a -> Bool) -> (a -> Bool) -> (a -> e) -> (a -> b) -> ((e, b) -> a -> (e, b)) -> a -> These e b
- boolM :: Monad m => m Bool -> m a -> m a -> m a
- unlessMB :: Applicative m => (a -> Bool) -> a -> (a -> m ()) -> m ()
- whenMB :: Applicative m => (a -> Bool) -> a -> (a -> m ()) -> m ()
builders
boolEither :: (a -> Bool) -> (a -> e) -> (a -> b) -> a -> Either e b Source #
boolThese' :: (a -> Bool) -> (a -> Bool) -> (a -> e) -> (a -> b) -> ((e, b) -> a -> (e, b)) -> a -> These e b Source #