1Prelude.deref(3kaya)         Kaya module reference        Prelude.deref(3kaya)
2
3
4

NAME

6       Prelude::deref - Dereference a Maybe.
7

SYNOPSIS

9       a deref( Maybe<a>  v )
10

ARGUMENTS

12       v The value to dereference
13

DESCRIPTION

15       Extract the value from a Prelude.Maybe (3kaya)
16        An Exception is thrown if v is nothing
17        A  case  statemement  is generally more appropriate unless it is known
18       that the dereferencing should succeed (for example,  using  Dict.lookup
19       (3kaya)  on a key known to have been added).  deref(x) is equivalent to
20       x.val
21
22

AUTHORS

24       Kaya  standard  library  by  Edwin  Brady,  Chris  Morris  and   others
25       (kaya@kayalang.org). For further information see http://kayalang.org/
26

LICENSE

28       The  Kaya  standard  library  is free software; you can redistribute it
29       and/or modify it under the terms  of  the  GNU  Lesser  General  Public
30       License  (version  2.1  or  any later version) as published by the Free
31       Software Foundation.
32

34       Prelude.Maybe (3kaya)
35       Prelude.CantDerefNothing (3kaya)
36
37
38
39Kaya                             December 2010            Prelude.deref(3kaya)
Impressum