-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Parsing for chr library
--   
--   Parsing for chr library, currently wrapping around the parsing lib
--   from uulib and adding some utilities
@package chr-parse
@version 0.1.0.0

module CHR.Parse
type PlainParser tok gp = forall p. IsParser p tok => p gp
type LayoutParser tok ep = forall i o p. (IsParser (OffsideParser i o tok p) tok, InputState i tok p, OutputState o, Position p) => OffsideParser i o tok p ep
type LayoutParser2 tok ep = forall i o p. (IsParser (OffsideParser i o tok p) tok, InputState i tok p, OutputState o, Position p) => OffsideParser i o tok p ep -> OffsideParser i o tok p ep
parsePlain :: (Symbol s, InputState inp s pos) => AnaParser inp Pair s pos a -> inp -> Steps (a, inp) s pos
parseOffsideToResMsgs :: (Symbol s, InputState i s p, Position p) => OffsideParser i Pair s p a -> OffsideInput i s p -> (a, [Message (OffsideSymbol s) p])

-- | Invoke parser, yielding result + errors
parseToResMsgs :: (Symbol s, InputState inp s pos) => AnaParser inp Pair s pos a -> inp -> (a, [Message s pos])

-- | Invoke parser, yielding result + errors processed with a function
parseToResWith :: (Symbol s, Show s, Eq s, InputState inp s pos) => (pos -> String -> String -> e) -> AnaParser inp Pair s pos a -> inp -> (a, [e])
parseOffsideToResMsgsStopAtErr :: (Symbol s, InputState i s p, Position p) => OffsideParser i Pair s p a -> OffsideInput i s p -> (a, [Message (OffsideSymbol s) p])
pAnyFromMap :: (IsParser p s) => (k -> p a1) -> Map k v -> p v
pAnyKey :: (IsParser p s) => (a1 -> p a) -> [a1] -> p a
pMaybe :: (IsParser p s) => a1 -> (a -> a1) -> p a -> p a1
pMb :: (IsParser p s) => p a -> p (Maybe a)
pDo :: (InputState i s p, OutputState o, Position p, Symbol s, Ord s) => OffsideParser i o s p x -> OffsideParser i o s p y -> OffsideParser i o s p z -> OffsideParser i o s p a -> OffsideParser i o s p (Maybe last -> a) -> OffsideParser i o s p last -> OffsideParser i o s p [a]
position :: () => GenToken k t v -> Pos

-- | Convert from Message to anything using a function taking as String
--   position, expected symbol and action taken respectively
fromMessage :: (Show s, Eq s) => (p -> String -> String -> x) -> Message s p -> x

module CHR.Scan
data ScanOpts
ScanOpts :: !(Set String) -> !(Map String Bool) -> !(Set String) -> !(Set String) -> !(Set Char) -> !(Set Char) -> !String -> !(Set Char) -> !(Set String) -> !Bool -> ![String] -> ![String] -> !String -> !String -> !String -> !Bool -> ![(String, String)] -> !Bool -> !Bool -> ScanOpts
[scoKeywordsTxt] :: ScanOpts -> !(Set String)
[scoPragmasTxt] :: ScanOpts -> !(Map String Bool)
[scoCommandsTxt] :: ScanOpts -> !(Set String)
[scoKeywordsOps] :: ScanOpts -> !(Set String)
[scoKeywExtraChars] :: ScanOpts -> !(Set Char)
[scoSpecChars] :: ScanOpts -> !(Set Char)
[scoStringDelims] :: ScanOpts -> !String
[scoOpChars] :: ScanOpts -> !(Set Char)
[scoSpecPairs] :: ScanOpts -> !(Set String)
[scoDollarIdent] :: ScanOpts -> !Bool
[scoOffsideTrigs] :: ScanOpts -> ![String]
[scoOffsideTrigsGE] :: ScanOpts -> ![String]
[scoOffsideModule] :: ScanOpts -> !String
[scoOffsideOpen] :: ScanOpts -> !String
[scoOffsideClose] :: ScanOpts -> !String
[scoLitmode] :: ScanOpts -> !Bool
[scoVerbOpenClose] :: ScanOpts -> ![(String, String)]
[scoAllowQualified] :: ScanOpts -> !Bool
[scoAllowFloat] :: ScanOpts -> !Bool
defaultScanOpts :: ScanOpts
isNoPos :: Pos -> Bool
posIs1stColumn :: Pos -> Bool
data InFilePos
InFilePos :: Int -> InFilePos
[infpLine, infpColumn] :: InFilePos -> Int
infpStart :: InFilePos
infpNone :: InFilePos
infpAdvCol :: Int -> InFilePos -> InFilePos
infpAdvLine :: Int -> InFilePos -> InFilePos
infpAdv1Line :: InFilePos -> InFilePos
infpAdvStr :: String -> InFilePos -> InFilePos
genTokVal :: GenToken v t v -> v
genTokTp :: GenToken k t v -> Maybe t
genTokMap :: (a -> b) -> GenToken a t a -> GenToken b t b
isLF :: Char -> Bool
isStr :: Char -> Bool
isStrQuote :: Char -> Bool
isWhite :: Char -> Bool
isBlack :: Char -> Bool
isVarStart :: Char -> Bool
isVarRest :: Char -> Bool
instance GHC.Classes.Ord CHR.Scan.InFilePos
instance GHC.Classes.Eq CHR.Scan.InFilePos
instance GHC.Show.Show CHR.Scan.InFilePos
instance UU.Scanner.Position.Position p => UU.Scanner.Position.Position (GHC.Base.Maybe p)
instance UU.Scanner.Position.Position (UU.Scanner.GenToken.GenToken k t v)