NAME

       Prelude::deref - Dereference a Maybe.

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  (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)

Kaya                                                July 2013                               Prelude.deref(3kaya)