Safe Haskell | None |
---|---|

Language | Haskell98 |

- class Num r => Algebra r m where
- class Num r => Coalgebra r m where
- multRep :: (Representable f, Algebra r (Rep f)) => f (f r) -> f r
- unitalRep :: (Representable f, Algebra r (Rep f)) => r -> f r
- comultRep :: (Representable f, Coalgebra r (Rep f)) => f r -> f (f r)
- counitalRep :: (Representable f, Coalgebra r (Rep f)) => f r -> r

# Documentation

class Num r => Coalgebra r m where Source

A coassociative counital coalgebra over a ring

Num r => Coalgebra r () | |

Num r => Coalgebra r Void | |

(Num r, TrivialConjugate r) => Coalgebra r (E Quaternion) | |

Num r => Coalgebra r (E Complex) | |

Num r => Coalgebra r (E V4) | |

Num r => Coalgebra r (E V3) | |

Num r => Coalgebra r (E V2) | |

Num r => Coalgebra r (E V1) | |

Num r => Coalgebra r (E V0) | |

(Coalgebra r m, Coalgebra r n) => Coalgebra r (m, n) |

multRep :: (Representable f, Algebra r (Rep f)) => f (f r) -> f r Source

unitalRep :: (Representable f, Algebra r (Rep f)) => r -> f r Source

comultRep :: (Representable f, Coalgebra r (Rep f)) => f r -> f (f r) Source

counitalRep :: (Representable f, Coalgebra r (Rep f)) => f r -> r Source