Test.Speculate.Expr.Core

This module is part of Speculate.

This module reexports Express along with some extra utilities.

Documentation

module Data.Express

module Data.Express.Utils.Typeable

Order

compareLexicographicallyBy :: (Expr -> Expr -> Ordering) -> Expr -> Expr -> Ordering

Lexicographical comparison of Exprs where variables < constants < applications and constants are disambiguated by the given function.

compareComplexityThenIndex :: [Expr] -> Expr -> Expr -> Ordering

Comparison of Exprs:

1. compareComplexity from Express
2. lexicompareBy index of the given list

Properties

isConstantNamed :: Expr -> String -> Bool

unrepeatedVars :: Expr -> Bool

isAssignment :: Expr -> Bool

Assigning

type Binds = [(Expr, Expr)]

Matching

unify :: Expr -> Expr -> Maybe Expr

unification :: Expr -> Expr -> Maybe [(Expr, Expr)]

isCanonInstanceOf :: Expr -> Expr -> Bool

hasCanonInstanceOf :: Expr -> Expr -> Bool