Alter ModuloSemiring case

prelude/README.md

@@ -64,7 +64,7 @@
 Ring where every nonzero element has a multiplicative inverse (possibly
 a non-commutative field) so that ```a `mod` b = zero```
 
-    class (Ring a, ModuloSemiRing a) <= DivisionRing a where
+    class (Ring a, ModuloSemiring a) <= DivisionRing a where
 
 #### `Eq`
 
@@ -77,12 +77,12 @@ a non-commutative field) so that ```a `mod` b = zero```
     class Functor f where
       (<$>) :: forall a b. (a -> b) -> f a -> f b
 
-#### `ModuloSemiRing`
+#### `ModuloSemiring`
 
 Semiring with modulo operation and division where
 ```a / b * b + (a `mod` b) = a```
 
-    class (Semiring a) <= ModuloSemiRing a where
+    class (Semiring a) <= ModuloSemiring a where
       (/) :: a -> a -> a
       mod :: a -> a -> a
 
@@ -192,9 +192,9 @@ Addition and multiplication
 
     instance functorArr :: Functor (Prim.Function r)
 
-#### `moduloSemiRingNumber`
+#### `moduloSemiringNumber`
 
-    instance moduloSemiRingNumber :: ModuloSemiRing Number
+    instance moduloSemiringNumber :: ModuloSemiring Number
 
 #### `monadArr`
 

prelude/prelude.purs

@@ -14,7 +14,7 @@ module Prelude
   , Bind, (>>=)
   , Monad, return, liftM1, ap
   , Semiring, (+), zero, (*), one
-  , ModuloSemiRing, (/), mod
+  , ModuloSemiring, (/), mod
   , Ring, (-)
   , (%)
   , negate
@@ -219,7 +219,7 @@ module Prelude
 
   -- | Semiring with modulo operation and division where
   -- | ```a / b * b + (a `mod` b) = a```
-  class (Semiring a) <= ModuloSemiRing a where
+  class (Semiring a) <= ModuloSemiring a where
     (/) :: a -> a -> a
     mod :: a -> a -> a
 
@@ -232,7 +232,7 @@ module Prelude
 
   -- | Ring where every nonzero element has a multiplicative inverse (possibly
   -- | a non-commutative field) so that ```a `mod` b = zero```
-  class (Ring a, ModuloSemiRing a) <= DivisionRing a
+  class (Ring a, ModuloSemiring a) <= DivisionRing a
 
   -- | A commutative field
   class (DivisionRing a) <= Num a
@@ -293,7 +293,7 @@ module Prelude
   instance ringNumber :: Ring Number where
     (-) = numSub
 
-  instance moduloSemiRingNumber :: ModuloSemiRing Number where
+  instance moduloSemiringNumber :: ModuloSemiring Number where
     (/) = numDiv
     mod _ _ = 0
 

src/Language/PureScript/CodeGen/JS/Optimizer/Inliner.hs

@@ -105,7 +105,7 @@ inlineCommonOperators = applyAll $
   , binary C.semiringNumber (C.*) Multiply
   , binary C.ringNumber (C.-) Subtract
   , unary  C.ringNumber C.negate Negate
-  , binary C.moduloSemiRingNumber (C./) Divide
+  , binary C.moduloSemiringNumber (C./) Divide
 
   , binary C.ordNumber (C.<) LessThan
   , binary C.ordNumber (C.>) GreaterThan

src/Language/PureScript/Constants.hs

@@ -175,8 +175,8 @@ semiringNumber = "semiringNumber"
 ringNumber :: String
 ringNumber = "ringNumber"
 
-moduloSemiRingNumber :: String
-moduloSemiRingNumber = "moduloSemiRingNumber"
+moduloSemiringNumber :: String
+moduloSemiringNumber = "moduloSemiringNumber"
 
 numNumber :: String
 numNumber = "numNumber"