FinalSlot
From Erights
(Difference between revisions)
(Created page. Is there anything more to add?) |
Kevin Reid (Talk | contribs) (replaced with spec-style doc) |
||
Line 1: | Line 1: | ||
- | FinalSlot is | + | [[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: <code>org.erights.e.elib.slot.makeFinalSlot</code> | |
- | + | The FinalSlot guard is parameterizable with a guard for the value; e.g. <code>makeFinalSlot(1) :FinalSlot[float64] => <& 1.0></code> | |
- | specified | + | |
+ | == Maker protocol == | ||
+ | |||
+ | === asType/0 === | ||
+ | {{asType|FinalSlot}} | ||
+ | |||
+ | === run/1 === | ||
+ | run(value :any) | ||
+ | |||
+ | Makes a FinalSlot with the specified value. |
Revision as of 15:29, 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)
Makes a FinalSlot with the specified value.