-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | HKD record builder
--   
--   See README.md for details
@package tangle
@version 0

module Control.Monad.Tangle
newtype TangleT t m a
TangleT :: (t (TangleT t m) -> t Maybe -> m (t Maybe, a)) -> TangleT t m a
[runTangleT] :: TangleT t m a -> t (TangleT t m) -> t Maybe -> m (t Maybe, 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
instance GHC.Base.Functor m => GHC.Base.Functor (Control.Monad.Tangle.TangleT t m)
instance GHC.Base.Monad m => GHC.Base.Applicative (Control.Monad.Tangle.TangleT t m)
instance GHC.Base.Monad m => GHC.Base.Monad (Control.Monad.Tangle.TangleT t m)
instance (GHC.Base.Monad m, GHC.Base.Semigroup a) => GHC.Base.Semigroup (Control.Monad.Tangle.TangleT t m a)
instance (GHC.Base.Monad m, GHC.Base.Monoid a) => GHC.Base.Monoid (Control.Monad.Tangle.TangleT t m a)
instance Control.Monad.Trans.Class.MonadTrans (Control.Monad.Tangle.TangleT t)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Monad.Tangle.TangleT t m)