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)