iface: rename `runViewer` to `view`

diff --git a/src/Symantic/Semantics/Viewer.hs b/src/Symantic/Semantics/Viewer.hs
index e4eb93236575e646605286ff017353d02bb5fb0e..08e4d962e9175a1843dd7e3bb0db3c28e24ede79 100644 (file)
--- a/src/Symantic/Semantics/Viewer.hs
+++ b/src/Symantic/Semantics/Viewer.hs
@@ -27,15 +27,15 @@ data Viewer a where
   ViewerInfix :: Infix -> String -> String -> Viewer (a -> b -> c)
   ViewerApp :: Viewer (b -> a) -> Viewer b -> Viewer a
 
-runViewer :: Viewer a -> ViewerEnv -> ShowS
-runViewer (Viewer v) env = v env
-runViewer (ViewerInfix _op name _infixName) _env = showString name
-runViewer (ViewerUnifix _op name _unifixName) _env = showString name
-runViewer (ViewerApp f x) env =
+view :: Viewer a -> ViewerEnv -> ShowS
+view (Viewer v) env = v env
+view (ViewerInfix _op name _infixName) _env = showString name
+view (ViewerUnifix _op name _unifixName) _env = showString name
+view (ViewerApp f x) env =
   pairViewer env op Fun.$
-    runViewer f env{viewEnv_op = (op, SideL)}
+    view f env{viewEnv_op = (op, SideL)}
       Fun.. showString " "
-      Fun.. runViewer x env{viewEnv_op = (op, SideR)}
+      Fun.. view x env{viewEnv_op = (op, SideR)}
   where
     op = infixN 10
 
@@ -49,7 +49,7 @@ instance IsString (Viewer a) where
   fromString s = Viewer Fun.$ \_env -> showString s
 instance Show (Viewer a) where
   showsPrec p =
-    ( `runViewer`
+    ( `view`
         ViewerEnv
           { viewEnv_op = (infixN p, SideL)
           , viewEnv_pair = pairParen
@@ -80,7 +80,7 @@ instance Abstractable Viewer where
        in showString "\\"
             Fun.. x
             Fun.. showString " -> "
-            Fun.. runViewer
+            Fun.. view
               (f (Viewer (\_env -> x)))
               env
                 { viewEnv_op = (op, SideL)
@@ -95,7 +95,7 @@ instance Abstractable1 Viewer where
        in showString "\\"
             Fun.. x
             Fun.. showString " -> "
-            Fun.. runViewer
+            Fun.. view
               (f (Viewer (\_env -> x)))
               env
                 { viewEnv_op = (op, SideL)
@@ -106,14 +106,14 @@ instance Abstractable1 Viewer where
 instance Instantiable Viewer where
   ViewerInfix op _name infixName .@ ViewerApp x y = Viewer Fun.$ \env ->
     pairViewer env op Fun.$
-      runViewer x env{viewEnv_op = (op, SideL)}
+      view x env{viewEnv_op = (op, SideL)}
         Fun.. showString " "
         Fun.. showString infixName
         Fun.. showString " "
-        Fun.. runViewer y env{viewEnv_op = (op, SideR)}
+        Fun.. view y env{viewEnv_op = (op, SideR)}
   ViewerInfix op name _infixName .@ x = Viewer Fun.$ \env ->
     showParen Prelude.True Fun.$
-      runViewer x env{viewEnv_op = (op, SideL)}
+      view x env{viewEnv_op = (op, SideL)}
         Fun.. showString " "
         Fun.. showString name
   f .@ x = ViewerApp f x
@@ -147,10 +147,10 @@ instance IfThenElseable Viewer where
   ifThenElse test ok ko = Viewer Fun.$ \env ->
     pairViewer env op Fun.$
     showString "if"
-      Fun.. runViewer test env{viewEnv_op = (op, SideL)}
+      Fun.. view test env{viewEnv_op = (op, SideL)}
       Fun.. showString "then"
-      Fun.. runViewer ok env{viewEnv_op = (op, SideL)}
+      Fun.. view ok env{viewEnv_op = (op, SideL)}
       Fun.. showString "else"
-      Fun.. runViewer ko env{viewEnv_op = (op, SideL)}
+      Fun.. view ko env{viewEnv_op = (op, SideL)}
     where
     op = infixN 0