Documentation
newtype FlipT (*.) f g a Source
Monad m => Apply (FWLift (FWCTC t (FlipT O) m)) FWCompTrans (WrapLift (FWCTC t (FlipT O) m)) | |
MonadPlus (FWCTC t o g f) => Apply (FWMPlus t (FlipT o f g)) FWFlipMonadPlus (WrapMPlus (FWCTC t (FlipT o) f g)) | |
MonadPlus (FWCTC t o g f) => Apply (FWMZero t (FlipT o f g)) FWFlipMonadPlus (WrapMZero (FWCTC t (FlipT o) f g)) | |
Monad (FWCTC t o g f) => Apply (FWBind t (FlipT o f g)) FWFlipMonad (WrapBind (FWCTC t (FlipT o) f g)) | |
Monad (FWCTC t o g f) => Apply (FWReturn t (FlipT o f g)) FWFlipMonad (WrapReturn (FWCTC t (FlipT o) f g)) | |
FWMonadPlus (FWCTC (:*: FWFlipMonadPlus s) (FlipT o) f g) FWFlipMonadPlus | |
FWMonadPlus (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonadPlus | |
FWMonad (FWCTC (:*: FWFlipMonad s) (FlipT o) f g) FWFlipMonad | |
FWMonad (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonad |
inFlipT2 :: ((g *. f) a -> (g' ?. f') a' -> (g'' @. f'') a'') -> FlipT *. f g a -> FlipT ?. f' g' a' -> FlipT @. f'' g'' a''Source
data FWFlipDefaults Source
FWMonadPlus (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonadPlus | |
FWMonad (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonad |
data FWFlipMonad Source
Monad (FWCTC t o g f) => Apply (FWBind t (FlipT o f g)) FWFlipMonad (WrapBind (FWCTC t (FlipT o) f g)) | |
Monad (FWCTC t o g f) => Apply (FWReturn t (FlipT o f g)) FWFlipMonad (WrapReturn (FWCTC t (FlipT o) f g)) | |
FWMonad (FWCTC (:*: FWFlipMonad s) (FlipT o) f g) FWFlipMonad | |
FWMonad (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonad |
data FWFlipMonadPlus Source
MonadPlus (FWCTC t o g f) => Apply (FWMPlus t (FlipT o f g)) FWFlipMonadPlus (WrapMPlus (FWCTC t (FlipT o) f g)) | |
MonadPlus (FWCTC t o g f) => Apply (FWMZero t (FlipT o f g)) FWFlipMonadPlus (WrapMZero (FWCTC t (FlipT o) f g)) | |
FWMonadPlus (FWCTC (:*: FWFlipMonadPlus s) (FlipT o) f g) FWFlipMonadPlus | |
FWMonadPlus (FWCTC (:*: FWFlipDefaults s) (FlipT o) f g) FWFlipMonadPlus |