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.2
• lattices lib:lattices >=2 && <2.1
• singletons lib:singletons >=2.2 && <2.6
• 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