Safe Haskell | None |
---|
- debug :: Bool
- trace :: String -> a -> a
- traceM :: Applicative f => String -> f ()
- ($>) :: Functor f => f b -> a -> f a
- 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
class MeetSemiLattice a whereSource
MeetSemiLattice Cmp | |
MeetSemiLattice Offset | |
MeetSemiLattice Label | |
MeetSemiLattice Weight | |
(Show r, Show f, Show a, Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a) |