Idris2Doc : Statistics.Norm

Statistics.Norm

(source)
Stuff related to the normal distribution

Reexports

import public Statistics.Probability

Definitions

interface NormCDF : Type
  Cumulative distribution function (CDF) of the normal distribution

Methods:
normcdf : SolidDouble -> Probability
normcdf : NormCDF => SolidDouble -> Probability
Totality: total
Visibility: public export
interface InvNormCDF : Type
  Inverse cumulative distribution function of the normal distribution

Methods:
invnormcdf : Probability -> SolidDouble
invnormcdf : InvNormCDF => Probability -> SolidDouble
Totality: total
Visibility: public export