Test.Speculate.Expr.Core

This module is part of Speculate.

This module reexports Express along with some extra utilities.

Documentation

module Data.Express

Order

lexicompare :: Expr -> Expr -> Ordering

lexicompareBy :: (Expr -> Expr -> Ordering) -> Expr -> Expr -> Ordering

Properties

isConstantNamed :: Expr -> String -> Bool

unrepeatedVars :: Expr -> Bool

isAssignment :: Expr -> Bool

Assigning

type Binds = [(Expr, Expr)]

fill :: Expr -> [Expr] -> Expr

Fill holes in an expression. Silently skips holes that are not of the right type. Silently discard remaining expressions.

sub :: Expr -> Expr -> Expr -> Expr

Substitute matching subexpressios.

sub (x + y) 0 ((x + y) + z) == (0 + z) sub (x + y) 0 (x + (y + z)) == (x + (y + z))

TODO: remove

Matching

unify :: Expr -> Expr -> Maybe Expr

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

isCanonInstanceOf :: Expr -> Expr -> Bool

hasCanonInstanceOf :: Expr -> Expr -> Bool