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

Methods

succ :: CoinSide -> CoinSide

pred :: CoinSide -> CoinSide

toEnum :: Int -> CoinSide

fromEnum :: CoinSide -> Int

enumFrom :: CoinSide -> [CoinSide]

enumFromThen :: CoinSide -> CoinSide -> [CoinSide]

enumFromTo :: CoinSide -> CoinSide -> [CoinSide]

enumFromThenTo :: CoinSide -> CoinSide -> CoinSide -> [CoinSide]

Eq CoinSide

Methods

(==) :: CoinSide -> CoinSide -> Bool

(/=) :: CoinSide -> CoinSide -> Bool

Ord CoinSide

Methods

compare :: CoinSide -> CoinSide -> Ordering

(<) :: CoinSide -> CoinSide -> Bool

(<=) :: CoinSide -> CoinSide -> Bool

(>) :: CoinSide -> CoinSide -> Bool

(>=) :: CoinSide -> CoinSide -> Bool

max :: CoinSide -> CoinSide -> CoinSide

min :: CoinSide -> CoinSide -> CoinSide

Read CoinSide

Methods

readsPrec :: Int -> ReadS CoinSide

readList :: ReadS [CoinSide]

readPrec :: ReadPrec CoinSide

readListPrec :: ReadPrec [CoinSide]

Show CoinSide

Methods

showsPrec :: Int -> CoinSide -> ShowS

show :: CoinSide -> String

showList :: [CoinSide] -> ShowS

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.