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

Language | Haskell98 |

- class SemiRing a where
- class SemiRing a => StarSemiRing a where

# Documentation

class SemiRing a where Source #

Semirings (https://en.wikipedia.org/wiki/Semiring).

SemiRing Occurrence Source # |
It forms a commutative semiring where For |

SemiRing Weight Source # | |

SemiRing Edge Source # | These operations form a semiring if we quotient by the relation
"the |

SemiRing a => SemiRing (Maybe a) Source # | |

class SemiRing a => StarSemiRing a where Source #

Star semirings (https://en.wikipedia.org/wiki/Semiring#Star_semirings).

StarSemiRing Occurrence Source # | |

StarSemiRing Edge Source # | As E.g. |

StarSemiRing a => StarSemiRing (Maybe a) Source # | |