From 121965c3e550f285d3a428cbb6da10c97bfa9846 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 6 Dec 2022 13:50:12 +0000
Subject: refactor: rename pwSetoid -> Product.

---
 src/Data/Setoid/Product.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Data/Setoid')

diff --git a/src/Data/Setoid/Product.idr b/src/Data/Setoid/Product.idr
index 90510e5..6693d40 100644
--- a/src/Data/Setoid/Product.idr
+++ b/src/Data/Setoid/Product.idr
@@ -68,8 +68,8 @@ pwEquivalence eq = MkIndexedEquivalence
   }
 
 public export
-pwSetoid : IndexedSetoid a -> IndexedSetoid (List a)
-pwSetoid x = MkIndexedSetoid ((^) x.U) (pwEquivalence x.equivalence)
+Product : IndexedSetoid a -> IndexedSetoid (List a)
+Product x = MkIndexedSetoid ((^) x.U) (pwEquivalence x.equivalence)
 
 -- Introductors and Eliminators
 
-- 
cgit v1.2.3