Idris2Doc : Statistics.Distribution.GSL

Statistics.Distribution.GSL

(source)
Reexports
import public Data.Vect
Definitions
data GslRng : Type
  Container for a GSL RNG seed

  Totality: total
  Visibility: public export
  Constructor: 
MkGslRng : AnyPtr -> GslRng
init_gsl_rng : GslRng
  Visibility: export
init_array : Nat -> AnyPtr
  Visibility: export
rangeTo : (n : Nat) -> Vect n Nat
  Visibility: export
to_array : Vect (S n) Double -> AnyPtr
  Translate a vector to an array of doubles.

  Visibility: export
from_array : AnyPtr -> Vect (S n) Double
  Read an array of doubles to a vector.

  Visibility: export