hol-1.4: Higher order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #