Data.Flex.MonadPlus

Documentation

class FWMonadPlus m r | m -> r

Instances

FWMonadPlus (FWCTC s o m n) r => FWMonadPlus (FWCTC (:*: t s) o m n) r

FWMonadPlus (FWCTC (:*: FWFlipMonadPlus s) (FlipT o) f g) FWFlipMonadPlus

FWMonadPlus (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonadPlus

FWMonadPlus (FWCTC (:*: FWCompMaybeMonadPlus s) O m n) FWCompMaybeMonadPlus

FWMonadPlus (FWCTC (:*: FWCompMonadPlusR s) O m n) FWCompMonadPlusR

FWMonadPlus (FWCTC (:*: FWCompMonadPlusL s) O m n) FWCompMonadPlusL

FWMonadPlus (FWCTC (:*: FWCompMonadPlus s) O m n) FWCompMonadPlusR

FWMonadPlus (FWCTC (:*: FWCompDefaults s) O m n) FWCompMonadPlusR

data FWDefaultMonadPlus

Constructors

FWDefaultMonadPlus

data FWMZero t m

Constructors

FWMZero

Instances

MonadPlus (FWCTC t o g f) => Apply (FWMZero t (FlipT o f g)) FWFlipMonadPlus (WrapMZero (FWCTC t (FlipT o) f g))

Monad m => Apply (FWMZero t (O m Maybe)) FWCompMaybeMonadPlus (WrapMZero (FWCTC t O m Maybe))

MonadPlus m => Apply (FWMZero t (O m n)) FWCompMonadPlusL (WrapMZero (FWCTC t O m n))

(Monad m, MonadPlus n) => Apply (FWMZero t (O m n)) FWCompMonadPlusR (WrapMZero (FWCTC t O m n))

newtype WrapMZero m

Constructors

WrapMZero

Fields

unwrapMZero :: forall a. m a

Instances

MonadPlus (FWCTC t o g f) => Apply (FWMZero t (FlipT o f g)) FWFlipMonadPlus (WrapMZero (FWCTC t (FlipT o) f g))

Monad m => Apply (FWMZero t (O m Maybe)) FWCompMaybeMonadPlus (WrapMZero (FWCTC t O m Maybe))

MonadPlus m => Apply (FWMZero t (O m n)) FWCompMonadPlusL (WrapMZero (FWCTC t O m n))

(Monad m, MonadPlus n) => Apply (FWMZero t (O m n)) FWCompMonadPlusR (WrapMZero (FWCTC t O m n))

data FWMPlus t m

Constructors

FWMPlus

Instances

MonadPlus (FWCTC t o g f) => Apply (FWMPlus t (FlipT o f g)) FWFlipMonadPlus (WrapMPlus (FWCTC t (FlipT o) f g))

Monad m => Apply (FWMPlus t (O m Maybe)) FWCompMaybeMonadPlus (WrapMPlus (FWCTC t O m Maybe))

MonadPlus m => Apply (FWMPlus t (O m n)) FWCompMonadPlusL (WrapMPlus (FWCTC t O m n))

(Monad m, MonadPlus n) => Apply (FWMPlus t (O m n)) FWCompMonadPlusR (WrapMPlus (FWCTC t O m n))

newtype WrapMPlus m

Constructors

WrapMPlus

Fields

unwrapMPlus :: forall a. m a -> m a -> m a

Instances

MonadPlus (FWCTC t o g f) => Apply (FWMPlus t (FlipT o f g)) FWFlipMonadPlus (WrapMPlus (FWCTC t (FlipT o) f g))

Monad m => Apply (FWMPlus t (O m Maybe)) FWCompMaybeMonadPlus (WrapMPlus (FWCTC t O m Maybe))

MonadPlus m => Apply (FWMPlus t (O m n)) FWCompMonadPlusL (WrapMPlus (FWCTC t O m n))

(Monad m, MonadPlus n) => Apply (FWMPlus t (O m n)) FWCompMonadPlusR (WrapMPlus (FWCTC t O m n))