---
name: "Prelude.deref"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Prelude.deref"
---

# Prelude.deref(3kaya)

Dereference a Maybe.

## 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)**