Eff.Random.BiasedCoin
eff BiasedCoinSourceOperations
def flip(p: Float64): Bool
SourceReturns true with probability p.
Definitions
def ioHandler(f: Unit -> a \ ef + BiasedCoin): a \ ef + IO
SourceAn IO handler for RandomCoin.
eff BiasedCoinSourcedef flip(p: Float64): Bool
SourceReturns true with probability p.
def ioHandler(f: Unit -> a \ ef + BiasedCoin): a \ ef + IO
SourceAn IO handler for RandomCoin.