Test.Target.Testable

Documentation

test :: Testable f => f -> SpecType -> Target Result

Test that a function inhabits the given refinement type by enumerating valid inputs and calling the function on the inputs.

class (AllHave Targetable (Args f), Targetable (Res f), AllHave Show (Args f)) => Testable f

A class of functions that Target can test. A function is Testable iff all of its component types are Targetable and all of its argument types are Showable.

You should never have to define a new Testable instance.

Minimal complete definition

queryArgs, decodeArgs, apply, mkExprs

Instances

(Targetable a, (~) [*] (Args a) ([] *), (~) * (Res a) a) => Testable a

Methods

queryArgs :: a -> Int -> SpecType -> Target [Symbol]

decodeArgs :: a -> [Symbol] -> [SpecType] -> Target (HList (Args a))

apply :: a -> HList (Args a) -> Res a

mkExprs :: a -> [Symbol] -> HList (Args a) -> [(Symbol, Expr)]

(Show a, Targetable a, Testable b) => Testable (a -> b)

Methods

queryArgs :: (a -> b) -> Int -> SpecType -> Target [Symbol]

decodeArgs :: (a -> b) -> [Symbol] -> [SpecType] -> Target (HList (Args (a -> b)))

apply :: (a -> b) -> HList (Args (a -> b)) -> Res (a -> b)

mkExprs :: (a -> b) -> [Symbol] -> HList (Args (a -> b)) -> [(Symbol, Expr)]

setup :: Target ()