monad-ideals-0.1.0.0: Ideal Monads and coproduct of them
Quick Jump
Contents
Index
Index
&&&&
Control.Comonad.Coideal
:*
Control.Comonad.Coideal
:+
Control.Monad.Coproduct
bindDefault
Control.Monad.Ideal
buildCoideal
Control.Comonad.Coideal
Coideal
1 (Type/Class)
Control.Comonad.Coideal
2 (Data Constructor)
Control.Comonad.Coideal
coidealExtend
Control.Comonad.Coideal
CoidealProduct
Control.Comonad.Coideal
ComonadCoideal
Control.Comonad.Coideal
Coproduct
Control.Monad.Coproduct
destroyIdeal
Control.Monad.Ideal
eitherMonad
Control.Monad.Coproduct
foldMutual
Control.Functor.Internal.Mutual
getKeepLeft
Data.Functor.KeepLeft
getMultiple
Data.List.NotOne
hoistIdeal
Control.Monad.Ideal
hoistUnite
Control.Monad.Isolated
Ideal
Control.Monad.Ideal
ideal
Control.Monad.Ideal
idealBind
Control.Monad.Ideal
idealize
Control.Monad.Ideal
impureBind
Control.Monad.Isolated
impureBindDefault
Control.Monad.Ideal
inject1
Control.Monad.Coproduct
inject2
Control.Monad.Coproduct
Isolated
Control.Monad.Isolated
KeepLeft
1 (Type/Class)
Data.Functor.KeepLeft
2 (Data Constructor)
Data.Functor.KeepLeft
MonadIdeal
Control.Monad.Ideal
Multiple
Data.List.NotOne
Mutual
1 (Type/Class)
Control.Functor.Internal.Mutual
,
Control.Comonad.Coideal
,
Control.Monad.Coproduct
2 (Data Constructor)
Control.Functor.Internal.Mutual
,
Control.Comonad.Coideal
,
Control.Monad.Coproduct
NotOne
Data.List.NotOne
notOne
Data.List.NotOne
project1
Control.Comonad.Coideal
project2
Control.Comonad.Coideal
runCoideal
Control.Comonad.Coideal
runCoidealProduct
Control.Comonad.Coideal
runCoproduct
Control.Monad.Coproduct
runIdeal
Control.Monad.Ideal
runMutual
Control.Functor.Internal.Mutual
,
Control.Comonad.Coideal
,
Control.Monad.Coproduct
runUnite
Control.Monad.Isolated
toNonEmpty
Data.List.TwoOrMore
TwoOrMore
1 (Type/Class)
Data.List.TwoOrMore
2 (Data Constructor)
Data.List.TwoOrMore
twoOrMore
Data.List.TwoOrMore
unfoldMutual
Control.Functor.Internal.Mutual
Unite
1 (Type/Class)
Control.Monad.Isolated
2 (Data Constructor)
Control.Monad.Isolated
Zero
Data.List.NotOne
||||
Control.Monad.Coproduct