Idris2Doc : Algebra.ZeroOneOmega

Algebra.ZeroOneOmega

(source)
Definitions
data ZeroOneOmega : Type
  Totality: total
  Visibility: export
  Constructors:
  
Rig0 : ZeroOneOmega
  
Rig1 : ZeroOneOmega
  
RigW : ZeroOneOmega

  Hints:
  
Eq ZeroOneOmega
  
Preorder ZeroOneOmega
  
Semiring ZeroOneOmega
  
Show ZeroOneOmega
  
Top ZeroOneOmega
rigPlus : ZeroOneOmega -> ZeroOneOmega -> ZeroOneOmega
  Totality: total
  Visibility: export
rigMult : ZeroOneOmega -> ZeroOneOmega -> ZeroOneOmega
  Totality: total
  Visibility: export