Miranda conformTo - Revision history

Kevin Reid: add javadoc

2011-08-07T03:39:04Z

add javadoc

New page

'''__conformTo/1''' is a [[Miranda message]].

{{instance msgdoc|__conformTo|1|<var>guard</var> :[[Guard]]|[[any]]}}

====Clients====

A guard which does not immediately accept the recipient may call <code>__conformTo</code>(the guard) on it, and check and return the result thereof instead.

====Implementations====

Implementations of <code>__conformTo/1</code> should return the recipient if they have no better answer.

====Miranda behavior====

Returns the recipient.

? def obj {}
> obj.__conformTo(any)
# value: <obj>

? obj.__conformTo(List)
# value: <obj>

? obj.__conformTo(def bobj {})
# value: <obj>

? obj.__conformTo(null)
# value: <obj>

==Original Javadoc==

{{XXX|merge}}

When a guard doesn't succeed by itself at coercing an object, the guard
may enlists the object's aid in bring about a coercion it would find
acceptable.

A guard enlists the object's aid at the price of being
[http://www.sims.berkeley.edu/~ping/auditors/ Gozarian]. A
Gozarian guard wants to enlists the object's aid <i>because</i> it is
ignorant of the kind of object it's dealing with, so a generic protocol
is needed. That's why __conformTo/1 is provided as a MirandaMethod.

The guard asks the object to conform to some guard that the object may
know about. Often this will be the guard that's attempting the coercion.
An object should attempt to return a representation of itself that the
argument guard would succeed in coercing. A requesting guard should then
try again on the result, but if this doesn't coerce, it should fail
there rather than making further __conformTo/1 requests. This implies
that it's the responsibility of the object's __conformTo/1
implementation to do any iteration needed for multi-step conversions.

The default (Miranda) implementation of __conformTo/1 just returns
self.

[[Category:Miranda messages]]

Kevin Reid: uniform style for miranda pages

2011-07-26T18:27:57Z

uniform style for miranda pages

←Older revision		Revision as of 18:27, 26 July 2011
Line 1:		Line 1:
-	~~<code>~~__conformTo/1~~</code>~~ is a Miranda message.	+	'''__conformTo/1''' is a [[Miranda message]].

	{{instance msgdoc\|__conformTo\|1\|<var>guard</var> :[[Guard]]\|[[any]]}}		{{instance msgdoc\|__conformTo\|1\|<var>guard</var> :[[Guard]]\|[[any]]}}

Kevin Reid: stub page written for some tests.

2009-08-21T16:55:59Z

stub page written for some tests.

←Older revision		Revision as of 16:55, 21 August 2009
Line 1:		Line 1:
-	~~'''~~__conformTo/1~~'''~~ is a [[Miranda message]].	+	<code>__conformTo/1</code> is a Miranda message.

	{{instance msgdoc\|__conformTo\|1\|<var>guard</var> :[[Guard]]\|[[any]]}}		{{instance msgdoc\|__conformTo\|1\|<var>guard</var> :[[Guard]]\|[[any]]}}
Line 28:		Line 28:
	# value: <obj>		# value: <obj>

-	~~==Original Javadoc==~~	+	{{stub}}
-		+
-	{{~~XXX\|merge~~}}	+
-		+
-	~~When a guard doesn't succeed by itself at coercing an object, the guard~~	+
-	~~may enlists the object's aid in bring about a coercion it would find~~	+
-	~~acceptable.~~	+
-		+
-	~~A guard enlists the object's aid at the price of being~~	+
-	~~[http://www.sims.berkeley.edu/~ping/auditors/ Gozarian]. A~~	+
-	~~Gozarian guard wants to enlists the object's aid <i>because</i> it is~~	+
-	~~ignorant of the kind of object it's dealing with, so a generic protocol~~	+
-	~~is needed. That's why __conformTo/1 is provided as a MirandaMethod.~~	+
-		+
-	~~The guard asks the object to conform to some guard that the object may~~	+
-	~~know about. Often this will be the guard that's attempting the coercion.~~	+
-	~~An object should attempt to return a representation of itself that the~~	+
-	~~argument guard would succeed in coercing. A requesting guard should then~~	+
-	~~try again on the result, but if this doesn't coerce, it should fail~~	+
-	~~there rather than making further __conformTo/1 requests. This implies~~	+
-	~~that it's the responsibility of the object's __conformTo/1~~	+
-	~~implementation to do any iteration needed for multi-step conversions.~~	+
-		+
-	~~The default (Miranda) implementation of __conformTo/1 just returns~~	+
-	~~self.~~	+
-		+
	[[Category:Miranda messages]]		[[Category:Miranda messages]]
		+	[[Category:ELib specification]]