package hardcaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Transform circuits to a different representation.

type 'a transform_fn' = (Signal.Uid.t -> 'a) -> Signal.t -> 'a
type transform_fn = Signal.t transform_fn'
module type TransformFn' = sig ... end
module type TransformFn = sig ... end
module type MakePureCombTransform_arg = sig ... end

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

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

simple copying transform

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

rewrites the list of signals based on the given function