package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Printer/index.html

Module Printer

val no_op : 'a -> 'b -> unit
val is_infix : String.t -> bool
val parenthesis : String.t -> String.t
val shortname : Format.formatter -> String.t -> unit
val qualident : Format.formatter -> Lident.qualident -> unit
val longname : Format.formatter -> Lident.t -> unit
val name : Format.formatter -> Ident.t -> unit
val source_name : Format.formatter -> Ident.t -> unit
val immediate : Format.formatter -> Deftypes.immediate -> unit
val constant : Format.formatter -> Deftypes.constant -> unit
val print_opt_magic : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val pattern : Format.formatter -> Zelus.pattern -> unit
val pattern_list : string -> string -> string -> Format.formatter -> Zelus.pattern list -> unit
val combine : Format.formatter -> Lident.t -> unit
val print_vardec_list : Format.formatter -> Zelus.vardec list -> unit
val kind : Deftypes.mkind -> string
val print_binding : Format.formatter -> (Ident.t * Deftypes.tentry) -> unit
val print_env : Format.formatter -> Deftypes.tentry Ident.Env.t -> unit
val print_writes : Format.formatter -> Deftypes.defnames -> unit
val print_eq_info : Format.formatter -> Zelus.eq -> unit
val block : (Format.formatter -> Zelus.local list -> unit) -> ('a -> 'b -> Format.formatter -> 'c -> unit) -> 'a -> 'b -> Format.formatter -> 'c Zelus.block -> unit
val match_handler : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Zelus.match_handler -> unit
val present_handler : (Format.formatter -> Zelus.scondpat -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Zelus.present_handler -> unit
val period : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Zelus.period -> unit
val expression : Format.formatter -> Zelus.exp -> unit
val operator : Format.formatter -> Zelus.op -> Zelus.exp list -> unit
val equation : Format.formatter -> Zelus.eq -> unit
val block_equation_list : string -> string -> Format.formatter -> Zelus.eq list Zelus.block -> unit
val equation_list : string -> string -> Format.formatter -> Zelus.eq list -> unit
val state_handler_list : Zelus.is_weak -> Format.formatter -> Zelus.state_handler list -> unit
val state_handler : Zelus.is_weak -> Format.formatter -> Zelus.state_handler -> unit
val escape : Format.formatter -> Zelus.escape -> unit
val scondpat : Format.formatter -> Zelus.scondpat -> unit
val statepat : Format.formatter -> Zelus.statepat -> unit
val state : Format.formatter -> Zelus.state_exp -> unit
val locals : Format.formatter -> Zelus.local list -> unit
val local : Format.formatter -> Zelus.local -> unit
val state_ident_typ : Format.formatter -> (Ident.t * Deftypes.typ) Misc.State.t -> unit
val state_eq : Format.formatter -> Zelus.eq Misc.State.t -> unit
val open_module : Format.formatter -> String.t -> unit
val funexp : Format.formatter -> Zelus.funexp -> unit
val implementation_list : Format.formatter -> Zelus.implementation_desc Zelus.localized list -> unit
val interface_list : Format.formatter -> Zelus.interface_desc Zelus.localized list -> unit
val print_value_code : Format.formatter -> Global.value_code -> unit
val print_value : Format.formatter -> Global.value_exp -> unit