category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Comonad.Coideal
Portability
portable
Stability
experimental
Maintainer
Edward 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
where
Source
Methods
coidealize
:: w a -> w (a, w a)
Source
type
Coideal
=
Ap
(,)
Source
coideal
:: (a, f a) ->
Coideal
f a
Source
buildCoideal
::
Coalgebra
m a -> a ->
Coideal
m a
Source
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))
Instances
(
Bifunctor
p
Hask
Hask
Hask
,
Functor
m,
Functor
n) =>
Functor
(
Mutual
p m n)
Coideal Comonad Product
type
:*
m n = Mutual'
(,)
m n
Source
Produced by
Haddock
version 2.4.2