Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Tree s a v
- singleton :: PrimMonad m => a -> v -> m (Tree (PrimState m) a v)
- append :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> Tree (PrimState m) a v -> m (Tree (PrimState m) a v)
- concat :: (PrimMonad m, Monoid v) => NonEmpty (Tree (PrimState m) a v) -> m (Tree (PrimState m) a v)
- join :: (PrimMonad m, Monoid v) => Maybe (Tree (PrimState m) a v) -> Tree (PrimState m) a v -> Maybe (Tree (PrimState m) a v) -> m (Tree (PrimState m) a v)
- split :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> m (Maybe (Tree (PrimState m) a v), Maybe (Tree (PrimState m) a v))
- root :: PrimMonad m => Tree (PrimState m) a v -> m (Tree (PrimState m) a v)
- connected :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> Tree (PrimState m) a v -> m Bool
- label :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> m a
- aggregate :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> m v
- toList :: PrimMonad m => Tree (PrimState m) a v -> m [a]
- freeze :: PrimMonad m => Tree (PrimState m) a v -> m (Tree a)
- print :: Show a => Tree (PrimState IO) a v -> IO ()
- assertInvariants :: (PrimMonad m, Monoid v, Eq v, Show v) => Tree (PrimState m) a v -> m ()
- assertSingleton :: PrimMonad m => Tree (PrimState m) a v -> m ()
- assertRoot :: PrimMonad m => Tree (PrimState m) a v -> m ()
Documentation
Instances
append :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> Tree (PrimState m) a v -> m (Tree (PrimState m) a v) Source #
concat :: (PrimMonad m, Monoid v) => NonEmpty (Tree (PrimState m) a v) -> m (Tree (PrimState m) a v) Source #
join :: (PrimMonad m, Monoid v) => Maybe (Tree (PrimState m) a v) -> Tree (PrimState m) a v -> Maybe (Tree (PrimState m) a v) -> m (Tree (PrimState m) a v) Source #
split :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> m (Maybe (Tree (PrimState m) a v), Maybe (Tree (PrimState m) a v)) Source #
connected :: (PrimMonad m, Monoid v) => Tree (PrimState m) a v -> Tree (PrimState m) a v -> m Bool Source #