Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ParseResult : Type -> Type
- ParseResult parseResult = Either String (String, parseResult)
- Parser : Type -> Type
- Parser parseResult = String -> ParseResult parseResult
- implementation Functor (Parser a) where
- map f p = (\s => (f <$> (p s)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement