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

Language | Haskell98 |

- debug :: Bool
- trace :: String -> a -> a
- traceM :: Applicative f => String -> f ()
- class Eq a => Top a where
- class Plus a b c where
- class MeetSemiLattice a where
- class (MeetSemiLattice a, Top a) => Dioid a where

# Documentation

traceM :: Applicative f => String -> f () Source #

class Plus a b c where Source #

Plus Int Int Int Source # | |

Plus Offset Offset Offset Source # | |

Plus Offset Weight Weight Source # | |

Plus Weight Offset Weight Source # | |

Plus NamedRigid Int NamedRigid Source # | |

Plus (SizeExpr' r f) Offset (SizeExpr' r f) Source # | Add offset to size expression. |

Plus (SizeExpr' r f) Label (SizeExpr' r f) Source # | |

Plus (SizeExpr' r f) Weight (SizeExpr' r f) Source # | |

class MeetSemiLattice a where Source #

MeetSemiLattice Cmp Source # | |

MeetSemiLattice Offset Source # | |

MeetSemiLattice Label Source # | |

MeetSemiLattice Weight Source # | |

(Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a) Source # | |