The latest version of expressions is 0.5-0.
lib:expressions
Modules
- Data.Expression
- Data.Expression.Arithmetic
- Data.Expression.Array
- Data.Expression.Equality
- Data.Expression.IfThenElse
- Data.Expression.Parser
- Data.Expression.Sort
- Data.Expression.Utils.Indexed.Eq
- Data.Expression.Utils.Indexed.Foldable
- Data.Expression.Utils.Indexed.Functor
- Data.Expression.Utils.Indexed.Show
- Data.Expression.Utils.Indexed.Sum
- Data.Expression.Utils.Indexed.Traversable
Dependencies
- attoparsec lib:attoparsec >=0.13 && <0.14
- base lib:base >=4.11 && <4.13
- containers lib:containers >=0.5.7 && <0.7
- free lib:free >=4.2 && <5.1
- lattices lib:lattices >=1.6 && <1.8
- singletons lib:singletons >=2.2 && <2.5
- text lib:text >=1.2 && <1.3
- transformers lib:transformers >=0.5.2 && <0.6
Reverse dependencies
Direct only. Not exhaustive.
- expressions test:test
- expressions-z3 lib:expressions-z3
- expressions-z3 test:test