Modulehedgehog-1.7

Hedgehog.Internal.Tree

Synopsis

pattern Node
pattern Tree
value catMaybes
value consChild
value depth
value expand
value filter
value filterMaybeT
value filterT
value fromNodeT
value interleave
value mapMaybe
value mapMaybeMaybeT
value mapMaybeT
value mapTreeT
value prune
value render
value renderT
value runTree
value treeChildren
value treeValue
value unfold
value unfoldForest
type Node
data NodeT
type Tree
newtype TreeT

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