Transform (p.hardcaml.v0.15.0.doc.hardcaml.Hardcaml.Transform)

Sourcetype 'a transform_fn' = (Signal.Uid.t -> 'a) -> Signal.t -> 'a

Sourcetype transform_fn = Signal.t transform_fn'

Sourcemodule type TransformFn' = sig ... end

Sourcemodule type TransformFn = sig ... end

Sourcemodule type MakePureCombTransform_arg = sig ... end

module MakePureCombTransform
  (B : MakePureCombTransform_arg) : 
  TransformFn' with type t = B.t

functor to build the function to map a signal to a new combinatorial signal representation

module MakeCombTransform
  (B : Comb.Primitives with type t = Signal.t) : 
  TransformFn

functor to build the function to map a signal to a new combinatorial signal representation

Sourcemodule CopyTransform : TransformFn

simple copying transform

Sourceval rewrite_signals : transform_fn -> Signal.t Base.list -> Signal.t Base.list

rewrites the list of signals based on the given function