Commit 06f9b5df authored by Mart Lubbers's avatar Mart Lubbers

Export binumap for the parser type so parser can be derived

parent 2195bffd
Pipeline #41390 failed with stage
in 53 seconds
......@@ -4,3 +4,4 @@ import StdGeneric
from Data.Maybe import :: Maybe
derive bimap Maybe, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive binumap Maybe, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
......@@ -4,3 +4,4 @@ import StdGeneric
from Data.Maybe import :: Maybe
derive bimap Maybe, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive binumap Maybe, [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
......@@ -5,9 +5,11 @@ from Control.Monad import class Monad, class MonadPlus
from Data.Either import :: Either
from Data.Functor import class Functor
from StdOverloaded import class ==
from StdGeneric import generic binumap
:: Error :== String
:: Parser t a
derive binumap Parser
// AMF instances
instance Functor (Parser t)
......
......@@ -9,6 +9,10 @@ import Data.Func
import Data.Functor
import Data.List
import StdGeneric
import Control.GenBimap
derive binumap Parser
:: PCont t a :== [t] -> ([(a, [t])], [Error])
:: Parser t a = Parser (PCont t a)
......
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