Yggdrasil.Distribution

Provides primitives for high-level cryptographic sampling.

Documentation

type Distribution = DistributionT Identity

Allows randomly sampling elements of type b.

newtype DistributionT m b

Allows randomly sampling elements of type b in the context of monad m.

Constructors

DistributionT

Fields

• runDistT :: forall s. Sampler s => s -> m (b, s)

Instances

MonadTrans DistributionT

Defined in Yggdrasil.Distribution

Methods

lift :: Monad m => m a -> DistributionT m a

Monad m => Monad (DistributionT m)

Defined in Yggdrasil.Distribution

Methods

(>>=) :: DistributionT m a -> (a -> DistributionT m b) -> DistributionT m b

(>>) :: DistributionT m a -> DistributionT m b -> DistributionT m b

return :: a -> DistributionT m a

fail :: String -> DistributionT m a

Monad m => Functor (DistributionT m)

Defined in Yggdrasil.Distribution

Methods

fmap :: (a -> b) -> DistributionT m a -> DistributionT m b

(<$) :: a -> DistributionT m b -> DistributionT m a

Monad m => Applicative (DistributionT m)

Defined in Yggdrasil.Distribution

Methods

pure :: a -> DistributionT m a

(<*>) :: DistributionT m (a -> b) -> DistributionT m a -> DistributionT m b

liftA2 :: (a -> b -> c) -> DistributionT m a -> DistributionT m b -> DistributionT m c

(*>) :: DistributionT m a -> DistributionT m b -> DistributionT m b

(<*) :: DistributionT m a -> DistributionT m b -> DistributionT m a

class Sampler s where

Provides randomness.

Minimal complete definition

sampleCoin

Methods

sampleCoin :: s -> (Bool, s)

Produce a bit of randomness.

sample :: s -> DistributionT m b -> m (b, s)

Samples a distribution.

sample' :: Monad m => s -> DistributionT m b -> m b

Samples a distribution, discarding the result randomness.

Instances

Sampler SystemDRG

Defined in Yggdrasil.Distribution

Methods

sampleCoin :: SystemDRG -> (Bool, SystemDRG)

sample :: SystemDRG -> DistributionT m b -> m (b, SystemDRG)

sample' :: Monad m => SystemDRG -> DistributionT m b -> m b

liftDistribution :: Monad m => Distribution b -> DistributionT m b

Lifts a Distribution to an arbitrary monadic DistributionT.

coin :: Distribution Bool

Tosses a fair coin.

uniform :: [a] -> Distribution a

A uniform Distribution over all elements of [a].