Test.QuickSpec.Term

Terms and evaluation.

Documentation

data Symbol

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

data Term

Constructors

Var Symbol

Const Symbol

App Term Term

Instances

Eq Term

Ord Term

Show Term

showOp :: String -> String

isOp :: String -> Bool

isUndefined :: Term -> Bool

symbols :: Term -> [Symbol]

depth :: Term -> Int

size :: Int -> Term -> Int

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

functor :: Term -> Symbol

args :: Term -> [Term]

funs :: Term -> [Symbol]

vars :: Term -> [Symbol]

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

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

data Expr a

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

Constructors

Atom

Fields

sym :: Symbol

value :: a

Instances

Functor Atom

data PGen a

Constructors

PGen

Fields

totalGen :: Gen a

partialGen :: Gen a

Instances

Functor PGen

pgen :: Gen a -> PGen a

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

newtype Variable a

Constructors

Variable

Fields

unVariable :: Atom (PGen a)

Instances

Functor Variable

newtype Constant a

Constructors

Constant

Fields

unConstant :: Atom a

Instances

Functor Constant

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

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

newtype Valuation

Constructors

Valuation

Fields

unValuation :: forall a. Variable a -> a

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

valuation :: Strategy -> Gen Valuation

var :: Variable a -> Expr a

con :: Constant a -> Expr a

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