FMFI-UK-1-AIN-412 / elm-formula / Formula.Parser

This library parses formulas.

Parsers

parse : String -> Result (List Parser.DeadEnd) Formula

Parse string to Formula

parseSigned : String -> Result (List Parser.DeadEnd) (Formula.Signed.Signed Formula)

Parse string to Signed Formula

parseTerm : String -> Result (List Parser.DeadEnd) Term

Parses string to Term

parseSubstitution : String -> Result (List Parser.DeadEnd) Term.Substitution

Parse string to Substitution