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.

Contents

__conformTo/1

Signature: __conformTo(guard :Guard) :any

Clients

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

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