Copyright | (c) 2016 Stephen Diehl (c) 2016-2018 Serokell (c) 2018-2019 Kowainik |
---|---|
License | MIT |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Safe Haskell | Safe |
Language | Haskell2010 |
Relude.Monad.Either
Contents
Description
Utilites to work with Either
data type.
Synopsis
- fromLeft :: a -> Either a b -> a
- fromRight :: b -> Either a b -> b
- maybeToLeft :: r -> Maybe l -> Either l r
- maybeToRight :: l -> Maybe r -> Either l r
- leftToMaybe :: Either l r -> Maybe l
- rightToMaybe :: Either l r -> Maybe r
- whenLeft :: Applicative f => a -> Either l r -> (l -> f a) -> f a
- whenLeft_ :: Applicative f => Either l r -> (l -> f ()) -> f ()
- whenLeftM :: Monad m => a -> m (Either l r) -> (l -> m a) -> m a
- whenLeftM_ :: Monad m => m (Either l r) -> (l -> m ()) -> m ()
- whenRight :: Applicative f => a -> Either l r -> (r -> f a) -> f a
- whenRight_ :: Applicative f => Either l r -> (r -> f ()) -> f ()
- whenRightM :: Monad m => a -> m (Either l r) -> (r -> m a) -> m a
- whenRightM_ :: Monad m => m (Either l r) -> (r -> m ()) -> m ()
Documentation
maybeToLeft :: r -> Maybe l -> Either l r #
maybeToRight :: l -> Maybe r -> Either l r #
leftToMaybe :: Either l r -> Maybe l #
rightToMaybe :: Either l r -> Maybe r #
whenLeft :: Applicative f => a -> Either l r -> (l -> f a) -> f a #
whenLeft_ :: Applicative f => Either l r -> (l -> f ()) -> f () #
whenLeftM_ :: Monad m => m (Either l r) -> (l -> m ()) -> m () #
Monadic version of whenLeft_
.
whenRight :: Applicative f => a -> Either l r -> (r -> f a) -> f a #
whenRight_ :: Applicative f => Either l r -> (r -> f ()) -> f () #
whenRightM :: Monad m => a -> m (Either l r) -> (r -> m a) -> m a #
Monadic version of whenRight
.
whenRightM_ :: Monad m => m (Either l r) -> (r -> m ()) -> m () #
Monadic version of whenRight_
.