def from_os

bend-kit-random@0.1.0.1 · random.bend:164

import Base

164# A generator seeded from OS entropy, for when runs need not repeat.
165def from_os() -> IO(Result<&1, &1, U32 & String, Rng>):
166  do IO<Result<&1, &1, U32 & String, Rng>>:
167    e : Result<&1, &1, U32 & String, U32 & U32 & U32 & U32> <- entropy()
168    return from_os.fin(e)