Update all RLProxy to forall rlproxy. rlproxy

Author: JordanMartinez

src/Data/Eq.purs

@@ -12,7 +12,7 @@ import Prim.Row as Row
 import Prim.RowList as RL
 import Record.Unsafe (unsafeGet)
 import Type.Data.RowList (RLProxy(..))
-import Type.Proxy (Proxy, Proxy2, Proxy3)
+import Type.Proxy (Proxy(..), Proxy2, Proxy3)
 
 -- | The `Eq` type class represents types which support decidable equality.
 -- |
@@ -95,7 +95,7 @@ notEq1 x y = (x `eq1` y) == false
 -- | A class for records where all fields have `Eq` instances, used to implement
 -- | the `Eq` instance for records.
 class EqRecord rowlist row where
-  eqRecord :: RLProxy rowlist -> Record row -> Record row -> Boolean
+  eqRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Boolean
 
 instance eqRowNil :: EqRecord RL.Nil row where
   eqRecord _ _ _ = true

src/Data/HeytingAlgebra.purs

@@ -113,10 +113,10 @@ foreign import boolNot :: Boolean -> Boolean
 class HeytingAlgebraRecord rowlist row subrow | rowlist -> subrow where
   ffRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
   ttRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
-  impliesRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
-  disjRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
-  conjRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
-  notRecord :: RLProxy rowlist -> Record row -> Record subrow
+  impliesRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
+  disjRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
+  conjRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
+  notRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record subrow
 
 instance heytingAlgebraRecordNil :: HeytingAlgebraRecord RL.Nil row () where
   conjRecord _ _ _ = {}

src/Data/Monoid.purs

@@ -12,12 +12,12 @@ import Data.EuclideanRing (mod, (/))
 import Data.Ord ((<=))
 import Data.Ordering (Ordering(..))
 import Data.Semigroup (class Semigroup, class SemigroupRecord, (<>))
-import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
+import Data.Symbol (class IsSymbol, reflectSymbol)
 import Data.Unit (Unit, unit)
 import Prim.Row as Row
 import Prim.RowList as RL
 import Record.Unsafe (unsafeSet)
-import Type.Data.RowList (RLProxy(..))
+import Type.Proxy (Proxy(..))
 
 -- | A `Monoid` is a `Semigroup` with a value `mempty`, which is both a
 -- | left and right unit for the associative operation `<>`:
@@ -89,8 +89,9 @@ guard false _ = mempty
 
 -- | A class for records where all fields have `Monoid` instances, used to
 -- | implement the `Monoid` instance for records.
+class MonoidRecord :: RL.RowList Type -> Row Type -> Row Type -> Constraint
 class SemigroupRecord rowlist row subrow <= MonoidRecord rowlist row subrow | rowlist -> row subrow where
-  memptyRecord :: RLProxy rowlist -> Record subrow
+  memptyRecord :: forall rlproxy. rlproxy rowlist -> Record subrow
 
 instance monoidRecordNil :: MonoidRecord RL.Nil row () where
   memptyRecord _ = {}
@@ -105,6 +106,6 @@ instance monoidRecordCons
   memptyRecord _
     = insert mempty tail
     where
-      key = reflectSymbol (SProxy :: SProxy key)
+      key = reflectSymbol (Proxy :: Proxy key)
       insert = unsafeSet key :: focus -> Record subrowTail -> Record subrow
       tail = memptyRecord (Proxy :: Proxy rowlistTail)

src/Data/Ord.purs

@@ -25,7 +25,7 @@ import Prim.Row as Row
 import Prim.RowList as RL
 import Record.Unsafe (unsafeGet)
 import Type.Data.RowList (RLProxy(..))
-import Type.Proxy (Proxy, Proxy2, Proxy3)
+import Type.Proxy (Proxy(..), Proxy2, Proxy3)
 
 -- | The `Ord` type class represents types which support comparisons with a
 -- | _total order_.
@@ -225,7 +225,7 @@ instance ord1Array :: Ord1 Array where
   compare1 = compare
 
 class EqRecord rowlist row <= OrdRecord rowlist row where
-  compareRecord :: RLProxy rowlist -> Record row -> Record row -> Ordering
+  compareRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Ordering
 
 instance ordRecordNil :: OrdRecord RL.Nil row where
   compareRecord _ _ _ = EQ

src/Data/Ring.purs

@@ -59,7 +59,7 @@ foreign import numSub :: Number -> Number -> Number
 -- | A class for records where all fields have `Ring` instances, used to
 -- | implement the `Ring` instance for records.
 class SemiringRecord rowlist row subrow <= RingRecord rowlist row subrow | rowlist -> subrow where
-  subRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
+  subRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
 
 instance ringRecordNil :: RingRecord RL.Nil row () where
   subRecord _ _ _ = {}

src/Data/Semigroup.purs

@@ -67,7 +67,7 @@ foreign import concatArray :: forall a. Array a -> Array a -> Array a
 -- | A class for records where all fields have `Semigroup` instances, used to
 -- | implement the `Semigroup` instance for records.
 class SemigroupRecord rowlist row subrow | rowlist -> subrow where
-  appendRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
+  appendRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
 
 instance semigroupRecordNil :: SemigroupRecord RL.Nil row () where
   appendRecord _ _ _ = {}

src/Data/Semiring.purs

@@ -98,8 +98,8 @@ foreign import numMul :: Number -> Number -> Number
 -- | A class for records where all fields have `Semiring` instances, used to
 -- | implement the `Semiring` instance for records.
 class SemiringRecord rowlist row subrow | rowlist -> subrow where
-  addRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
-  mulRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
+  addRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
+  mulRecord :: forall rlproxy. rlproxy rowlist -> Record row -> Record row -> Record subrow
   oneRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
   zeroRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
 

src/Data/Show.purs

@@ -7,7 +7,7 @@ import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
 import Prim.RowList as RL
 import Record.Unsafe (unsafeGet)
 import Type.Data.RowList (RLProxy(..))
-import Type.Proxy (Proxy, Proxy2, Proxy3)
+import Type.Proxy (Proxy(..), Proxy2, Proxy3)
 
 -- | The `Show` type class represents those types which can be converted into
 -- | a human-readable `String` representation.
@@ -53,8 +53,9 @@ instance showRecord :: (RL.RowToList rs ls, ShowRecordFields ls rs) => Show (Rec
 
 -- | A class for records where all fields have `Show` instances, used to
 -- | implement the `Show` instance for records.
+class ShowRecordFields :: RL.RowList Type -> Row Type -> Constraint
 class ShowRecordFields rowlist row where
-  showRecordFields :: RLProxy rowlist -> Record row -> Array String
+  showRecordFields :: forall rlproxy. rlproxy rowlist -> Record row -> Array String
 
 instance showRecordFieldsNil :: ShowRecordFields RL.Nil row where
   showRecordFields _ _ = []