other versions
- jessie 0.4.4-6.2
Prelude.deref(3kaya) | Kaya module reference | Prelude.deref(3kaya) |
NAME¶
Prelude::deref - Dereference a Maybe.SYNOPSIS¶
a deref( Maybe<a> v )ARGUMENTS¶
v The value to dereferenceDESCRIPTION¶
Extract the value from a Prelude.Maybe (3kaya)An Exception is thrown if v is nothing
A case statemement is generally more appropriate unless it is known that the dereferencing should succeed (for example, using Dict.lookup (3kaya) on a key known to have been added). deref(x) is equivalent to x.val
AUTHORS¶
Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further information see http://kayalang.org/LICENSE¶
The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.RELATED¶
Prelude.Maybe (3kaya) Prelude.CantDerefNothing (3kaya)August 2014 | Kaya |