category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Comonad.Coideal
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Contents
Coideal Comonads
Mutual recursion for (co)ideal (co)monad (co)products
Coideal Comonad Product
Description
Synopsis
class Functor w => ComonadCoideal w where
coidealize :: w a -> w (a, w a)
type Coideal = Ap (,)
coideal :: (a, f a) -> Coideal f a
buildCoideal :: Coalgebra m a -> a -> Coideal m a
newtype Mutual p m n a = Mutual {
runMutual :: m (p a (Mutual p n m a))
}
type :* m n = Mutual' (,) m n
Coideal Comonads
class Functor w => ComonadCoideal w whereSource
Methods
coidealize :: w a -> w (a, w a)Source
type Coideal = Ap (,)Source
coideal :: (a, f a) -> Coideal f aSource
buildCoideal :: Coalgebra m a -> a -> Coideal m aSource
Mutual recursion for (co)ideal (co)monad (co)products
newtype Mutual p m n a Source
Constructors
Mutual
runMutual :: m (p a (Mutual p n m a))
show/hide Instances
Coideal Comonad Product
type :* m n = Mutual' (,) m nSource
Produced by Haddock version 2.4.2