| Copyright | (c) 2016-2019 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <rudy@matela.com.br> |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.Speculate.Expr.Core
Contents
Description
This module is part of Speculate.
This module reexports Express along with some extra utilities.
Synopsis
- module Data.Express
- module Data.Express.Utils.Typeable
- lexicompare :: Expr -> Expr -> Ordering
- lexicompareBy :: (Expr -> Expr -> Ordering) -> Expr -> Expr -> Ordering
- fastCompare :: Expr -> Expr -> Ordering
- isConstantNamed :: Expr -> String -> Bool
- unrepeatedVars :: Expr -> Bool
- isAssignment :: Expr -> Bool
- type Binds = [(Expr, Expr)]
- fill :: Expr -> [Expr] -> Expr
- unify :: Expr -> Expr -> Maybe Expr
- unification :: Expr -> Expr -> Maybe [(Expr, Expr)]
- isCanonInstanceOf :: Expr -> Expr -> Bool
- hasCanonInstanceOf :: Expr -> Expr -> Bool
Documentation
module Data.Express
module Data.Express.Utils.Typeable
Order
Properties
unrepeatedVars :: Expr -> Bool Source #
isAssignment :: Expr -> Bool Source #
Assigning
fill :: Expr -> [Expr] -> Expr Source #
Fill holes in an expression. Silently skips holes that are not of the right type. Silently discard remaining expressions.