Module

Test.StrongCheck.Landscape

Package
purescript-strongcheck
Repository
purescript-contrib/purescript-strongcheck

#Decay Source

type Decay = Number -> Number

#DriverState Source

newtype DriverState a

Constructors

#DriverStateRec Source

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

#Variance Source

#Landscape Source

newtype Landscape a

Constructors

#LList Source

#decayHalf Source

#decayThird Source

#defaultDecay Source

#everywhere Source

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' Source

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 Source

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 Source

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' Source

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

Creates a landscape that samples the area around a location.

#sampleHere Source

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

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

#sampleHere' Source

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

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

#somewhere Source

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' Source

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

Picks somewhere and forms a landscape around that location.

#unDriverState Source

#unLandscape Source

#whereAt Source

whereAt :: forall a. Landscape a -> a