HOL.Parse

Documentation

spaceParser :: Parsec Text st ()

eolParser :: Parsec Text st ()

lineParser :: Parsec Text st Char

class Parsable a where

Minimal complete definition

parser

Methods

parser :: Parsec Text st a

fromText :: Text -> Maybe a

fromString :: String -> Maybe a

fromStringUnsafe :: String -> a

fromTextFile :: FilePath -> IO a

Instances

Parsable Integer

Methods

parser :: Parsec Text st Integer

fromText :: Text -> Maybe Integer

fromString :: String -> Maybe Integer

fromStringUnsafe :: String -> Integer

fromTextFile :: FilePath -> IO Integer

Parsable Name

Methods

parser :: Parsec Text st Name

fromText :: Text -> Maybe Name

fromString :: String -> Maybe Name

fromStringUnsafe :: String -> Name

fromTextFile :: FilePath -> IO Name

Parsable Interpret

Methods

parser :: Parsec Text st Interpret

fromText :: Text -> Maybe Interpret

fromString :: String -> Maybe Interpret

fromStringUnsafe :: String -> Interpret

fromTextFile :: FilePath -> IO Interpret

Parsable Renames

Methods

parser :: Parsec Text st Renames

fromText :: Text -> Maybe Renames

fromString :: String -> Maybe Renames

fromStringUnsafe :: String -> Renames

fromTextFile :: FilePath -> IO Renames

Parsable Rename

Methods

parser :: Parsec Text st Rename

fromText :: Text -> Maybe Rename

fromString :: String -> Maybe Rename

fromStringUnsafe :: String -> Rename

fromTextFile :: FilePath -> IO Rename

Parsable Symbol

Methods

parser :: Parsec Text st Symbol

fromText :: Text -> Maybe Symbol

fromString :: String -> Maybe Symbol

fromStringUnsafe :: String -> Symbol

fromTextFile :: FilePath -> IO Symbol

Parsable Command

Methods

parser :: Parsec Text st Command

fromText :: Text -> Maybe Command

fromString :: String -> Maybe Command

fromStringUnsafe :: String -> Command

fromTextFile :: FilePath -> IO Command

Parsable Number

Methods

parser :: Parsec Text st Number

fromText :: Text -> Maybe Number

fromString :: String -> Maybe Number

fromStringUnsafe :: String -> Number

fromTextFile :: FilePath -> IO Number

Parsable Package

Methods

parser :: Parsec Text st Package

fromText :: Text -> Maybe Package

fromString :: String -> Maybe Package

fromStringUnsafe :: String -> Package

fromTextFile :: FilePath -> IO Package

Parsable Block

Methods

parser :: Parsec Text st Block

fromText :: Text -> Maybe Block

fromString :: String -> Maybe Block

fromStringUnsafe :: String -> Block

fromTextFile :: FilePath -> IO Block

Parsable File

Methods

parser :: Parsec Text st File

fromText :: Text -> Maybe File

fromString :: String -> Maybe File

fromStringUnsafe :: String -> File

fromTextFile :: FilePath -> IO File

Parsable Info

Methods

parser :: Parsec Text st Info

fromText :: Text -> Maybe Info

fromString :: String -> Maybe Info

fromStringUnsafe :: String -> Info

fromTextFile :: FilePath -> IO Info

Parsable KeyValue

Methods

parser :: Parsec Text st KeyValue

fromText :: Text -> Maybe KeyValue

fromString :: String -> Maybe KeyValue

fromStringUnsafe :: String -> KeyValue

fromTextFile :: FilePath -> IO KeyValue

Parsable NameVersion

Methods

parser :: Parsec Text st NameVersion

fromText :: Text -> Maybe NameVersion

fromString :: String -> Maybe NameVersion

fromStringUnsafe :: String -> NameVersion

fromTextFile :: FilePath -> IO NameVersion

Parsable Version

Methods

parser :: Parsec Text st Version

fromText :: Text -> Maybe Version

fromString :: String -> Maybe Version

fromStringUnsafe :: String -> Version

fromTextFile :: FilePath -> IO Version

Parsable Name

Methods

parser :: Parsec Text st Name

fromText :: Text -> Maybe Name

fromString :: String -> Maybe Name

fromStringUnsafe :: String -> Name

fromTextFile :: FilePath -> IO Name

data ParseInteger

Constructors

StartParseInteger

ZeroParseInteger

NegativeParseInteger

NonZeroParseInteger Bool !Integer

ErrorParseInteger

advanceParseInteger :: ParseInteger -> Char -> ParseInteger

endParseInteger :: ParseInteger -> Maybe Integer

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

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