CoercedSlot - Revision history

Kevin Reid: wrong name for ExitFunction

2008-11-08T04:51:08Z

wrong name for ExitFunction

New page

This is a module used by the [[guard-based auditing]] proposal, though it can stand alone.

[[CoercedSlot]]s implement the [[Slot]] protocol. They hold a single value, and the guard it was coerced by; they are immutable.

==Maker==

{{maker msgdoc|run|3|<var>guard</var> :[[Guard]], <var>specimen</var>, <var>ejector</var> :[[ExitFunction]]|[[CoercedSlot]]}}

Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).

{{maker msgdoc|attempt|2|<var>guard</var> :[[Guard]], <var>specimen</var>|[[CoercedSlot]]}}

As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing|LostApproval]][<var>guard</var>].

==Protocol==

{{instance msgdoc|getGuard|0||[[Guard]]}}

Returns the guard that this slot's value was coerced, or otherwise approved, by.

=== __optUncall/0 ===
[[Miranda __optUncall|__optUncall]]() :[[Portrayal]]

Returns a portrayal in terms of [[#attempt/1]].

[[Category:ELib specification]]

Kevin Reid: better optUncall markup, restore lost getguard doc

2008-11-08T04:40:44Z

better optUncall markup, restore lost getguard doc

←Older revision		Revision as of 04:40, 8 November 2008
Line 17:		Line 17:
	{{instance msgdoc\|getGuard\|0\|\|[[Guard]]}}		{{instance msgdoc\|getGuard\|0\|\|[[Guard]]}}

-	~~{{instance msgdoc\|~~__optUncall\|0\|\|[[Portrayal]]}}	+	Returns the guard that this slot's value was coerced, or otherwise approved, by.
		+
		+	=== __optUncall/0 ===
		+	[[Miranda __optUncall\|__optUncall]]() :[[Portrayal]]

	Returns a portrayal in terms of [[#attempt/1]].		Returns a portrayal in terms of [[#attempt/1]].

	[[Category:ELib specification]]		[[Category:ELib specification]]

Kevin Reid: /* Maker */ consistent var name

2008-11-08T04:34:21Z

Maker: consistent var name

←Older revision		Revision as of 04:34, 8 November 2008
Line 5:		Line 5:
	==Maker==		==Maker==

-	{{maker msgdoc\|run\|3\|<var>guard</var>, <var>specimen</var>, <var>ejector</var>\|[[CoercedSlot]]}}	+	{{maker msgdoc\|run\|3\|<var>guard</var> :[[Guard]], <var>specimen</var>, <var>ejector</var> :[[ExitFunc]]\|[[CoercedSlot]]}}

	Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).		Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).

-	{{maker msgdoc\|attempt\|2\|<var>guard</var>, <var>~~value~~</var>\|[[CoercedSlot]]}}	+	{{maker msgdoc\|attempt\|2\|<var>guard</var> :[[Guard]], <var>specimen</var>\|[[CoercedSlot]]}}

	As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].		As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].

Kevin Reid: document __optUncall behavior

2008-11-08T04:27:52Z

document __optUncall behavior

←Older revision		Revision as of 04:27, 8 November 2008
Line 1:		Line 1:
	This is a module used by the [[guard-based auditing]] proposal, though it can stand alone.		This is a module used by the [[guard-based auditing]] proposal, though it can stand alone.

-	[[CoercedSlot]]s implement the [[Slot]] protocol.	+	[[CoercedSlot]]s implement the [[Slot]] protocol. They hold a single value, and the guard it was coerced by; they are immutable.

	==Maker==		==Maker==

-	{{maker msgdoc\|run\|1\|<var>guard</var>, <var>specimen</var>, <var>ejector</var>\|[[CoercedSlot]]}}	+	{{maker msgdoc\|run\|3\|<var>guard</var>, <var>specimen</var>, <var>ejector</var>\|[[CoercedSlot]]}}

	Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).		Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).

-	{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|[[CoercedSlot]]}}	+	{{maker msgdoc\|attempt\|2\|<var>guard</var>, <var>value</var>\|[[CoercedSlot]]}}

	As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].		As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].
Line 17:		Line 17:
	{{instance msgdoc\|getGuard\|0\|\|[[Guard]]}}		{{instance msgdoc\|getGuard\|0\|\|[[Guard]]}}

-	Returns ~~the guard that this slot's value was coerced, or otherwise approved, by~~.	+	{{instance msgdoc\|__optUncall\|0\|\|[[Portrayal]]}}
		+
		+	Returns a portrayal in terms of [[#attempt/1]].

	[[Category:ELib specification]]		[[Category:ELib specification]]

Kevin Reid: fix markup and content of result guard

2008-11-08T04:14:24Z

fix markup and content of result guard

←Older revision		Revision as of 04:14, 8 November 2008
Line 9:		Line 9:
	Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).		Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).

-	{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|~~[[any]]<nowiki>[</nowiki>~~[[CoercedSlot]]~~\|[[FinalSlot]]<nowiki>]</nowiki>~~}}	+	{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|[[CoercedSlot]]}}

	As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].		As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].

Kevin Reid: correct attempt/1 doc to what should be, not what is implemented

2008-11-08T04:13:31Z

correct attempt/1 doc to what should be, not what is implemented

←Older revision		Revision as of 04:13, 8 November 2008
Line 11:		Line 11:
	{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|[[any]]<nowiki>[</nowiki>[[CoercedSlot]]\|[[FinalSlot]]<nowiki>]</nowiki>}}		{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|[[any]]<nowiki>[</nowiki>[[CoercedSlot]]\|[[FinalSlot]]<nowiki>]</nowiki>}}

-	As run/1 unless the guard ejects, in which case ~~a FinalSlot with~~ <var>~~value~~</var> ~~is returned~~.	+	As run/1 unless the guard ejects, in which case the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][<var>guard</var>].

	==Protocol==		==Protocol==

Kevin Reid at 04:11, 8 November 2008

2008-11-08T04:11:35Z

←Older revision		Revision as of 04:11, 8 November 2008
Line 1:		Line 1:
	This is a module used by the [[guard-based auditing]] proposal, though it can stand alone.		This is a module used by the [[guard-based auditing]] proposal, though it can stand alone.

-	[[CoercedSlot]]s implement the [[Slot]] protocol~~. They hold a single value, and the guard it was coerced by; they are immutable~~.	+	[[CoercedSlot]]s implement the [[Slot]] protocol.

	==Maker==		==Maker==

-	{{maker msgdoc\|run\|3\|<var>guard</var> ~~:[[Guard]]~~, <var>specimen</var>, <var>ejector</var> ~~:[[ExitFunction]]~~\|[[CoercedSlot]]}}	+	{{maker msgdoc\|run\|1\|<var>guard</var>, <var>specimen</var>, <var>ejector</var>\|[[CoercedSlot]]}}

	Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).		Makes a CoercedSlot holding the result of <var>guard</var>.coerce(<var>specimen</var>, <var>ejector</var>).

-	{{maker msgdoc\|attempt\|2\|<var>guard</var> ~~:[[Guard]]~~, <var>~~specimen~~</var>\|[[CoercedSlot]]}}	+	{{maker msgdoc\|attempt\|1\|<var>guard</var>, <var>value</var>\|[[any]]<nowiki>[</nowiki>[[CoercedSlot]]\|[[FinalSlot]]<nowiki>]</nowiki>}}

-	As run/1 unless the guard ejects, in which case ~~the resulting slot's guard will be [[Guard-based auditing\|LostApproval]][~~<var>~~guard~~</var>].	+	As run/1 unless the guard ejects, in which case a FinalSlot with <var>value</var> is returned.

	==Protocol==		==Protocol==
Line 18:		Line 18:

	Returns the guard that this slot's value was coerced, or otherwise approved, by.		Returns the guard that this slot's value was coerced, or otherwise approved, by.
-
-	~~=== __optUncall/0 ===~~
-	~~[[Miranda __optUncall\|__optUncall]]() :[[Portrayal]]~~
-
-	~~Returns a portrayal in terms of [[#attempt/1]].~~

	[[Category:ELib specification]]		[[Category:ELib specification]]