Module

Test.StrongCheck.Landscape

#Decay 

type Decay = Number -> Number

#DriverState 

newtype DriverState a

Constructors

#DriverStateRec 

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

#Variance 

type Variance = Number

#Landscape 

newtype Landscape a

Constructors

#LList 

type LList = ListT Lazy

#decayHalf 

decayHalf :: Decay

#decayThird 

decayThird :: Decay

#defaultDecay 

defaultDecay :: Decay

#everywhere 

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' 

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 

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 

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' 

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

Creates a landscape that samples the area around a location.

#sampleHere 

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

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

#sampleHere' 

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

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

#somewhere 

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' 

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

Picks somewhere and forms a landscape around that location.

#unDriverState 

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

#unLandscape 

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

#whereAt 

whereAt :: forall a. Landscape a -> a

Modules