Data.Flex.WrapCTC

Documentation

newtype FlexiWrapCTC s o f g a

Constructors

FlexiWrapCTC

Fields

unFlexiWrapCTC :: o f g a

type FWCTC = FlexiWrapCTC

flexiWrapCTC :: s -> o f g a -> FWCTC s o f g a

inFlexiWrapCTC :: (o f g a -> o' f' g' a') -> FWCTC s o f g a -> FWCTC s o' f' g' a'

inFlexiWrapCTC2 :: (o f g a -> o' f' g' a' -> o'' f'' g'' a'') -> FWCTC s o f g a -> FWCTC s o' f' g' a' -> FWCTC s o'' f'' g'' a''

data FWCTCDefaultFunctor

Constructors

FWCTCDefaultFunctor

Instances

Functor (o f g) => Apply (FWFmap t (o f g)) FWCTCDefaultFunctor (WrapFmap (FWCTC t o f g))

data FWCTCDefaultMonad

Constructors

FWCTCDefaultMonad

Instances

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

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