Perspectives.Instances.Combinators

closure :: forall a m. Eq a => Monad m => (a -> ArrayT m a) -> (a -> ArrayT m a)

The closure of f, not including the root argument. The closure of f contains no double entries iff the result of f contains no double entries.

closure_ :: forall a m. Eq a => Monad m => (a -> ArrayT m a) -> (a -> ArrayT m a)

The closure of f, including the root argument. The closure of f contains no double entries iff the result of f contains no double entries.

filter :: forall m a o. Monad m => (a -> ArrayT m o) -> (o -> ArrayT m Boolean) -> (a -> ArrayT m o)

filter' :: forall m a o. Monad m => (a -> ArrayT m o) -> (o -> Boolean) -> (a -> ArrayT m o)

cond :: forall m s o. Monad m => (s -> ArrayT m Boolean) -> (s -> ArrayT m o) -> (s -> ArrayT m o) -> (s -> ArrayT m o)

disjunction :: forall m s o. Monad m => (s -> ArrayT m o) -> (s -> ArrayT m o) -> (s -> ArrayT m o)

Prefer the left solution over the right one.

conjunction :: forall m s o. Eq o => Monad m => (s -> ArrayT m o) -> (s -> ArrayT m o) -> (s -> ArrayT m o)

Join the results.