ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.SizedTypes.Utils
- 4 classes
- 4 values
- PackageAgda-2.7.0.1
- Exports8
- LanguageHaskell2010
- LicenceMIT
- SourceUtils.hs
Instances4Top
Top CmpDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxTop LabelDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverTop WeightDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver(Ord r, Ord f, Top a) => Top (Edge' r f a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver
Methods
plus :: a -> b -> c
Instances8Plus, …
Plus NamedRigid Int NamedRigidDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxPlus Offset Offset OffsetDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxPlus Offset Weight WeightDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverPlus Weight Offset WeightDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverPlus Int Int IntDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.UtilsPlus (SizeExpr' r f) Offset (SizeExpr' r f)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxAdd offset to size expression.
Plus (SizeExpr' r f) Label (SizeExpr' r f)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverPlus (SizeExpr' r f) Weight (SizeExpr' r f)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver
Methods
meet :: a -> a -> a
Instances5MeetSemiLattice
MeetSemiLattice CmpDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxMeetSemiLattice OffsetDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxMeetSemiLattice LabelDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverMeetSemiLattice WeightDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver(Ord r, Ord f, MeetSemiLattice a) => MeetSemiLattice (Edge' r f a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver
Semiring with idempotent + == dioid
Methods
compose :: a -> a -> aunitCompose :: a
Instances4Dioid
Dioid CmpDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.SyntaxDioid LabelDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolverDioid WeightDefined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver(Ord r, Ord f, Dioid a) => Dioid (Edge' r f a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.SizedTypes.WarshallSolver