Module `Icape3.O`Source

Sourcetype !'a t = {

}

Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

Sourceval iter : 'a t -> f:('a -> Base.unit) -> Base.unit

Sourceval iter2 : 'a t -> 'b t -> f:('a -> 'b -> Base.unit) -> Base.unit

Sourceval map : 'a t -> f:('a -> 'b) -> 'b t

Sourceval map2 : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t

Sourceval to_list : 'a t -> 'a Base.list

Sourceval port_names_and_widths : (Base.string * Base.int) t

Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool

Sourceval port_names : Base.string t

Sourceval port_widths : Base.int t

Sourceval const : 'a -> 'a t

Sourcetype tag

Sourceval tags : tag t

Sourceval to_alist : 'a t -> (tag * 'a) Base.list

Sourceval of_alist : (tag * 'a) Base.list -> 'a t

Sourceval sum_of_port_widths : Base.int

Sourcemodule Unsafe_assoc_by_port_name : sig ... end

Sourceval zip : 'a t -> 'b t -> ('a * 'b) t

Sourceval zip3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

Sourceval zip4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

Sourceval zip5 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t

Sourceval map3 : 'a t -> 'b t -> 'c t -> f:('a -> 'b -> 'c -> 'd) -> 'd t

val map4 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  f:('a -> 'b -> 'c -> 'd -> 'e) ->
  'e t

val map5 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  'e t ->
  f:('a -> 'b -> 'c -> 'd -> 'e -> 'f) ->
  'f t

val iter3 : 
  'a t ->
  'b t ->
  'c t ->
  f:('a -> 'b -> 'c -> Base.unit) ->
  Base.unit

val iter4 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  f:('a -> 'b -> 'c -> 'd -> Base.unit) ->
  Base.unit

val iter5 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  'e t ->
  f:('a -> 'b -> 'c -> 'd -> 'e -> Base.unit) ->
  Base.unit

Sourceval fold : 'a t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'acc

Sourceval fold2 : 'a t -> 'b t -> init:'acc -> f:('acc -> 'a -> 'b -> 'acc) -> 'acc

Sourceval scan : 'a t -> init:'acc -> f:('acc -> 'a -> 'acc * 'b) -> 'b t

val scan2 : 
  'a t ->
  'b t ->
  init:'acc ->
  f:('acc -> 'a -> 'b -> 'acc * 'c) ->
  'c t

Sourceval offsets : ?rev:Base.bool -> Base.unit -> Base.int t

Sourceval of_interface_list : 'a t Base.list -> 'a Base.list t

Sourceval to_interface_list : 'a Base.list t -> 'a t Base.list

Sourcemodule All (M : Base.Monad.S) : sig ... end

Sourceval or_error_all : 'a Base.Or_error.t t -> 'a t Base.Or_error.t

Sourcemodule type Comb = sig ... end

Sourcemodule Make_comb (Comb : Hardcaml.Comb.S) : sig ... end

Sourcemodule Of_bits : sig ... end

Sourcemodule Of_signal : sig ... end

Sourcemodule Of_always : sig ... end

Sourcemodule Names_and_widths : sig ... end

package hardcaml_xilinx