Data.Flex.FlipT

Documentation

newtype FlipT (*.) f g a

Constructors

FlipT

Fields

unFlipT :: (g *. f) a

Instances

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

inFlipT :: ((g *. f) a -> (g' ?. f') a') -> FlipT *. f g a -> FlipT ?. f' g' a'

inFlipT2 :: ((g *. f) a -> (g' ?. f') a' -> (g'' @. f'') a'') -> FlipT *. f g a -> FlipT ?. f' g' a' -> FlipT @. f'' g'' a''

data FWFlipDefaults

Constructors

FWFlipDefaults

Instances

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

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

data FWFlipMonad

Constructors

FWFlipMonad

Instances

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

Constructors

FWFlipMonadPlus

Instances

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