From afc34d76c845f1be96818addcffb4f70d9d2ea9d Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Fri, 24 Nov 2017 17:38:54 +0100
Subject: Work on containers

---
 edit-lens/src/Control/Lens/Edit.lhs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'edit-lens/src/Control/Lens/Edit.lhs')

diff --git a/edit-lens/src/Control/Lens/Edit.lhs b/edit-lens/src/Control/Lens/Edit.lhs
index 5a60536..0a679cb 100644
--- a/edit-lens/src/Control/Lens/Edit.lhs
+++ b/edit-lens/src/Control/Lens/Edit.lhs
@@ -1,13 +1,16 @@
+\begin{comment}
 \begin{code}
 module Control.Lens.Edit
   ( Module(..)
   , StateMonoidHom
   , HasEditLens(..)
   , EditLens(..)
+  , module Control.Edit
   ) where
 
 import Control.Edit
 \end{code}
+\end{comment}
 
 \begin{defn}[Zustandsbehaftete Monoidhomomorphismen]
 Mit einer Menge von Komplementen $C$ und Monoiden $M$ und $N$ nennen wir eine partielle Funktion $\psi \colon C \times M \to C \times N$ einen zustandsbehafteten Monoidhomomorphismus wenn sie den folgenden Ansprüchen genügt:
@@ -45,7 +48,7 @@ In Haskell erwähnen wir die Konsistenzrelation nicht in der Erwartung, dass $\R
 
 \begin{code}
 data EditLens c m n where
-  EditLens :: (Module m, Module n) => c -> StateMonoidHom c m n -> StateMonoidHom c n m -> EditLens c m n
+  EditLens :: c -> StateMonoidHom c m n -> StateMonoidHom c n m -> EditLens c m n
 
 class (Module m, Module n) => HasEditLens l m n | l -> m, l -> n where
   type Complement l :: *
-- 
cgit v1.2.3