Control.Super.Monad.Constrained.MonadPlus

WARNING: This module is an experiment to see how MonadPlus may be encoded. The authors are not aware of any generalized monads that make use of MonadPlus. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Documentation

class AlternativeEmpty m => MonadPlusZero m where

The encoding of the mzero operation.

Return is not a superclass, because the indices or constraints involved in an MonadPlusZero instance may differ from those involved with the Return instance.

WARNING: This module is an experiment to see how MonadPlus may be encoded. The authors are not aware of any generalized applicatives that make use of MonadPlus. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Minimal complete definition

mzero

Associated Types

type MonadPlusZeroCts m a :: Constraint

Methods

mzero :: MonadPlusZeroCts m a => m a

Instances

MonadPlusZero []

Associated Types

type MonadPlusZeroCts ([] :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts [] a => [a]

MonadPlusZero Maybe

Associated Types

type MonadPlusZeroCts (Maybe :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts Maybe a => Maybe a

MonadPlusZero IO

Associated Types

type MonadPlusZeroCts (IO :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts IO a => IO a

MonadPlusZero Option

Associated Types

type MonadPlusZeroCts (Option :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts Option a => Option a

MonadPlusZero STM

Associated Types

type MonadPlusZeroCts (STM :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts STM a => STM a

MonadPlusZero ReadPrec

Associated Types

type MonadPlusZeroCts (ReadPrec :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts ReadPrec a => ReadPrec a

MonadPlusZero ReadP

Associated Types

type MonadPlusZeroCts (ReadP :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts ReadP a => ReadP a

MonadPlusZero (U1 *)

Associated Types

type MonadPlusZeroCts (U1 * :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (U1 *) a => U1 * a

MonadPlusZero (Proxy *)

Associated Types

type MonadPlusZeroCts (Proxy * :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (Proxy *) a => Proxy * a

MonadPlusZero f => MonadPlusZero (Rec1 * f)

Associated Types

type MonadPlusZeroCts (Rec1 * f :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (Rec1 * f) a => Rec1 * f a

MonadPlusZero f => MonadPlusZero (Alt * f)

Associated Types

type MonadPlusZeroCts (Alt * f :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (Alt * f) a => Alt * f a

(MonadPlusZero f, MonadPlusZero g) => MonadPlusZero ((:*:) * f g)

Associated Types

type MonadPlusZeroCts ((* :*: f) g :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts ((* :*: f) g) a => (* :*: f) g a

(MonadPlusZero f, MonadPlusZero f') => MonadPlusZero (Product * f f')

Associated Types

type MonadPlusZeroCts (Product * f f' :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (Product * f f') a => Product * f f' a

MonadPlusZero f => MonadPlusZero (M1 * i c f)

Associated Types

type MonadPlusZeroCts (M1 * i c f :: * -> *) a :: Constraint

Methods

mzero :: MonadPlusZeroCts (M1 * i c f) a => M1 * i c f a

class AlternativeAlt f g h => MonadPlusAdd f g h where

The encoding of the mplus operation

Bind is not a superclass, because the indices or constraints involved in an MonadPlusAdd instance may differ from those involved with the Bind instance.

WARNING: This module is an experiment to see how MonadPlus may be encoded. The authors are not aware of any generalized applicatives that make use of MonadPlus. Hence, we do not know if this encoding of it is sufficient. Therefore, the encoding is not in its final form and may change in the future.

Minimal complete definition

mplus

Associated Types

type MonadPlusAddCts f g h a :: Constraint

Methods

mplus :: MonadPlusAddCts f g h a => f a -> g a -> h a

Instances

MonadPlusAdd [] [] []

Associated Types

type MonadPlusAddCts ([] :: * -> *) ([] :: * -> *) ([] :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts [] [] [] a => [a] -> [a] -> [a]

MonadPlusAdd Maybe Maybe Maybe

Associated Types

type MonadPlusAddCts (Maybe :: * -> *) (Maybe :: * -> *) (Maybe :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts Maybe Maybe Maybe a => Maybe a -> Maybe a -> Maybe a

MonadPlusAdd IO IO IO

Associated Types

type MonadPlusAddCts (IO :: * -> *) (IO :: * -> *) (IO :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts IO IO IO a => IO a -> IO a -> IO a

MonadPlusAdd Option Option Option

Associated Types

type MonadPlusAddCts (Option :: * -> *) (Option :: * -> *) (Option :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts Option Option Option a => Option a -> Option a -> Option a

MonadPlusAdd STM STM STM

Associated Types

type MonadPlusAddCts (STM :: * -> *) (STM :: * -> *) (STM :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts STM STM STM a => STM a -> STM a -> STM a

MonadPlusAdd ReadPrec ReadPrec ReadPrec

Associated Types

type MonadPlusAddCts (ReadPrec :: * -> *) (ReadPrec :: * -> *) (ReadPrec :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts ReadPrec ReadPrec ReadPrec a => ReadPrec a -> ReadPrec a -> ReadPrec a

MonadPlusAdd ReadP ReadP ReadP

Associated Types

type MonadPlusAddCts (ReadP :: * -> *) (ReadP :: * -> *) (ReadP :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts ReadP ReadP ReadP a => ReadP a -> ReadP a -> ReadP a

MonadPlusAdd (U1 *) (U1 *) (U1 *)

Associated Types

type MonadPlusAddCts (U1 * :: * -> *) (U1 * :: * -> *) (U1 * :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (U1 *) (U1 *) (U1 *) a => U1 * a -> U1 * a -> U1 * a

MonadPlusAdd (Proxy *) (Proxy *) (Proxy *)

Associated Types

type MonadPlusAddCts (Proxy * :: * -> *) (Proxy * :: * -> *) (Proxy * :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (Proxy *) (Proxy *) (Proxy *) a => Proxy * a -> Proxy * a -> Proxy * a

MonadPlusAdd f g h => MonadPlusAdd (Rec1 * f) (Rec1 * g) (Rec1 * h)

Associated Types

type MonadPlusAddCts (Rec1 * f :: * -> *) (Rec1 * g :: * -> *) (Rec1 * h :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (Rec1 * f) (Rec1 * g) (Rec1 * h) a => Rec1 * f a -> Rec1 * g a -> Rec1 * h a

MonadPlusAdd f g h => MonadPlusAdd (Alt * f) (Alt * g) (Alt * h)

Associated Types

type MonadPlusAddCts (Alt * f :: * -> *) (Alt * g :: * -> *) (Alt * h :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (Alt * f) (Alt * g) (Alt * h) a => Alt * f a -> Alt * g a -> Alt * h a

(MonadPlusAdd f g h, MonadPlusAdd f' g' h') => MonadPlusAdd ((:*:) * f f') ((:*:) * g g') ((:*:) * h h')

Associated Types

type MonadPlusAddCts ((* :*: f) f' :: * -> *) ((* :*: g) g' :: * -> *) ((* :*: h) h' :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts ((* :*: f) f') ((* :*: g) g') ((* :*: h) h') a => (* :*: f) f' a -> (* :*: g) g' a -> (* :*: h) h' a

(MonadPlusAdd f g h, MonadPlusAdd f' g' h') => MonadPlusAdd (Product * f f') (Product * g g') (Product * h h')

Associated Types

type MonadPlusAddCts (Product * f f' :: * -> *) (Product * g g' :: * -> *) (Product * h h' :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (Product * f f') (Product * g g') (Product * h h') a => Product * f f' a -> Product * g g' a -> Product * h h' a

MonadPlusAdd f g h => MonadPlusAdd (M1 * i c f) (M1 * i c g) (M1 * i c h)

Associated Types

type MonadPlusAddCts (M1 * i c f :: * -> *) (M1 * i c g :: * -> *) (M1 * i c h :: * -> *) a :: Constraint

Methods

mplus :: MonadPlusAddCts (M1 * i c f) (M1 * i c g) (M1 * i c h) a => M1 * i c f a -> M1 * i c g a -> M1 * i c h a