module Monad : sig ... endval skip : Base.Unit.t recipeskip 1 cycle
val wait : Base.Int.t -> Base.Unit.t recipeskip n cycles
val par :
?comb_fin:Base.Bool.t ->
'a recipe Base.List.t ->
'a Base.List.t recipePerform recipes in parallel. comb_fin controls the finish signal generation. When false and extra cycle is taken after the recipes complete to generate the fin signal. Otherwise extra combinatorial logic is generated to ensure the fin signal toggles on the same cycle as the last recipe to complete.
val par2 : ?comb_fin:Base.Bool.t -> 'a recipe -> 'b recipe -> ('a * 'b) recipeval cond : Signal.t -> 'a recipe -> 'b recipe -> Base.Unit.t recipecond c t f performs t if c is high, otherwise performs f
val waitWhile : Signal.t -> Base.Unit.t recipewait until t is low
val waitUntil : Signal.t -> Base.Unit.t recipewait until t is high
val newVar : ?name:Base.String.t -> Base.Int.t -> var recipecreate an new n bit register
val assign : (var * Signal.t) Base.List.t -> Base.Unit.t recipeassign list of registers - takes 1 cycle
val writeVar : var -> Signal.t -> Base.Unit.t recipewrite register with value
val modifyVar : (Signal.t -> Signal.t) -> var -> Base.Unit.t recipemodify current value of resgiter
read a register, modify value, write a second register
module type Same = sig ... endmodule SList : Same with type 'a same = 'a Base.List.tmodule SArray : Same with type 'a same = 'a Base.Array.t