Data.Quantities.ExprParser

Parse expressions with numbers and units.

This module provides a basic expression grammar that parses numbers and units.

Documentation

spaces' :: Parser String

Alternate definition for spaces. Just actual spaces.

parseExprQuant :: Definitions -> String -> Either (QuantityError Double) (Quantity Double)

Parse quantity expression; addition and subtraction allowed.

type EQuant = Either (QuantityError Double) (Quantity Double)

Simple type used for shorthand

parseExpr :: Definitions -> Parser EQuant

Using already compiled definitions, parse expression. Also allows for expressions like "exp1 => exp2" in the middle, which converts the quantity exp1 into the units of the quantity exp2.

parseConvertExpr :: Definitions -> Parser EQuant

Parser that accepts "=>" in between two expressions.

parseExpr' :: Definitions -> Parser EQuant

parseTerm :: Definitions -> Parser EQuant

parseFactor :: Definitions -> Parser EQuant

parseExpt :: Definitions -> Parser EQuant

parseNestedExpr :: Definitions -> Parser EQuant

parseExptOp :: Definitions -> Parser EQuant

parseTermOp :: Definitions -> Parser EQuant

parseFactorOp :: Definitions -> Parser EQuant

exptOp :: Parser (EQuant -> EQuant -> EQuant)

addOp :: Parser (EQuant -> EQuant -> EQuant)

mulOp :: Parser (EQuant -> EQuant -> EQuant)

addEQuants :: EQuant -> EQuant -> EQuant

Modification of addQuants to account for Either QuantityError Quantity.

subtractEQuants :: EQuant -> EQuant -> EQuant

Modification of subtractQuants to account for Either QuantityError Quantity.

multiplyEQuants :: EQuant -> EQuant -> EQuant

Modification of multiplyQuants to account for Either QuantityError Quantity.

divideEQuants :: EQuant -> EQuant -> EQuant

Modification of divideQuants to account for Either QuantityError Quantity.

exptEQuants :: EQuant -> EQuant -> EQuant

Modification of exptQuants to account for Either QuantityError Quantity. Returns error if dimensional quantity used in exponent.

parseESymbolNum :: Definitions -> Parser EQuant

Modification of parseSymbolNum to handle parsing errors.

parseESymbol :: Definitions -> Parser EQuant

Parses a symbol and then parses a prefix form that symbol.

parseENum :: Definitions -> Parser EQuant

Parse a number and insert the given definitions into the CompoundUnit.

preprocessQuantity :: Definitions -> Quantity Double -> EQuant

Parses out prefixes and aliases from quantity's units.

preprocessUnit :: Definitions -> SimpleUnit -> Either (QuantityError Double) SimpleUnit

Parses prefix and alias, if applicable, from a SimpleUnit.

prefixParser :: Definitions -> String -> (String, String)

Try to parse a prefix from a symbol. Otherwise, just return the symbol.

prefixParser' :: Definitions -> Parser String

Helper function for prefixParser that is a Parsec parser.

parseMultExpr :: Parser (Quantity Double)

Converts string to a Quantity using an expression grammar parser. This parser does not parser addition or subtraction, and is used for unit definitions.

parseMultExpr' :: Parser (Quantity Double)

parseMultFactor :: Parser (Quantity Double)

parseMultExpt :: Parser (Quantity Double)

parseMultNestedExpr :: Parser (Quantity Double)

parseMultExptOp :: Parser (Quantity Double)

parseMultFactorOp :: Parser (Quantity Double)

exptMultOp :: Parser (Quantity Double -> Quantity Double -> Quantity Double)

mulMultOp :: Parser (Quantity Double -> Quantity Double -> Quantity Double)

exptMultQuants' :: Quantity Double -> Quantity Double -> Quantity Double

parseSymbolNum :: Parser (Quantity Double)

Parse either a symbol or a number.

parseSymbol' :: Parser (Quantity Double)

Parse a symbol with an optional negative sign. A symbol can contain alphanumeric characters and the character '_'.

parseNum :: Parser (Quantity Double)

Parent function for parseNum' to parse a number.

parseNum' :: Parser Double

Meat of number parser. Parse digits with an optional negative sign and optional exponential. For example, -5.2e4.

parseExponential :: Parser String

Parses just the exponential part of a number. For example, parses "4" from "-5.2e4".

timesSign :: String -> Double -> Double

Negate a number if the first argument is a negative sign.