Idris2Doc
: algebra
Index
Default
Alternative
Black & White
Package algebra - Namespaces
Algebra.Group
Algebra.OrderedRing
Algebra.Ring
Algebra.Solver.Group
Algebra.Solver.Monoid
Algebra.Solver.Ops
Algebra.Solver.Product
Algebra.Solver.Ring
Algebra.Solver.Semigroup
Algebra.Solver.Semiring
Algebra.Solver.Sum
Control.Relation.ReflexiveClosure
Utility for describing chains of values linked via a transitive relation.
Control.Relation.Trichotomy
Data.Maybe.Lower
Data.Maybe.Upper
Data.Maybe0
Data.Either0
Data.Pair0
Data.Prim.Bits8
Data.Prim.Bits16
Data.Prim.Bits32
Data.Prim.Bits64
Data.Prim.Char
Data.Prim.Int8
Data.Prim.Int16
Data.Prim.Int32
Data.Prim.Int64
Data.Prim.Integer
Data.Prim.String