Idris2Doc : Algebra.ZeroOneOmega

Algebra.ZeroOneOmega

(source)

Definitions

dataZeroOneOmega : Type
Totality: total
Visibility: export
Constructors:
Rig0 : ZeroOneOmega
Rig1 : ZeroOneOmega
RigW : ZeroOneOmega

Hints:
EqZeroOneOmega
PreorderZeroOneOmega
SemiringZeroOneOmega
ShowZeroOneOmega
TopZeroOneOmega
rigPlus : ZeroOneOmega->ZeroOneOmega->ZeroOneOmega
Totality: total
Visibility: export
rigMult : ZeroOneOmega->ZeroOneOmega->ZeroOneOmega
Totality: total
Visibility: export