Miranda conformTo

From Erights

__conformTo/1 is a Miranda message.

Contents 1 __conformTo/1 1.1 Clients 1.2 Implementations 1.3 Miranda behavior

__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.