| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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
- 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
Instances
| 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
Instances
| 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
Methods
Arguments
| :: a | |
| -> a | |
| -> a | E.g. + |
Arguments
| :: a | neutral element of |