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 :: Int -> 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

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

data Expr a Source

Constructors

Expr
Fields term :: Term arity :: !Int eval :: Valuation -> a

Instances

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

data Atom a Source

Constructors

Atom
Fields sym :: Symbol value :: a

Instances

Functor Atom

data PGen a Source

Constructors

PGen
Fields totalGen :: Gen a partialGen :: Gen a

Instances

Functor PGen

pgen :: Gen a -> PGen aSource

type Strategy = forall a. Symbol -> PGen a -> Gen aSource

newtype Variable a Source

Constructors

Variable
Fields unVariable :: Atom (PGen 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

newtype Valuation Source

Constructors

Valuation
Fields unValuation :: forall a. Variable a -> a

promoteVal :: (forall a. Variable a -> Gen a) -> Gen Valuation Source

valuation :: Strategy -> Gen Valuation Source

var :: Variable a -> Expr aSource

con :: Constant a -> Expr aSource

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