FinalSlot
From Erights
(Difference between revisions)
Kevin Reid (Talk | contribs) (replaced with spec-style doc) |
Kevin Reid (Talk | contribs) (→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.