quickspec-0.9: Equational laws for free

Safe Haskell	None

Test.QuickSpec.Term

Description

Terms and evaluation.

Documentation

data Symbol Source

Constructors

Symbol
Fields index :: Int name :: String symbolArity :: Int silent :: Bool undef :: Bool symbolType :: TypeRep

Instances

Eq Symbol
Ord Symbol
Show Symbol

symbol :: Typeable a => String -> Int -> a -> Symbol Source

data Term Source

Constructors

Var Symbol
Const Symbol
App Term Term

Instances

Eq Term
Ord Term
Show Term

showOp :: String -> String Source

isOp :: String -> Bool Source

isUndefined :: Term -> Bool Source

symbols :: Term -> [Symbol]Source

depth :: Term -> Int Source

size :: Term -> Int Source

holes :: Term -> [(Symbol, Int)]Source

functor :: Term -> Symbol Source

args :: Term -> [Term]Source

funs :: Term -> [Symbol]Source

vars :: Term -> [Symbol]Source

mapVars :: (Symbol -> Symbol) -> Term -> Term Source

data Expr a Source

Constructors

Expr
Fields term :: Term arity :: !Int eval :: (forall b. Variable b -> b) -> a

Instances

Eq (Expr a)
Ord (Expr a)
Show (Expr a)

data Atom a Source

Constructors

Atom
Fields sym :: Symbol value :: a

Instances

newtype Variable a Source

Constructors

Variable
Fields unVariable :: Atom (Gen a)

Instances

Functor Variable

newtype Constant a Source

Constructors

Constant
Fields unConstant :: Atom a

Instances

Functor Constant

mapVariable :: (Symbol -> Symbol) -> Variable a -> Variable aSource

mapConstant :: (Symbol -> Symbol) -> Constant a -> Constant aSource

valuation :: Gen (Variable a -> a)Source

var :: Variable a -> Expr aSource

con :: Constant a -> Expr aSource

app :: Expr (a -> b) -> Expr a -> Expr bSource