Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Data.Choice

Contents

Documentation

elimChoice :: (a -> c) -> (b -> c) -> (a ∨ b) -> c Source #

mapChoice :: (a₁ -> a₂) -> (b₁ -> b₂) -> (a₁ ∨ b₁) -> a₂ ∨ b₂ Source #

mapInl :: (a₁ -> a₂) -> (a₁ ∨ b) -> a₂ ∨ b Source #

mapInr :: (b₁ -> b₂) -> (a ∨ b₁) -> a ∨ b₂ Source #

mapMChoice :: Monad m => (a -> m a') -> (b -> m b') -> (a ∨ b) -> m (a' ∨ b') Source #

mapMInl :: Monad m => (a -> m a') -> (a ∨ b) -> m (a' ∨ b) Source #

mapMInr :: Monad m => (b -> m b') -> (a ∨ b) -> m (a ∨ b') Source #

Orphan instances

Bind ((∨) a) Source #
Instance details Methods (≫=) :: (a ∨ a0) -> (a0 -> a ∨ b) -> a ∨ b Source #
Functor ((∨) a) Source #
Instance details Methods map :: (a0 -> b) -> (a ∨ a0) -> a ∨ b Source #
FunctorM ((∨) a) Source #
Instance details Methods mapM :: Monad m => (a0 -> m b) -> (a ∨ a0) -> m (a ∨ b) Source #
Monad ((∨) a) Source #
Instance details
Return ((∨) a) Source #
Instance details Methods return :: a0 -> a ∨ a0 Source #
(Append a, Append b) => Append (a ∨ b) Source #
Instance details Methods (⧺) :: (a ∨ b) -> (a ∨ b) -> a ∨ b Source #
(Append a, Monoid b) => Monoid (a ∨ b) Source #
Instance details
Null b => Null (a ∨ b) Source #
Instance details Methods null :: a ∨ b Source #