Skip to content
Pen

Random

This package provides random number generation.

{
  "type": "system"
}

Install

Section titled “Install”
{
  "dependencies": {
    "Random": "pen:///random"
  }
}

Random'Context module

Section titled “Random'Context module”

Types

Section titled “Types”

Context

Section titled “Context”

A context of random number generation.

type Context = context'Context

Functions

Section titled “Functions”

No functions are defined.

Random'Random module

Section titled “Random'Random module”

Types

Section titled “Types”

No types are defined.

Functions

Section titled “Functions”

Number

Section titled “Number”

Generate a random number in a range of [0, 1).

\(ctx Context) number