Replace RProxy with Proxy

Author: JordanMartinez

src/Data/Bounded.purs

@@ -110,5 +110,5 @@ instance boundedRecord
        , BoundedRecord list row row
        )
     => Bounded (Record row) where
-  top = topRecord (Proxy :: Proxy list) (RProxy :: RProxy row)
-  bottom = bottomRecord (Proxy :: Proxy list) (RProxy :: RProxy row)
+  top = topRecord (Proxy :: Proxy list) (Proxy :: Proxy row)
+  bottom = bottomRecord (Proxy :: Proxy list) (Proxy :: Proxy row)

src/Data/HeytingAlgebra.purs

@@ -97,8 +97,8 @@ instance heytingAlgebraProxy3 :: HeytingAlgebra (Proxy3 a) where
   tt = Proxy3
 
 instance heytingAlgebraRecord :: (RL.RowToList row list, HeytingAlgebraRecord list row row) => HeytingAlgebra (Record row) where
-  ff = ffRecord  (Proxy :: Proxy list) (RProxy :: RProxy row)
-  tt = ttRecord  (Proxy :: Proxy list) (RProxy :: RProxy row)
+  ff = ffRecord  (Proxy :: Proxy list) (Proxy :: Proxy row)
+  tt = ttRecord  (Proxy :: Proxy list) (Proxy :: Proxy row)
   conj = conjRecord  (Proxy :: Proxy list)
   disj = disjRecord  (Proxy :: Proxy list)
   implies = impliesRecord  (Proxy :: Proxy list)

src/Data/Semiring.purs

@@ -87,8 +87,8 @@ instance semiringProxy3 :: Semiring (Proxy3 a) where
 instance semiringRecord :: (RL.RowToList row list, SemiringRecord list row row) => Semiring (Record row) where
   add = addRecord (Proxy :: Proxy list)
   mul = mulRecord (Proxy :: Proxy list)
-  one = oneRecord (Proxy :: Proxy list) (RProxy :: RProxy row)
-  zero = zeroRecord (Proxy :: Proxy list) (RProxy :: RProxy row)
+  one = oneRecord (Proxy :: Proxy list) (Proxy :: Proxy row)
+  zero = zeroRecord (Proxy :: Proxy list) (Proxy :: Proxy row)
 
 foreign import intAdd :: Int -> Int -> Int
 foreign import intMul :: Int -> Int -> Int
@@ -133,11 +133,11 @@ instance semiringRecordCons
   oneRecord _ _ = insert one tail
     where
       key = reflectSymbol (SProxy :: SProxy key)
-      tail = oneRecord (Proxy :: Proxy rowlistTail) (RProxy :: RProxy row)
+      tail = oneRecord (Proxy :: Proxy rowlistTail) (Proxy :: Proxy row)
       insert = unsafeSet key :: focus -> Record subrowTail -> Record subrow
 
   zeroRecord _ _ = insert zero tail
     where
       key = reflectSymbol (SProxy :: SProxy key)
-      tail = zeroRecord (Proxy :: Proxy rowlistTail) (RProxy :: RProxy row)
+      tail = zeroRecord (Proxy :: Proxy rowlistTail) (Proxy :: Proxy row)
       insert = unsafeSet key :: focus -> Record subrowTail -> Record subrow

src/Type/Data/Row.purs

@@ -14,7 +14,7 @@ module Type.Data.Row where
 -- | Then applying this function to an `RProxy` with a specialised type
 -- | allows us to specify a concrete type for `row`:
 -- | ```purescript
--- | :t recordIdentity (RProxy :: RProxy ( x :: Int, y :: Int ))
+-- | :t recordIdentity (Proxy :: Proxy ( x :: Int, y :: Int ))
 -- | { x :: Int, y :: Int } -> { x :: Int, y :: Int }
 -- | ```
 -- | Here `row` has been specialised to `( x :: Int, y :: Int )`.