Modulehedgehog-1.7

Hedgehog.Internal.Tree

4 types
21 values

Packagehedgehog-1.7
Exports27
LicenceBSD-3-Clause

patternpattern Node :: a -> [Tree a] -> Node a

patternpattern Tree :: NodeT Identity a -> Tree a

valuecatMaybes :: Tree (Maybe a) -> Maybe (Tree a)

valueconsChild :: Monad m => a -> TreeT m a -> TreeT m a

valuedepth :: Tree a -> Int

valueexpand :: Monad m => (a -> [a]) -> TreeT m a -> TreeT m a

valuefilter :: (a -> Bool) -> Tree a -> Maybe (Tree a)

valuefilterMaybeT

:: a -> Bool
-> TreeT (MaybeT Identity) a
-> TreeT (MaybeT Identity) a

valuefilterT :: (Monad m, Alternative m) => (a -> Bool) -> TreeT m a -> TreeT m a

valuefromNodeT :: Applicative m => NodeT m a -> TreeT m a

valueinterleave :: Monad m => [NodeT m a] -> NodeT m [a]

valuemapMaybe :: (a -> Maybe b) -> Tree a -> Maybe (Tree b)

valuemapMaybeMaybeT

:: a -> Maybe b
-> TreeT (MaybeT Identity) a
-> TreeT (MaybeT Identity) b

valuemapMaybeT

:: (Monad m, Alternative m)
=> a -> Maybe b
-> TreeT m a
-> TreeT m b

valuemapTreeT :: (m (NodeT m a) -> m (NodeT m a)) -> TreeT m a -> TreeT m a

valueprune :: Monad m => Int -> TreeT m a -> TreeT m a

valuerender :: Tree String -> String

valuerenderT :: Monad m => TreeT m String -> m String

valuerunTree :: Tree a -> Node a

valuetreeChildren :: Tree a -> [Tree a]

valuetreeValue :: Tree a -> a

valueunfold :: Monad m => (a -> [a]) -> a -> TreeT m a

valueunfoldForest :: Monad m => (a -> [a]) -> a -> [TreeT m a]

typetype Node = NodeT Identity

datadata NodeT (m :: Type -> Type) a

Constructors

NodeT
- nodeValue :: a
- nodeChildren :: [TreeT m a]

Instances9Foldable, Traversable, MFunctor, Monad, Functor, Applicative, …

Foldable NodeDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
Traversable NodeDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MFunctor NodeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
Monad m => Monad (NodeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Functor m => Functor (NodeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Applicative m => Applicative (NodeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Show1 m => Show1 (NodeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
(Eq a, Eq1 m) => Eq (NodeT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
(Show1 m, Show a) => Show (NodeT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree

typetype Tree = TreeT Identity

newtypenewtype TreeT (m :: Type -> Type) a

Constructors

TreeT
- runTreeT :: m (NodeT m a)

Instances29Foldable, Traversable, MonadTrans, MMonad, MonadTransDistributive, MFunctor, …

Foldable TreeDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
Traversable TreeDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadTrans TreeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MMonad TreeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadTransDistributive TreeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MFunctor TreeTDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadError e m => MonadError e (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadReader r m => MonadReader r (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadState s m => MonadState s (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadWriter w m => MonadWriter w (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadBase b m => MonadBase b (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadBaseControl b m => MonadBaseControl b (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Monad m => Monad (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Functor m => Functor (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Applicative m => Applicative (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Alternative m => Alternative (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadPlus m => MonadPlus (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadIO m => MonadIO (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Monad m => MonadZip (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
Show1 m => Show1 (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadCatch m => MonadCatch (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadThrow m => MonadThrow (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
PrimMonad m => PrimMonad (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
MonadResource m => MonadResource (TreeT m)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
(Eq1 m, Eq a) => Eq (TreeT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
(Show1 m, Show a) => Show (TreeT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
type PrimState (TreeT m) = PrimState mDefined in hedgehog-1.7 · Hedgehog.Internal.Tree
type StM (TreeT m) a = StM m (NodeT m a)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree
type Transformer f TreeT m = (Monad m, Monad (f m), Monad (TreeT m), Monad (f (TreeT m)), MonadTrans f, MFunctor f)Defined in hedgehog-1.7 · Hedgehog.Internal.Tree