Test.StrongCheck.Landscape

type Decay = Number -> Number

newtype DriverState a

Constructors

• DriverState (DriverStateRec a)

type DriverStateRec a = { state :: GenState, value :: a, variance :: Number }

type Variance = Number

newtype Landscape a

Constructors

• Landscape (Cofree LList (DriverState a))

type LList = ListT Lazy

decayHalf :: Decay

decayThird :: Decay

defaultDecay :: Decay

everywhere :: forall a. Perturb a => Variance -> Gen a -> LList (Landscape a)

Creates a landscape whose initial points are randomly chosen across the entire landscape, using the default GenState and Decay.

everywhere' :: forall a. Perturb a => GenState -> Decay -> Variance -> Gen a -> LList (Landscape a)

Creates a landscape whose initial points are randomly chosen across the entire landscape.

moveTo :: forall a. Eq a => Perturb a => a -> Landscape a -> Maybe (Landscape a)

Moves to a location in a landscape that was previously sampled.

nearby :: forall a. Perturb a => a -> Variance -> Landscape a

Creates a landscape that samples the area around a location, using the default GenState and Decay.

nearby' :: forall a. Perturb a => GenState -> Decay -> a -> Variance -> Landscape a

Creates a landscape that samples the area around a location.

sampleHere :: forall a. Perturb a => Int -> Landscape a -> Array a

Samples around the current location area, returning just the values.

sampleHere' :: forall a. Perturb a => Int -> Landscape a -> Array (DriverState a)

Samples around the current location area, returning full state information.

somewhere :: forall a. Perturb a => Variance -> Gen a -> Maybe (Landscape a)

Picks somewhere and forms a landscape around that location, using the default GenState and Decay.

somewhere' :: forall a. Perturb a => GenState -> Decay -> Variance -> Gen a -> Maybe (Landscape a)

Picks somewhere and forms a landscape around that location.

unDriverState :: forall a. DriverState a -> DriverStateRec a

unLandscape :: forall a. Landscape a -> Cofree LList (DriverState a)

whereAt :: forall a. Landscape a -> a