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/Zmatching/PATTERN_CHECKER/index.html

Module `Zmatching.PATTERN_CHECKER`

Parameters

module S : SIG

Signature

module SSet : sig ... end

val uniq : SSet.elt list -> SSet.elt list

val is_complete : SSet.elt list -> bool

val not_in : SSet.elt list -> S.tag

val head_constrs : 'a pattern -> ('a * int) list

Extract constructors from pattern.

val matS : S.tag -> int -> S.tag pattern list list -> S.tag pattern list list

Implementation of S(c,p) as described in the paper's first part.

val matD : 'a pattern list list -> 'a pattern list list

Implementation of D(p) as described in the paper's first part.

val algU : SSet.elt pattern list list -> S.tag pattern list -> bool

U(p,q) from the paper. Most important function, called by higher level ones. Tests the usefulness of q relatively to p.

type 'a trivec = {

p : 'a patt_vec;
q : 'a patt_vec;
r : 'a patt_vec;

}

Type used for efficient testing of usefulness and redundancy of pattern-matching cases.

and 'a trimat = 'a trivec list

val trimatS : S.tag -> int -> S.tag trivec list -> S.tag trivec list

Second de finition of S(c,p) for tri-matrices.

val shift1 : 'a trivec -> 'a trivec

shift1 l shifts an element from l.p to l.q.

val shift2 : 'a trivec -> 'a trivec

shift2 l shifts an element from l.p to l.r.

S.tag pattern list option is used for results of usefulness testing for Or(r1,r2) patterns. Some means that r1 and r2 are both useful, Some r1 (resp. Some r2) means that r1 (resp. r2) is useless, and None means that both are.

The following functions implement useful shortcuts.

val simple_union : 'a list option -> 'a list option -> 'a list option

val union : 'a -> 'a -> 'a list option -> 'a list option -> 'a list option

val algU' : 
  SSet.elt trivec list ->
  SSet.elt trivec ->
  S.tag pattern list option

Efficient usefulness check with special Or pattern management.

val algI : SSet.elt pattern list list -> int -> SSet.elt pattern list option

Completely construct a non-matched pattern. If none is returned, this matrix is exhaustive.

type result = {

not_matched : S.pattern_ast option;
redundant_patterns : S.pattern_ast list;

}

val check : S.pattern_ast list -> result

On This Page

Parameters
Signature