Minnesota Extensible Language Tools Group

[silver:util:deque]

Contents of [silver:util:deque]:

Defined in this grammar:

nonterminal Deque<a>

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 3.

(Undocumented.)

abstract production deque   (top::Deque<a> ::= ln::Integer l::[a] rn::Integer r::[a] )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 9.

(Undocumented.)

fun empty   (Deque<a> ::= )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 13.

(Undocumented.)

function cons   (Deque<a> ::= e::a q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 15.

(Undocumented.)

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 20.

(Undocumented.)

function tail   (Deque<a> ::= q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 29.

(Undocumented.)

function snoc   (Deque<a> ::= q::Deque<a> e::a )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 38.

(Undocumented.)

function last   (a ::= q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 43.

(Undocumented.)

function init   (Deque<a> ::= q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 52.

(Undocumented.)

function isEmpty   (Boolean ::= q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 61.

(Undocumented.)

function reverse   (Deque<a> ::= q::Deque<a> )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 66.

(Undocumented.)

function check   (Deque<a> ::= lenf::Integer f::[a] lenr::Integer r::[a] )

Contained in grammar [silver:util:deque]. Defined at silver/util/deque/Deque.sv line 72.

(Undocumented.)