Control.Monad.Tangle

Documentation

newtype TangleT t m a

Constructors

TangleT

Fields

• runTangleT :: t (TangleT t m) -> t Maybe -> m (t Maybe, a)

Instances

MonadTrans (TangleT t)

Defined in Control.Monad.Tangle

Methods

lift :: Monad m => m a -> TangleT t m a

Monad m => Monad (TangleT t m)

Defined in Control.Monad.Tangle

Methods

(>>=) :: TangleT t m a -> (a -> TangleT t m b) -> TangleT t m b

(>>) :: TangleT t m a -> TangleT t m b -> TangleT t m b

return :: a -> TangleT t m a

fail :: String -> TangleT t m a

Functor m => Functor (TangleT t m)

Defined in Control.Monad.Tangle

Methods

fmap :: (a -> b) -> TangleT t m a -> TangleT t m b

(<$) :: a -> TangleT t m b -> TangleT t m a

Monad m => Applicative (TangleT t m)

Defined in Control.Monad.Tangle

Methods

pure :: a -> TangleT t m a

(<*>) :: TangleT t m (a -> b) -> TangleT t m a -> TangleT t m b

liftA2 :: (a -> b -> c) -> TangleT t m a -> TangleT t m b -> TangleT t m c

(*>) :: TangleT t m a -> TangleT t m b -> TangleT t m b

(<*) :: TangleT t m a -> TangleT t m b -> TangleT t m a

MonadIO m => MonadIO (TangleT t m)

Defined in Control.Monad.Tangle

Methods

liftIO :: IO a -> TangleT t m a

(Monad m, Semigroup a) => Semigroup (TangleT t m a)

Defined in Control.Monad.Tangle

Methods

(<>) :: TangleT t m a -> TangleT t m a -> TangleT t m a

sconcat :: NonEmpty (TangleT t m a) -> TangleT t m a

stimes :: Integral b => b -> TangleT t m a -> TangleT t m a

(Monad m, Monoid a) => Monoid (TangleT t m a)

Defined in Control.Monad.Tangle

Methods

mempty :: TangleT t m a

mappend :: TangleT t m a -> TangleT t m a -> TangleT t m a

mconcat :: [TangleT t m a] -> TangleT t m a

hitch :: Monad m => (forall h f. Functor f => (h a -> f (h a)) -> t h -> f (t h)) -> TangleT t m a

evalTangleT :: Functor m => TangleT t m a -> t (TangleT t m) -> t Maybe -> m a