Data.Flex.WrapT

Documentation

Constructors

FlexiWrapT
Fields unFlexiWrapT :: f a

type FWT = FlexiWrapT Source

flexiWrapT :: s -> f a -> FWT s f aSource

inFlexiWrapT :: (f a -> g b) -> FWT s f a -> FWT s g bSource

inFlexiWrapT2 :: (f a -> g b -> h c) -> FWT s f a -> FWT s g b -> FWT s h cSource

asFlexiWrapT :: (FWT s f a -> FWT s g b) -> f a -> g bSource

data FWTDefaultFunctor Source

Constructors

FWTDefaultFunctor

Instances

Functor f => Apply (FWFmap t f) FWTDefaultFunctor (WrapFmap (FWT t f))

data FWTDefaultApplicative Source

Constructors

FWTDefaultApplicative

Instances

Applicative f => Apply (FWCombine t f) FWTDefaultApplicative (WrapCombine (FWT t f))
Applicative f => Apply (FWPure t f) FWTDefaultApplicative (WrapPure (FWT t f))

data FWTDefaultMonad Source

Constructors

FWTDefaultMonad

Instances

FWMonad (FWT (:*: FWTDefaultMonadAll s) m) FWTDefaultMonad
FWMonad (FWT (:*: FWTDefaultMonad s) m) FWTDefaultMonad
Monad m => Apply (FWBind t m) FWTDefaultMonad (WrapBind (FWT t m))
Monad m => Apply (FWReturn t m) FWTDefaultMonad (WrapReturn (FWT t m))

data FWTDefaultMonadAll Source

Constructors

FWTDefaultMonadAll

Instances

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

data FWTDefaultMonadState Source

Constructors

FWTDefaultMonadState

Instances

FWMonadState (FWT (:*: FWTDefaultMonadState s) m) FWTDefaultMonadState
FWMonadState (FWT (:*: FWTDefaultMonadAll s) m) FWTDefaultMonadState
MonadState s m => Apply (FWPut t s m) FWTDefaultMonadState (s -> FWT t m ())
MonadState s m => Apply (FWGet t s m) FWTDefaultMonadState (FWT t m s)

class FwtMonadState s m | m -> s whereSource

Methods

fwtGet :: m sSource

fwtPut :: s -> m ()Source

Instances

(MonadState s m, Apply (FWGet t s m) r (FWT t m s), Apply (FWPut t s m) r (s -> FWT t m ()), FWMonadState (FWT t m) r) => FwtMonadState s (FWT t m)

class FWrapT w a b | w a -> b whereSource

Methods

fWrapT :: w -> a -> bSource

Instances

(Apply FWTagT a t, FWCon a f, FWNormAppend s t u, FWIsWrappedT a w, Apply (FWFWrapT u f a) w (a -> FWT u f b)) => FWrapT s a (FWT u f b)

data FWTagT Source

Instances

TypeCast r TNil => Apply FWTagT a r
Apply FWTagT (FWT t f a) t

class FWCon a f | a -> fSource

Instances

TypeCast (r a) (f a) => FWCon (f a) r
FWCon (FWT t f a) f

class FWIsWrappedT a r | a -> rSource

Instances

TypeCast r FWNewWrapper => FWIsWrappedT a r
FWIsWrappedT (FWT s f a) FWAlreadyWrapped

data FWFWrapT s f a Source

Constructors

FWFWrapT

Instances

Apply (FWFWrapT u f (FWT s f a)) FWAlreadyWrapped (FWT s f a -> FWT u f a)
Apply (FWFWrapT u f (f a)) FWNewWrapper (f a -> FWT u f a)