Commit 4bf912a2 authored by John van Groningen's avatar John van Groningen
Browse files

remove bimap{|*|} context

parent 039367a4
...@@ -14,7 +14,7 @@ mkStringPrintState :: PrintState StringOutput ...@@ -14,7 +14,7 @@ mkStringPrintState :: PrintState StringOutput
printToString :: a -> String | gPrint{|*|} a printToString :: a -> String | gPrint{|*|} a
(<<-) infixl 0 :: (PrintState *s) a -> *(PrintState *s) (<<-) infixl 0 :: (PrintState *s) a -> *(PrintState *s)
| gPrint{|*|} a & PrintOutput s & bimap{|*|} s | gPrint{|*|} a & PrintOutput s
instance PrintOutput StringOutput instance PrintOutput StringOutput
......
...@@ -278,7 +278,7 @@ gPrint{|{!}|} f xs st ...@@ -278,7 +278,7 @@ gPrint{|{!}|} f xs st
//derive gOutput (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,) //derive gOutput (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
//------------------------------------------------------------------------------------- //-------------------------------------------------------------------------------------
(<<-) infixl 0 :: (PrintState *s) a -> *(PrintState *s) | gPrint{|*|} a & PrintOutput s & bimap{|*|} s (<<-) infixl 0 :: (PrintState *s) a -> *(PrintState *s) | gPrint{|*|} a & PrintOutput s
(<<-) s x = gPrint{|*|} x s (<<-) s x = gPrint{|*|} x s
mkPrintState :: *s -> PrintState *s | PrintOutput s mkPrintState :: *s -> PrintState *s | PrintOutput s
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment