Idris2Doc : Data.Magma

Data.Magma

(source)
Definitions
record RawMagma : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkRawMagma : (Carrier : Type) -> (Carrier -> Carrier -> Carrier) -> RawMagma

  Projections:
  
.Carrier : RawMagma -> Type
  
.Product : ({rec:0} : RawMagma) -> Carrier {rec:0} -> Carrier {rec:0} -> Carrier {rec:0}
.Carrier : RawMagma -> Type
  Totality: total
  Visibility: public export
Carrier : RawMagma -> Type
  Totality: total
  Visibility: public export
.Product : ({rec:0} : RawMagma) -> Carrier {rec:0} -> Carrier {rec:0} -> Carrier {rec:0}
  Totality: total
  Visibility: public export
Product : ({rec:0} : RawMagma) -> Carrier {rec:0} -> Carrier {rec:0} -> Carrier {rec:0}
  Totality: total
  Visibility: public export
rawMagma : Type -> RawMagma
  Totality: total
  Visibility: public export
rawMagma : RawMagma
  Totality: total
  Visibility: public export
rawMagma : RawMagma
  Totality: total
  Visibility: public export
rawMagma : RawMagma -> RawMagma
  Totality: total
  Visibility: public export
openMagma : (magma : RawMagma) -> Semigroup (magma .Carrier)
  Totality: total
  Visibility: public export