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

Language | Haskell98 |

# Documentation

Morphism a |

(Commutative r, Monoidal r, Semiring r, PartialSemigroup a) => Coalgebra r (Morphism a) Source # | |

(Commutative r, Monoidal r, Semiring r, PartialMonoid a) => CounitalCoalgebra r (Morphism a) Source # | |

Eq a => Eq (Morphism a) Source # | |

Data a => Data (Morphism a) Source # | |

Ord a => Ord (Morphism a) Source # | |

Read a => Read (Morphism a) Source # | |

Show a => Show (Morphism a) Source # | |

PartialSemigroup a => PartialSemigroup (Morphism a) Source # | |

PartialMonoid a => PartialMonoid (Morphism a) Source # | |

PartialGroup a => PartialGroup (Morphism a) Source # | |