Module

Data.Undefinable

This module defines a representation for undefined.

#Undefinable

data Undefinable :: Type -> Type

This type constructor defines a representation for a value that may or may not be undefined.

Instances

#toMaybe

toMaybe :: forall value. Undefinable value -> Maybe value

Takes undefined to Nothing and a value to Just value.

#toUndefinable

toUndefinable :: forall value. Maybe value -> Undefinable value

Takes Nothing to undefined and Just value to value.

Modules