Documentation

resolvePoint :: (Int, Symbols) -> Point -> Maybe PointSource

resolvePath :: (Int, Int, Symbols) -> Path -> Maybe (Int, Path)Source

resolveNumeric :: (Int, Symbols) -> Numeric -> Maybe NumericSource

resolveEquation :: (Int, Symbols) -> Equation -> Maybe EquationSource

maybes2List :: [Maybe a] -> [a]Source

symEquations :: (Int, Int, Symbols) -> [Equation] -> (Int, Symbols)Source

insertNumeric :: (Int, Int, Symbols) -> Name -> (Int, Symbols)Source