1 definition module GenParse
3 import StdGeneric, StdMaybe
5 class ParseInput s where
6 parseInput :: s -> (Maybe Char, s)
8 :: StringInput = { si_str :: !String, si_pos :: !Int}
9 mkStringInput :: String -> StringInput
11 instance ParseInput StringInput
12 instance ParseInput File
15 generic gParse a :: Expr -> Maybe a
17 derive gParse Int, Char, Bool, Real, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {!}, {}
19 parseString :: String -> Maybe a | gParse{|*|} a
20 parseFile :: File -> Maybe a | gParse{|*|} a