Data.Distribution.Domain.Coin

This modules provides distributions from coins and functions on coins.

Coin

type Coin = Distribution CoinSide

Distribution over the sides of a coin.

data CoinSide

Possible outcomes of a coin flip.

Constructors

Head

Tail

Instances

Enum CoinSide

Eq CoinSide

Ord CoinSide

Read CoinSide

Show CoinSide

coin :: Coin

Fair coin.

Operations

flipsOf :: Int -> Coin -> Distribution Int

Flips n times the given coin and counts the number of heads.

reflipOn :: CoinSide -> Coin -> Coin

Rerolls the coin once if the first outcome satifies the given predicate.