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
- plus :: a -> b -> c
- class MeetSemiLattice a where
- meet :: a -> a -> a
- class (MeetSemiLattice a, Top a) => Dioid a where
- compose :: a -> a -> a
- unitCompose :: a
Documentation
traceM :: Applicative f => String -> f () 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 | |
(Show r, Show f, Show a, Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a) Source |
class (MeetSemiLattice a, Top a) => Dioid a where Source
Semiring with idempotent +
== dioid