Miranda conformTo

From Erights

(Difference between revisions)
Jump to: navigation, search
(stub page written for some tests.)
(uniform style for miranda pages)
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]]}}

Revision as of 18:27, 26 July 2011

__conformTo/1 is a Miranda message.



Signature: __conformTo(guard :Guard) :any


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


Implementations of __conformTo/1 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>
This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools