package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Scoping/index.html
Module Scoping
module Error : sig ... endmodule S : sig ... endtype defnames = S.tmodule Rename : sig ... endval emake : Zlocation.location -> Zelus.desc -> Zelus.expval eqmake : Zlocation.location -> Zelus.eqdesc -> Zelus.eqval pmake : Zlocation.location -> Zelus.pdesc -> Zelus.patternval var : Zlocation.location -> Zident.t -> Zelus.expval varpat : Zlocation.location -> Zident.t -> Zelus.patternval eblock : 'a -> 'a Zelus.blockval block_with_emit : (Zelus.exp -> 'a) -> Zelus.exp -> 'a list Zelus.blockval block_with_result : Zident.t -> Zelus.eq list -> Zelus.eq list Zelus.blockval name_with_sort :
bool ->
Zlocation.location ->
Rename.value Rename.t ->
Rename.key ->
Zident.tval name :
Zlocation.location ->
Rename.value Rename.t ->
Rename.key ->
Zident.tval shortname : Zparsetree.longname -> Zparsetree.nameval longname : Zparsetree.longname -> Lident.tval immediate : Zparsetree.immediate -> Deftypes.immediateval constant : Zparsetree.constant -> Deftypes.constantval default :
Zparsetree.constant Zparsetree.default ->
Deftypes.constant Zelus.defaultval kind : Zparsetree.kind -> Zelus.kindval types :
Rename.value Rename.t ->
Zparsetree.type_expression ->
Zelus.type_expressionval size : Rename.value Rename.t -> Zparsetree.size -> Zelus.sizeval operator : 'a -> Rename.value Rename.t -> Zparsetree.op -> Zelus.opval build : bool -> S.t -> Zparsetree.pattern -> S.tif check_linear = true, stop when the same name appears twice
val build_list : bool -> S.t -> Zparsetree.pattern list -> S.tval build_equation_list : S.t -> Zparsetree.eq list -> S.tBuilds the set of names defined in a list of equations
val build_equation : S.t -> Zparsetree.eq -> S.tval build_block_equation_list :
S.t ->
Zparsetree.eq list Zparsetree.block ->
S.t * S.tval build_automaton_handler :
S.t ->
Zparsetree.eq list Zparsetree.block ->
Zparsetree.escape list ->
Zparsetree.escape list ->
S.tval check_pattern :
Rename.value Rename.t ->
Zparsetree.pattern ->
Zelus.patternRenaming of a pattern
val check_pattern_list :
Rename.value Rename.t ->
Zparsetree.pattern list ->
Zelus.pattern listval pattern :
Rename.value Rename.t ->
Zparsetree.pattern ->
Rename.value Rename.t * Rename.value Rename.t * Zelus.patternval pattern_list :
Rename.value Rename.t ->
Zparsetree.pattern list ->
Rename.value Rename.t * Rename.value Rename.t * Zelus.pattern listval match_handler_list :
('a -> Rename.value Rename.t -> 'b -> 'c) ->
'a ->
Rename.value Rename.t ->
'b Zparsetree.match_handler list ->
'c Zelus.match_handler listTwo generic functions for control blocks (present/match)
val present_handler_list :
('a -> Zparsetree.scondpat -> Rename.value Rename.t * 'b * Zelus.scondpat) ->
('c -> 'b -> 'd -> 'e) ->
'c ->
'a ->
'd Zparsetree.present_handler list ->
'e Zelus.present_handler listval state_handler_list :
Zlocation.location ->
(Rename.value Rename.t ->
Zparsetree.scondpat ->
Rename.value Rename.t * Rename.value Rename.t * Zelus.scondpat) ->
('a ->
Rename.value Rename.t ->
'b Zparsetree.block ->
Rename.value Rename.t * Zelus.eq list Zelus.block) ->
('a ->
Rename.value Rename.t ->
Zparsetree.eq list Zparsetree.block ->
Rename.value Rename.t * Zelus.eq list Zelus.block) ->
(Rename.value Rename.t -> Zparsetree.exp -> Zelus.exp) ->
'a ->
Rename.value Rename.t ->
'b Zparsetree.state_handler_desc Zparsetree.localized list ->
Zparsetree.state_exp_desc Zparsetree.localized option ->
bool * Zelus.state_handler list * Zelus.state_exdesc Zelus.localized optionTranslate automata
val vardec :
(Rename.value Rename.t * Zelus.vardec list) ->
Zparsetree.vardecdesc Zparsetree.localized ->
Rename.value Rename.t * Zelus.vardec listval block :
(Rename.value Rename.t -> Zparsetree.local list -> 'a * Zelus.local list) ->
(Rename.value Rename.t -> 'a -> 'b -> 'c) ->
Rename.value Rename.t ->
Rename.value Rename.t ->
'b Zparsetree.block_desc Zparsetree.localized ->
'a * 'c Zelus.blockval expression : Rename.value Rename.t -> Zparsetree.exp -> Zelus.expScoping an expression
val recordrec :
Zlocation.location ->
Rename.value Rename.t ->
(Zparsetree.longname * Zparsetree.exp) list ->
(Lident.t * Zelus.exp) listval period :
Rename.value Rename.t ->
Zparsetree.period ->
Zelus.exp Zelus.periodval equation :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zelus.eq list ->
Zparsetree.eq ->
Zelus.eq listval equation_list :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.eq list ->
Zelus.eq listval local :
Rename.value Rename.t ->
Zparsetree.local ->
Rename.value Rename.t * Zelus.localTranslating a sequence of local declarations
val locals :
Rename.value Rename.t ->
Zparsetree.local list ->
Rename.value Rename.t * Zelus.local listval letin :
Zparsetree.is_rec ->
Rename.value Rename.t ->
Zparsetree.eq list ->
Rename.value Rename.t * Rename.value Rename.t * Zelus.eq listval present_handler_exp_list :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.exp Zparsetree.present_handler list ->
Zelus.exp Zelus.present_handler listTranslate a present and match when handlers are expressions or equations
val present_handler_block_eq_list :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.eq list Zparsetree.block Zparsetree.present_handler list ->
Zelus.eq list Zelus.block Zelus.present_handler listval match_handler_block_eq_list :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.eq list Zparsetree.block Zparsetree.match_handler list ->
Zelus.eq list Zelus.block Zelus.match_handler listval block_eq_list :
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.eq list Zparsetree.block ->
Rename.value Rename.t * Zelus.eq list Zelus.blockTranslate a block when the body is a list of equations
val state_handler_eq_list :
Zlocation.location ->
Rename.value Rename.t ->
Rename.value Rename.t ->
Zparsetree.eq list Zparsetree.state_handler list ->
Zparsetree.state_exp option ->
Zelus.is_weak * Zelus.state_handler list * Zelus.state_exp optionTranslate an automaton
val scondpat :
Rename.value Rename.t ->
Zparsetree.scondpat ->
Rename.value Rename.t * Rename.value Rename.t * Zelus.scondpatval type_decl :
Zparsetree.type_decl_desc Zparsetree.localized ->
Zelus.type_decl_desc Zelus.localizedval constr_decl : Zparsetree.constr_decl -> Zelus.constr_declval type_decls :
('a * 'b * Zparsetree.type_decl_desc Zparsetree.localized) list ->
('a * 'b * Zelus.type_decl_desc Zelus.localized) listval implementation :
Zparsetree.implementation_desc Zparsetree.localized ->
Zelus.implementation_desc Zelus.localizedval implementation_list :
Zparsetree.implementation_desc Zparsetree.localized list ->
Zelus.implementation_desc Zelus.localized listval interface :
Zparsetree.interface_desc Zparsetree.localized ->
Zelus.interface_desc Zelus.localizedval interface_list :
Zparsetree.interface_desc Zparsetree.localized list ->
Zelus.interface_desc Zelus.localized list