Idris2Doc : Syntax.Monad.Logic

Syntax.Monad.Logic

(source)
Reexports
import public Language.Implicits.IfUnsolved
Definitions
(&&) : Monad m => m Bool -> m Bool -> m Bool
  Totality: total
  Visibility: public export
  Fixity Declaration: infixr operator, level 5
(||) : Monad m => m Bool -> m Bool -> m Bool
  Totality: total
  Visibility: public export
  Fixity Declaration: infixr operator, level 4
all : Monad n => Foldable f => Functor f => {auto 0 _ : IfUnsolved f List} -> (a -> n Bool) -> f a -> n Bool
  Totality: total
  Visibility: public export
any : Monad n => Foldable f => Functor f => {auto 0 _ : IfUnsolved f List} -> (a -> n Bool) -> f a -> n Bool
  Totality: total
  Visibility: public export