Safe Haskell	Safe-Inferred
Language	Haskell2010

HOL.Parse

Description

Documentation

spaceParser :: Parsec Text st () Source #

eolParser :: Parsec Text st () Source #

lineParser :: Parsec Text st Char Source #

class Parsable a where Source #

Minimal complete definition

parser

Methods

parser :: Parsec Text st a Source #

fromText :: Text -> Maybe a Source #

fromString :: String -> Maybe a Source #

fromStringUnsafe :: String -> a Source #

fromTextFile :: FilePath -> IO a Source #

Instances

Instances details

Parsable Integer Source #
Instance details Defined in HOL.Parse Methods parser :: Parsec Text st Integer Source # fromText :: Text -> Maybe Integer Source # fromString :: String -> Maybe Integer Source # fromStringUnsafe :: String -> Integer Source # fromTextFile :: FilePath -> IO Integer Source #
Parsable Name Source #
Instance details Defined in HOL.Parse Methods parser :: Parsec Text st Name Source # fromText :: Text -> Maybe Name Source # fromString :: String -> Maybe Name Source # fromStringUnsafe :: String -> Name Source # fromTextFile :: FilePath -> IO Name Source #
Parsable Interpret Source #
Instance details Defined in HOL.OpenTheory.Interpret Methods parser :: Parsec Text st Interpret Source # fromText :: Text -> Maybe Interpret Source # fromString :: String -> Maybe Interpret Source # fromStringUnsafe :: String -> Interpret Source # fromTextFile :: FilePath -> IO Interpret Source #
Parsable Renames Source #
Instance details Defined in HOL.OpenTheory.Interpret Methods parser :: Parsec Text st Renames Source # fromText :: Text -> Maybe Renames Source # fromString :: String -> Maybe Renames Source # fromStringUnsafe :: String -> Renames Source # fromTextFile :: FilePath -> IO Renames Source #
Parsable Rename Source #
Instance details Defined in HOL.OpenTheory.Interpret Methods parser :: Parsec Text st Rename Source # fromText :: Text -> Maybe Rename Source # fromString :: String -> Maybe Rename Source # fromStringUnsafe :: String -> Rename Source # fromTextFile :: FilePath -> IO Rename Source #
Parsable Symbol Source #
Instance details Defined in HOL.OpenTheory.Interpret Methods parser :: Parsec Text st Symbol Source # fromText :: Text -> Maybe Symbol Source # fromString :: String -> Maybe Symbol Source # fromStringUnsafe :: String -> Symbol Source # fromTextFile :: FilePath -> IO Symbol Source #
Parsable Command Source #
Instance details Defined in HOL.OpenTheory.Article Methods parser :: Parsec Text st Command Source # fromText :: Text -> Maybe Command Source # fromString :: String -> Maybe Command Source # fromStringUnsafe :: String -> Command Source # fromTextFile :: FilePath -> IO Command Source #
Parsable Number Source #
Instance details Defined in HOL.OpenTheory.Article Methods parser :: Parsec Text st Number Source # fromText :: Text -> Maybe Number Source # fromString :: String -> Maybe Number Source # fromStringUnsafe :: String -> Number Source # fromTextFile :: FilePath -> IO Number Source #
Parsable Package Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st Package Source # fromText :: Text -> Maybe Package Source # fromString :: String -> Maybe Package Source # fromStringUnsafe :: String -> Package Source # fromTextFile :: FilePath -> IO Package Source #
Parsable Block Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st Block Source # fromText :: Text -> Maybe Block Source # fromString :: String -> Maybe Block Source # fromStringUnsafe :: String -> Block Source # fromTextFile :: FilePath -> IO Block Source #
Parsable File Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st File Source # fromText :: Text -> Maybe File Source # fromString :: String -> Maybe File Source # fromStringUnsafe :: String -> File Source # fromTextFile :: FilePath -> IO File Source #
Parsable Info Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st Info Source # fromText :: Text -> Maybe Info Source # fromString :: String -> Maybe Info Source # fromStringUnsafe :: String -> Info Source # fromTextFile :: FilePath -> IO Info Source #
Parsable KeyValue Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st KeyValue Source # fromText :: Text -> Maybe KeyValue Source # fromString :: String -> Maybe KeyValue Source # fromStringUnsafe :: String -> KeyValue Source # fromTextFile :: FilePath -> IO KeyValue Source #
Parsable NameVersion Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st NameVersion Source # fromText :: Text -> Maybe NameVersion Source # fromString :: String -> Maybe NameVersion Source # fromStringUnsafe :: String -> NameVersion Source # fromTextFile :: FilePath -> IO NameVersion Source #
Parsable Version Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st Version Source # fromText :: Text -> Maybe Version Source # fromString :: String -> Maybe Version Source # fromStringUnsafe :: String -> Version Source # fromTextFile :: FilePath -> IO Version Source #
Parsable Name Source #
Instance details Defined in HOL.OpenTheory.Package Methods parser :: Parsec Text st Name Source # fromText :: Text -> Maybe Name Source # fromString :: String -> Maybe Name Source # fromStringUnsafe :: String -> Name Source # fromTextFile :: FilePath -> IO Name Source #

data ParseInteger Source #

Constructors

StartParseInteger
ZeroParseInteger
NegativeParseInteger
NonZeroParseInteger Bool !Integer
ErrorParseInteger

advanceParseInteger :: ParseInteger -> Char -> ParseInteger Source #

endParseInteger :: ParseInteger -> Maybe Integer Source #

type FoldlParseInteger a = (ParseInteger -> Char -> ParseInteger) -> ParseInteger -> a -> ParseInteger Source #

parseInteger :: FoldlParseInteger a -> a -> Maybe Integer Source #