Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ListT (m :: * -> *) a Source #
Instances
newtype LayeredListT m a Source #
LayeredListT | |
|
toLayeredListT :: Monad m => ListT m a -> LayeredListT m a Source #
split' :: Monad m => LayeredListT m a -> LayeredListT m (Maybe (a, LayeredListT m a)) Source #
fromLayeredListT :: Monad m => LayeredListT m a -> ListT m a Source #