Module

Data.Undefinable

Package
undefinable
Repository
purerl/purescript-undefinable

This module defines a representation for undefined.

#Undefinable Source

data Undefinable :: Type -> Type

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

Instances

#toMaybe Source

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

Takes undefined to Nothing and a value to Just value.

#toUndefinable Source

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

Takes Nothing to undefined and Just value to value.