From 3558ea17419ce0fbc5a893558cb281f390e12edb Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Mon, 6 Mar 2023 16:38:13 -0500 Subject: [PATCH] Implement `strongr` for Tambara directly --- Data/Profunctor/Strong.idr | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Data/Profunctor/Strong.idr b/Data/Profunctor/Strong.idr index 215aa0c..a184bce 100644 --- a/Data/Profunctor/Strong.idr +++ b/Data/Profunctor/Strong.idr @@ -106,7 +106,8 @@ Tensor ten i => ProfunctorComonad (GenTambara ten) where export Associative ten => Symmetric ten => Profunctor p => GenStrong ten (GenTambara ten p) where strongl (MkTambara p) = MkTambara $ dimap assoc.bwd assoc.fwd p - strongr = dimap swap swap . strongl {ten,p=GenTambara ten p} + strongr (MkTambara p) = MkTambara $ dimap (assoc.bwd . mapFst swap) + (mapFst swap . assoc.fwd) p export Bifunctor ten => Profunctor p => Functor (GenTambara ten p a) where