Idris2Doc : Control.Monad.Sample.Instances

Control.Monad.Sample.Instances

(source)

Definitions

sampleCubical : Tensor [(name ~~> n)] Double -> IO (Maybe (Fin n))
  Sample an index of a cubical distribution
Compute the cumulative distribution, draw uniformly, find the right bin

Totality: total
Visibility: public export