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.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Interface/index.html

Module Interface

type error =
  1. | Eunbound_type_constr of Lident.t
  2. | Eunbound_global_value of Lident.t
  3. | Etype_constr_arity of Lident.t * int * int
  4. | Eunbound_type_var of string
  5. | Erepeated_type_param of string
  6. | Erepeated_constructor of string
  7. | Erepeated_label of string
  8. | Ealready_defined_type of string
  9. | Ealready_defined_constr of string
  10. | Ealready_defined_label of string
  11. | Ealready_defined_value of string
  12. | Ecyclic_abbreviation
exception Error of Zlocation.location * error
val error : Zlocation.location -> error -> 'a
val message : Zlocation.location -> error -> 'a
val make : 'a -> 'a Zelus.localized
val global : string -> 'a -> 'a Global.info
val free_of_type : string list -> Zelus.type_expression -> string list
val constr_name : Zlocation.location -> Lident.t -> int -> Lident.qualident
val kindtype : Zelus.kind -> Deftypes.kind
val kindoftype : Deftypes.kind -> Zelus.kind
val typ_of_type_expression : (string * Deftypes.typ) list -> Zelus.type_expression -> Deftypes.typ
val type_expression_of_typ : Deftypes.typ -> Zelus.type_expression
val type_decl_of_type_desc : 'a -> Global.type_desc -> 'a * string list * Zelus.type_decl_desc Zelus.localized
val check_no_repeated_type_param : Zlocation.location -> string list -> unit
val check_no_repeated_constructor : Zlocation.location -> Zelus.constr_decl_desc Zelus.localized list -> unit
val check_no_repeated_label : Zlocation.location -> (string * 'a) list -> unit
val type_variant_type : (string * Deftypes.typ) list -> Zelus.constr_decl_desc Zelus.localized list -> Deftypes.typ -> Global.constr_desc Global.info list
val type_record_type : (string * Deftypes.typ) list -> (string * Zelus.type_expression) list -> Deftypes.typ -> Global.label_desc Global.info list
val make_initial_typ_environment : Zlocation.location -> Modules.E.key -> string list -> Global.type_desc Global.info
val add_type_of_value : Format.formatter -> Zlocation.location -> Modules.E.key -> bool -> Deftypes.typ_scheme -> unit
val update_type_of_value : Format.formatter -> Zlocation.location -> Modules.E.key -> bool -> Deftypes.typ_scheme -> unit
val interface_list : Format.formatter -> Zelus.interface_desc Zelus.localized list -> unit