ghc/lib/hbc/Parse_t.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Parse where
   3 import PreludeMonadicIO(Either)
   4 import PreludeStdIO(Maybe)
   5 infixr 8 +.+
   6 infixr 8 +..
   7 infixr 8 ..+
   8 infixr 4 |!!
   9 infixr 4 ||!
  10 infixr 4 |||
  11 infix  6 .>
  12 infix  6 >>>
  13 infix  6 `act`
  14 infix  6 `into`
  15 data ParseResult a b
  16 type Parser a b = a -> Int -> ParseResult a b
  17 (+.+) :: (a -> Int -> ParseResult a b) -> (a -> Int -> ParseResult a c) -> a -> Int -> ParseResult a (b, c)
  18         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  19 (+..) :: (b -> Int -> ParseResult b c) -> (b -> Int -> ParseResult b a) -> b -> Int -> ParseResult b c
  20         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  21 (..+) :: (b -> Int -> ParseResult b a) -> (b -> Int -> ParseResult b c) -> b -> Int -> ParseResult b c
  22         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  23 (.>) :: (b -> Int -> ParseResult b a) -> c -> b -> Int -> ParseResult b c
  24         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  25 (>>>) :: (c -> Int -> ParseResult c (a, b)) -> (a -> b -> d) -> c -> Int -> ParseResult c d
  26         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  27 act :: (b -> Int -> ParseResult b a) -> (a -> c) -> b -> Int -> ParseResult b c
  28         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  29 count :: (a -> Int -> ParseResult a b) -> Int -> a -> Int -> ParseResult a [b]
  30         {-# GHC_PRAGMA _A_ 2 _U_ 2122 _N_ _S_ "LU(P)" {_A_ 2 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ #-}
  31 failP :: [Char] -> a -> Int -> ParseResult a b
  32         {-# GHC_PRAGMA _A_ 3 _U_ 222 _N_ _N_ _N_ _N_ #-}
  33 into :: (b -> Int -> ParseResult b a) -> (a -> b -> Int -> ParseResult b c) -> b -> Int -> ParseResult b c
  34         {-# GHC_PRAGMA _A_ 4 _U_ 1222 _N_ _S_ "SLLL" _N_ _N_ #-}
  35 lit :: (Eq a, Text a) => a -> [a] -> Int -> ParseResult [a] a
  36         {-# GHC_PRAGMA _A_ 2 _U_ 11222 _N_ _N_ _N_ _N_ #-}
  37 litp :: [Char] -> (a -> Bool) -> [a] -> Int -> ParseResult [a] a
  38         {-# GHC_PRAGMA _A_ 4 _U_ 2122 _N_ _S_ "LLSL" _N_ _N_ #-}
  39 many :: (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a [b]
  40         {-# GHC_PRAGMA _A_ 1 _U_ 222 _N_ _S_ "S" _N_ _N_ #-}
  41 many1 :: (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a [b]
  42         {-# GHC_PRAGMA _A_ 1 _U_ 222 _N_ _S_ "S" _N_ _N_ #-}
  43 parse :: (b -> Int -> ParseResult b a) -> b -> Either ([[Char]], b) [(a, b)]
  44         {-# GHC_PRAGMA _A_ 2 _U_ 12 _N_ _S_ "SL" _N_ _N_ #-}
  45 recover :: (a -> Int -> ParseResult a b) -> ([[Char]] -> a -> Maybe (a, b)) -> a -> Int -> ParseResult a b
  46         {-# GHC_PRAGMA _A_ 4 _U_ 1122 _N_ _S_ "SLLL" _N_ _N_ #-}
  47 sParse :: Text a => ([a] -> Int -> ParseResult [a] b) -> [a] -> Either [Char] b
  48         {-# GHC_PRAGMA _A_ 1 _U_ 212 _N_ _N_ _N_ _N_ #-}
  49 sepBy :: (b -> Int -> ParseResult b c) -> (b -> Int -> ParseResult b a) -> b -> Int -> ParseResult b [c]
  50         {-# GHC_PRAGMA _A_ 2 _U_ 2222 _N_ _S_ "SL" _N_ _N_ #-}
  51 sepBy1 :: (b -> Int -> ParseResult b c) -> (b -> Int -> ParseResult b a) -> b -> Int -> ParseResult b [c]
  52         {-# GHC_PRAGMA _A_ 2 _U_ 2222 _N_ _S_ "SL" _N_ _N_ #-}
  53 simpleParse :: Text a => ([a] -> Int -> ParseResult [a] b) -> [a] -> b
  54         {-# GHC_PRAGMA _A_ 1 _U_ 212 _N_ _N_ _N_ _N_ #-}
  55 succeed :: b -> a -> Int -> ParseResult a b
  56         {-# GHC_PRAGMA _A_ 3 _U_ 222 _N_ _N_ _N_ _N_ #-}
  57 testp :: [Char] -> (b -> Bool) -> (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a b
  58         {-# GHC_PRAGMA _A_ 5 _U_ 22122 _N_ _S_ "LLSLL" _N_ _N_ #-}
  59 token :: (a -> Either [Char] (b, a)) -> a -> Int -> ParseResult a b
  60         {-# GHC_PRAGMA _A_ 3 _U_ 122 _N_ _N_ _N_ _N_ #-}
  61 (|!!) :: (a -> Int -> ParseResult a b) -> (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a b
  62         {-# GHC_PRAGMA _A_ 2 _U_ 1122 _N_ _S_ "SL" _N_ _N_ #-}
  63 (||!) :: (a -> Int -> ParseResult a b) -> (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a b
  64         {-# GHC_PRAGMA _A_ 4 _U_ 1122 _N_ _S_ "SLLL" _N_ _N_ #-}
  65 (|||) :: (a -> Int -> ParseResult a b) -> (a -> Int -> ParseResult a b) -> a -> Int -> ParseResult a b
  66         {-# GHC_PRAGMA _A_ 4 _U_ 1122 _N_ _S_ "SLLL" _N_ _N_ #-}
  67 instance (Text a, Text b) => Text (ParseResult a b)
  68         {-# GHC_PRAGMA _M_ Parse {-dfun-} _A_ 2 _U_ 22 _N_ _N_ _N_ _N_ #-}
  69