package feat-num

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

include FeatCore.IFSeqSig.IFSEQ_EXTENDED with type index = FeatNum.Num.t

type 'a seq

val empty : 'a seq

val zero : 'a seq

val singleton : 'a -> 'a seq

val one : 'a -> 'a seq

val rev : 'a seq -> 'a seq

val sum : 'a seq -> 'a seq -> 'a seq

val (++) : 'a seq -> 'a seq -> 'a seq

val product : 'a seq -> 'b seq -> ('a * 'b) seq

val (**) : 'a seq -> 'b seq -> ('a * 'b) seq

val map : ('a -> 'b) -> 'a seq -> 'b seq

val up : int -> int -> int seq

type index = Num.t

val length : 'a seq -> index

val get : 'a seq -> index -> 'a

val foreach : 'a seq -> ('a -> unit) -> unit

val to_seq : 'a seq -> 'a Stdlib.Seq.t -> 'a Stdlib.Seq.t

val bigsum : 'a seq list -> 'a seq

val exists : 'a list -> ('a -> 'b seq) -> 'b seq

val sample : int -> 'a seq -> 'a Stdlib.Seq.t -> 'a Stdlib.Seq.t