package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

Dune Dependency

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

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Global/index.html

Module `Global`

type 'a info = {

qualid : Lident.qualident;
info : 'a;

}

type value_desc = {

mutable value_typ : Deftypes.typ_scheme;
mutable value_static : bool;
mutable value_caus : Defcaus.tc_scheme option;
mutable value_init : Definit.ti_scheme option;
mutable value_code : value_code;

}

and value_exp =

| Vconst of Deftypes.immediate
| Vconstr0 of Lident.qualident
| Vconstr1 of Lident.qualident * value_code list
| Vtuple of value_code list
| Vrecord of (Lident.qualident * value_code) list
| Vperiod of value_code Zelus.period
| Vfun of Zelus.funexp * value_code Zident.Env.t
| Vabstract of Lident.qualident

The type of values

and value_code = {

value_exp : value_exp;
value_name : Lident.qualident option;

}

type constr_desc = {

constr_arg : Deftypes.typ list;
constr_res : Deftypes.typ;
constr_arity : int;

}

and label_desc = {

label_arg : Deftypes.typ;
label_res : Deftypes.typ;

}

type type_desc = {

mutable type_desc : type_components;
mutable type_parameters : int list;

}

and type_components =

| Abstract_type
| Variant_type of constr_desc info list
| Record_type of label_desc info list
| Abbrev of Deftypes.typ list * Deftypes.typ

val value_code : value_exp -> value_code

val value_name : Lident.qualident -> value_code -> value_code

val value_desc : bool -> Deftypes.typ_scheme -> Lident.qualident -> value_desc

val set_type : value_desc info -> Deftypes.typ_scheme -> unit

val set_causality : value_desc info -> Defcaus.tc_scheme -> unit

val set_init : value_desc info -> Definit.ti_scheme -> unit

val set_value_code : value_desc info -> value_code -> unit