Documentation
class (Monad m, Solver (TreeSolver m)) => MonadTree m whereSource
type TreeSolver m :: * -> *Source
addTo :: Constraint (TreeSolver m) -> m a -> m aSource
(\/) :: m a -> m a -> m aSource
exists :: Term (TreeSolver m) t => (t -> m a) -> m aSource
label :: TreeSolver m (m a) -> m aSource
prim :: MonadTree tree => TreeSolver tree a -> tree aSource
add :: MonadTree tree => Constraint (TreeSolver tree) -> tree ()Source