Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.SizedTypes.Utils

Synopsis

Documentation

class Eq a => Top a where Source #

Minimal complete definition

Methods

Instances

Top Cmp Source #
Methods top :: Cmp Source # isTop :: Cmp -> Bool Source #
Top Label Source #
Methods top :: Label Source # isTop :: Label -> Bool Source #
Top Weight Source #
Methods top :: Weight Source # isTop :: Weight -> Bool Source #
(Ord r, Ord f, Top a) => Top (Edge' r f a) Source #
Methods top :: Edge' r f a Source # isTop :: Edge' r f a -> Bool Source #

class Plus a b c where Source #

Minimal complete definition

Methods

plus :: a -> b -> c Source #

Instances

Plus Int Int Int Source #
Methods plus :: Int -> Int -> Int Source #
Plus Offset Offset Offset Source #
Methods plus :: Offset -> Offset -> Offset Source #
Plus Offset Weight Weight Source #
Methods plus :: Offset -> Weight -> Weight Source #
Plus Weight Offset Weight Source #
Methods plus :: Weight -> Offset -> Weight Source #
Plus NamedRigid Int NamedRigid Source #
Methods plus :: NamedRigid -> Int -> NamedRigid Source #
Plus (SizeExpr' r f) Offset (SizeExpr' r f) Source #	Add offset to size expression.
Methods plus :: SizeExpr' r f -> Offset -> SizeExpr' r f Source #
Plus (SizeExpr' r f) Label (SizeExpr' r f) Source #
Methods plus :: SizeExpr' r f -> Label -> SizeExpr' r f Source #
Plus (SizeExpr' r f) Weight (SizeExpr' r f) Source #
Methods plus :: SizeExpr' r f -> Weight -> SizeExpr' r f Source #

Minimal complete definition

Methods

meet :: a -> a -> a Source #

Instances

MeetSemiLattice Cmp Source #
Methods meet :: Cmp -> Cmp -> Cmp Source #
MeetSemiLattice Offset Source #
Methods meet :: Offset -> Offset -> Offset Source #
MeetSemiLattice Label Source #
Methods meet :: Label -> Label -> Label Source #
MeetSemiLattice Weight Source #
Methods meet :: Weight -> Weight -> Weight Source #
(Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a) Source #
Methods meet :: Edge' r f a -> Edge' r f a -> Edge' r f a Source #

Semiring with idempotent + == dioid

Minimal complete definition

Methods

compose :: a -> a -> a Source #

Instances

Dioid Cmp Source #
Methods compose :: Cmp -> Cmp -> Cmp Source # unitCompose :: Cmp Source #
Dioid Label Source #
Methods compose :: Label -> Label -> Label Source # unitCompose :: Label Source #
Dioid Weight Source #
Methods compose :: Weight -> Weight -> Weight Source # unitCompose :: Weight Source #
(Ord r, Ord f, Dioid a) => Dioid (Edge' r f a) Source #
Methods compose :: Edge' r f a -> Edge' r f a -> Edge' r f a Source # unitCompose :: Edge' r f a Source #