Module

Control.Monad.Logic.Class

Package
purescript-logic
Repository
mlang/purescript-logic

#MonadLogic Source

class (MonadPlus m) <= MonadLogic m  where

Members

Instances

#fairConjunction Source

fairConjunction :: forall m a b. MonadLogic m => m a -> (a -> m b) -> m b

#(>>-) Source

Operator alias for Control.Monad.Logic.Class.fairConjunction (non-associative / precedence 6)

#ifte Source

ifte :: forall m a b. MonadLogic m => m a -> (a -> m b) -> m b -> m b

#once Source

once :: forall m a. MonadLogic m => m a -> m a

#when Source

when :: forall m a b. MonadLogic m => m a -> (a -> m b) -> m b

#lnot Source

lnot :: forall m a. MonadLogic m => m a -> m Unit