Copilot.Arduino.Library.Random

Random value library for arduino-copilot.

Here's an example that flashes the LED randomly.

 main :: IO ()
 main = arduino $ do
	if firstIteration
 		then randomSeedPin a0
 		else do
 			n <- input (random 10) :: Sketch (Behavior Word32)
 			led =: (n >= 5)

The use of firstIteration makes the RNG be seeded in the first iteration, and then random numbers are generated in subsequent iterations. That's a typical pattern when using this module.

Documentation

randomSeed :: RandomSeed

Use this to seed the RNG.

randomSeed =: constant (1 :: Word8)

randomSeedPin :: IsAnalogInputPin t => Pin t -> Sketch ()

Seed the RNG by reading from an analog input pin.

If the pin is left unconnected, noise will be read from it.

data RandomSeed

Instances

Output RandomSeed (Event () (Stream Word8))

Defined in Copilot.Arduino.Library.Random

Methods

(=:) :: RandomSeed -> Event () (Stream Word8) -> Sketch ()

Output RandomSeed (Event () (Stream ADC))

Defined in Copilot.Arduino.Library.Random

Methods

(=:) :: RandomSeed -> Event () (Stream ADC) -> Sketch ()

data RandomInput

Instances

Input RandomInput Word32

Defined in Copilot.Arduino.Library.Random

Methods

input' :: RandomInput -> [Word32] -> Sketch (Behavior Word32)

random :: Word32 -> RandomInput

Generate a random number, up to but exclusive of an upper bound.

n <- input (random 10)

randomR :: (Word32, Word32) -> RandomInput

Generate a random number in the range (lo, hi). The number will be >= lo and < hi

n <- input (randomR 5 10) :: Sketch (Behavior Word32)