stgi-1.1: Educational implementation of the STG (Spineless Tagless G-machine)

Safe HaskellNone
LanguageHaskell2010

Stg.Prelude.Maybe

Description

Functions as found in Haskell's Data.Maybe module.

This module should be imported qualified to avoid clashes with standard Haskell definitions.

Synopsis

Documentation

nothing :: Program Source #

Nothing as a top-level closure.

nothing : Maybe a

maybe :: Program Source #

Deconstructor of the Maybe type.

maybe : b -> (a -> b) -> Maybe a -> b