eo-phi-normalizer-3.2.0: Command line normalizer of 𝜑-calculus expressions.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi

Synopsis

normalize :: Program -> Program
parseProgram :: String -> Either String Program
unsafeParseObject :: String -> Object
unsafeParseProgram :: String -> Program
unsafeParseProgramFromFile :: FilePath -> IO Program
module Language.EO.Phi.Syntax

Documentation

normalize :: Program -> Program Source #

Normalize an input 𝜑-program.

parseProgram :: String -> Either String Program Source #

Parse a Program or return a parsing error.

unsafeParseObject :: String -> Object Source #

Parse an Object from a String. May throw an error if input has a syntactical or lexical errors.

unsafeParseProgram :: String -> Program Source #

Parse a Program from a String. May throw an error if input has a syntactical or lexical errors.

unsafeParseProgramFromFile :: FilePath -> IO Program Source #

module Language.EO.Phi.Syntax