Data.Flex.Monad

Documentation

class FWMonad m r | m -> r

Instances

TypeCast r FWTDefaultMonad => FWMonad (FWT t m) r

FWMonad (FWT s m) r => FWMonad (FWT (:*: x s) m) r

FWMonad (FWT (:*: FWTDefaultMonadAll s) m) FWTDefaultMonad

FWMonad (FWT (:*: FWTDefaultMonad s) m) FWTDefaultMonad

TypeCast r FWCTCDefaultMonad => FWMonad (FWCTC t o m n) r

FWMonad (FWCTC s o m n) r => FWMonad (FWCTC (:*: x s) o m n) r

FWMonad (FWCTC (:*: FWFlipMonad s) (FlipT o) f g) FWFlipMonad

FWMonad (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonad

FWMonad (FWCTC (:*: FWCompS s) O m n) FWCompS

FWMonad (FWCTC (:*: FWCompD s) O m n) FWCompD

FWMonad (FWCTC (:*: FWCompP s) O m n) FWCompP

data FWDefaultMonad

Constructors

FWDefaultMonad

data FWReturn t m

Constructors

FWReturn

Instances

Monad (o m n) => Apply (FWReturn t (o m n)) FWCTCDefaultMonad (WrapReturn (FWCTC t o m n))

Monad (FWCTC t o g f) => Apply (FWReturn t (FlipT o f g)) FWFlipMonad (WrapReturn (FWCTC t (FlipT o) f g))

SComposable m n => Apply (FWReturn t (O m n)) FWCompS (WrapReturn (FWCTC t O m n))

DComposable m n => Apply (FWReturn t (O m n)) FWCompD (WrapReturn (FWCTC t O m n))

PComposable m n => Apply (FWReturn t (O m n)) FWCompP (WrapReturn (FWCTC t O m n))

Monad m => Apply (FWReturn t m) FWTDefaultMonad (WrapReturn (FWT t m))

newtype WrapReturn m

Constructors

WrapReturn

Fields

unwrapReturn :: forall a. a -> m a

Instances

Monad (o m n) => Apply (FWReturn t (o m n)) FWCTCDefaultMonad (WrapReturn (FWCTC t o m n))

Monad (FWCTC t o g f) => Apply (FWReturn t (FlipT o f g)) FWFlipMonad (WrapReturn (FWCTC t (FlipT o) f g))

SComposable m n => Apply (FWReturn t (O m n)) FWCompS (WrapReturn (FWCTC t O m n))

DComposable m n => Apply (FWReturn t (O m n)) FWCompD (WrapReturn (FWCTC t O m n))

PComposable m n => Apply (FWReturn t (O m n)) FWCompP (WrapReturn (FWCTC t O m n))

Monad m => Apply (FWReturn t m) FWTDefaultMonad (WrapReturn (FWT t m))

wrapReturn :: (forall a. a -> m a) -> WrapReturn m

data FWBind t m

Constructors

FWBind

Instances

Monad (o m n) => Apply (FWBind t (o m n)) FWCTCDefaultMonad (WrapBind (FWCTC t o m n))

Monad (FWCTC t o g f) => Apply (FWBind t (FlipT o f g)) FWFlipMonad (WrapBind (FWCTC t (FlipT o) f g))

SComposable m n => Apply (FWBind t (O m n)) FWCompS (WrapBind (FWCTC t O m n))

DComposable m n => Apply (FWBind t (O m n)) FWCompD (WrapBind (FWCTC t O m n))

PComposable m n => Apply (FWBind t (O m n)) FWCompP (WrapBind (FWCTC t O m n))

Monad m => Apply (FWBind t m) FWTDefaultMonad (WrapBind (FWT t m))

newtype WrapBind m

Constructors

WrapBind

Fields

unwrapBind :: forall a b. m a -> (a -> m b) -> m b

Instances

Monad (o m n) => Apply (FWBind t (o m n)) FWCTCDefaultMonad (WrapBind (FWCTC t o m n))

Monad (FWCTC t o g f) => Apply (FWBind t (FlipT o f g)) FWFlipMonad (WrapBind (FWCTC t (FlipT o) f g))

SComposable m n => Apply (FWBind t (O m n)) FWCompS (WrapBind (FWCTC t O m n))

DComposable m n => Apply (FWBind t (O m n)) FWCompD (WrapBind (FWCTC t O m n))

PComposable m n => Apply (FWBind t (O m n)) FWCompP (WrapBind (FWCTC t O m n))

Monad m => Apply (FWBind t m) FWTDefaultMonad (WrapBind (FWT t m))

wrapBind :: (forall a b. m a -> (a -> m b) -> m b) -> WrapBind m