
  0 | module Stellar.API.Monoid
  1 | 
  2 | import Stellar.API.Definition
  3 | 
  4 | public export
  5 | [ProdSemi] Semigroup API where
  6 |   (<+>) = (*)
  7 | 
  8 | public export
  9 | [ProdMon] Monoid API using ProdSemi where
 10 |   neutral = Forever
 11 | 
 12 | public export
 13 | [TensorSemi] Semigroup API where
 14 |   (<+>) = (//)
 15 | 
 16 | public export
 17 | [TensorMon] Monoid API using TensorSemi where
 18 |   neutral = End
 19 | 
 20 | public export
 21 | [CoprodSemi] Semigroup API where
 22 |   (<+>) = (+)
 23 | 
 24 | public export
 25 | [CoprodMon] Monoid API using CoprodSemi where
 26 |   neutral = Never
 27 | 
 28 | public export
 29 | [CompSemi] Semigroup API where
 30 |   (<+>) = (&>)
 31 | 
 32 | public export
 33 | [CompMon] Monoid API using CompSemi where
 34 |   neutral = End
 35 | 
 36 |