Module

Control.MonadPlus.Free

Package: purescript-free-monadplus
Repository: Risto-Stevcev/purescript-free-monadplus

#FreeMonadPlus Source

data FreeMonadPlus f a

Constructors

Pure a
Bind (f (FreeMonadPlus f a))
Plus (List (FreeMonadPlus f a))

Instances

(Eq (f (FreeMonadPlus f a)), Eq a) => Eq (FreeMonadPlus f a)
(Ord (f (FreeMonadPlus f a)), Ord a) => Ord (FreeMonadPlus f a)
(Functor f) => Functor (FreeMonadPlus f)
(Functor f) => Apply (FreeMonadPlus f)
(Functor f) => Applicative (FreeMonadPlus f)
(Functor f) => Bind (FreeMonadPlus f)
(Functor f) => Monad (FreeMonadPlus f)
(Functor f) => Alt (FreeMonadPlus f)
(Functor f) => Plus (FreeMonadPlus f)
(Functor f) => Alternative (FreeMonadPlus f)
(Functor f) => MonadZero (FreeMonadPlus f)
(Functor f) => MonadPlus (FreeMonadPlus f)
(Functor f) => Semigroup (FreeMonadPlus f a)
(Functor f) => Monoid (FreeMonadPlus f a)
(Foldable f) => Foldable (FreeMonadPlus f)
(Traversable f) => Traversable (FreeMonadPlus f)

#iter Source

iter :: forall a f. Functor f => (f a -> a) -> (List a -> a) -> FreeMonadPlus f a -> a

#iterM Source

iterM :: forall a m f. Monad m => Functor f => (f (m a) -> m a) -> (List (m a) -> m a) -> FreeMonadPlus f a -> m a

#hoistFree Source

hoistFree :: forall g f. Functor g => (f ~> g) -> (FreeMonadPlus f) ~> (FreeMonadPlus g)

#liftFree Source

liftFree :: forall f. Functor f => f ~> (FreeMonadPlus f)

#lowerFree Source

lowerFree :: forall f. MonadPlus f => (FreeMonadPlus f) ~> f

#foldFree Source

foldFree :: forall m f. MonadPlus m => Functor f => (f ~> m) -> (FreeMonadPlus f) ~> m

Modules: Control.MonadPlus.Free