Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.SizedTypes.Utils
- 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 () #
Minimal complete definition
Minimal complete definition
Instances
Plus Int Int Int # | |
Plus Offset Offset Offset # | |
Plus Offset Weight Weight # | |
Plus Weight Offset Weight # | |
Plus NamedRigid Int NamedRigid # | |
Plus (SizeExpr' r f) Offset (SizeExpr' r f) # | Add offset to size expression. |
Plus (SizeExpr' r f) Label (SizeExpr' r f) # | |
Plus (SizeExpr' r f) Weight (SizeExpr' r f) # | |
class MeetSemiLattice a where #
Minimal complete definition
Instances
MeetSemiLattice Cmp # | |
MeetSemiLattice Offset # | |
MeetSemiLattice Label # | |
MeetSemiLattice Weight # | |
(Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a) # | |