lude

commit 7e981456d81795e178028c11d94d324d99b0bdec
parent f18c328fe4c11b3e7cf33a7c60768086d5631be3
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 21 Sep 2026 16:20:45 -0700

Algebra.Category.Iso: add isoCoerce TODO

Diffstat:
M
src/Lude/Algebra/Category/Iso.hs
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Algebra/Category/Iso.hs b/src/Lude/Algebra/Category/Iso.hs
@@ -37,3 +37,9 @@ instance (Categorical p) => Functorial (Iso p) where
     type Dom (Iso p) = Dual (Iso p)
     type Cod (Iso p) = Iso p ==> Function
     map (MkDual f) = Naturally (. f)
+
+--------------------------------------------------------------------------------
+
+-- TODO: ?
+-- isoCoerce :: forall (a :: Type) (b :: Type). (Coercible a b) => Iso Function a b
+-- isoCoerce = MkIso coerce coerce