SYNOPSIS
a deref( Maybe<a> v )ARGUMENTS
v The value to dereference
DESCRIPTION
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 ([email protected]). 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)