FinalSlot

From Erights

(Difference between revisions)
Jump to: navigation, search
(replaced with spec-style doc)
(run/1: result guard, link any)
Line 11: Line 11:
=== run/1 ===
=== run/1 ===
-
run(value :any)
+
run(value :[[any]]) :FinalSlot
Makes a FinalSlot with the specified value.
Makes a FinalSlot with the specified value.

Revision as of 15:32, 25 March 2008

FinalSlot is the type of slot which underlies a final pattern. It is PassByCopy; it is given its value when it is created and cannot be assigned.

Maker FQN: org.erights.e.elib.slot.makeFinalSlot

The FinalSlot guard is parameterizable with a guard for the value; e.g. makeFinalSlot(1) :FinalSlot[float64] => <& 1.0>

Maker protocol

asType/0

asType() :Guard

Returns the FinalSlot guard, which all products of this maker pass.

run/1

run(value :any) :FinalSlot

Makes a FinalSlot with the specified value.

Personal tools
more tools