type-level-prng
Safe HaskellNone
LanguageGHC2021

Data.TypeLevel.PRNG.Common

Synopsis

Documentation

type PRNG state = state ~> (state, Natural) Source #

A PRNG takes some state, and returns a new state and some random data.

The characteristics of the Natural data returned are dependent on the PRNG.

type SimplePRNG = Natural ~> Natural Source #

A simple PRNG where the state is the previous output.

data FromSimplePRNG (prng :: SimplePRNG) (n :: FunKind Natural (Natural, Natural)) Source #

Turn a simple PRNG into a regular one.

Instances

Instances details
type App (FromSimplePRNG prng :: FunKind Natural (Natural, Natural) -> Type) (n :: Natural) Source # 
Instance details

Defined in Data.TypeLevel.PRNG.Common

type App (FromSimplePRNG prng :: FunKind Natural (Natural, Natural) -> Type) (n :: Natural)