tangle-0: HKD record builder

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Tangle

Documentation

newtype TangleT t m a Source #

Constructors

TangleT 

Fields

Instances
MonadTrans (TangleT t) Source # 
Instance details

Defined in Control.Monad.Tangle

Methods

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

Monad m => Monad (TangleT t m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Monad.Tangle

Methods

liftIO :: IO a -> TangleT t m a #

(Monad m, Semigroup a) => Semigroup (TangleT t m a) Source # 
Instance details

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) Source # 
Instance details

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 Source #

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