Agda

Safe Haskell	None
Language	Haskell2010

Agda.Utils.Maybe.Unboxable

Documentation

data Maybe# a Source #

Constructors

Maybe# (# a | (# #) #)

pattern Nothing# :: Maybe# a Source #

pattern Just# :: a -> Maybe# a Source #