stgi-1.0.1: Educational implementation of the STG (Spineless Tagless G-machine)
Stg.Prelude.Maybe
Synopsis
nothing :: Program Source
Nothing as a top-level closure.
Nothing
nothing : Maybe a
maybe :: Program Source
Deconstructor of the Maybe type.
Maybe
maybe : b -> (a -> b) -> Maybe a -> b