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)
#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)
- Modules
- Control.
MonadPlus. Free