Domain.Math.Equation.Views

Documentation

relationSolvedForm :: Relational f => View (f Expr) (Expr -> Expr -> f Expr, String, Expr)

relationsSolvedForm :: (Traversable f, Relational g) => View (f (g Expr)) (f (Expr -> Expr -> g Expr, String, Expr))

equationSolvedForm :: View (Equation Expr) (String, Expr)

equationsSolvedForm :: View (OrList (Equation Expr)) (OrList (String, Expr))

equationSolvedWith :: View Expr a -> View (Equation Expr) (String, a)