Skip to contents

Create an Nothing instance

Usage

Nothing()

Value

a Nothing instance

See also

Other maybe: Just(), is_just(), is_nothing()