Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ControlConcatT (t1 :: (Type -> Type) -> Type -> Type) (t2 :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a Source #
Instances
runControlConcatT :: (forall a. t1 m a -> m (StT t1 a)) -> (forall a. t2 (t1 m) a -> t1 m (StT t2 a)) -> forall a. ControlConcatT t1 t2 m a -> m (StT t1 (StT t2 a)) Source #