phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Parser

Documentation

parseExpression :: String -> Either String Expression Source #

parseExpression' :: Form -> String -> Either String Expression Source #

parseExpressionThrows :: String -> IO Expression Source #

parseExpressionThrows' :: Form -> String -> IO Expression Source #

data Form Source #

Constructors

MONOFORM 
POLYFORM 

Instances

Instances details
Show Form Source # 
Instance details

Defined in Parser

Methods

showsPrec :: Int -> Form -> ShowS #

show :: Form -> String #

showList :: [Form] -> ShowS #

Eq Form Source # 
Instance details

Defined in Parser

Methods

(==) :: Form -> Form -> Bool #

(/=) :: Form -> Form -> Bool #

parseAttribute :: String -> Either String Attribute Source #

parseAttributeThrows :: String -> IO Attribute Source #

data ParserException Source #

Constructors

CouldNotParseExpression 

Fields

CouldNotParseAttribute 

Fields

CouldNotParseNumber 

Fields

Instances

Instances details
Exception ParserException Source # 
Instance details

Defined in Parser

Methods

toException :: ParserException -> SomeException #

fromException :: SomeException -> Maybe ParserException #

displayException :: ParserException -> String #

Show ParserException Source # 
Instance details

Defined in Parser

Methods

showsPrec :: Int -> ParserException -> ShowS #

show :: ParserException -> String #

showList :: [ParserException] -> ShowS #

parseAlpha :: String -> Either String Alpha Source #

parseIndex :: String -> Either String (Either Slot Text) Source #

parseNumber :: String -> Either String Expression Source #

parseNumberThrows :: String -> IO Expression Source #

parseBinding :: String -> Either String Binding Source #

parseBytes :: String -> Either String Bytes Source #

data PhiParser Source #

Constructors

PhiParser 

Fields

phiParser :: PhiParser Source #