Idris2Doc : Statistics.Erf

Statistics.Erf

(source)
Reexports
import public Statistics.Norm
import public Statistics.Probability
Definitions
erfc : SolidDouble -> DoubleBetween 0.0 2.0
  Totality: total
  Visibility: export
erf : SolidDouble -> DoubleBetween -1.0 1.0
  Totality: total
  Visibility: export
inverfc : InvNormCDF => DoubleBetween 0.0 2.0 -> SolidDouble
  Totality: total
  Visibility: export
inverf : InvNormCDF => DoubleBetween -1.0 1.0 -> SolidDouble
  Totality: total
  Visibility: export