Maybe



next up previous contents index
Next: Routines Up: No Title Previous: Oneof

Maybe

"Maybe"s are just "oneof"s with a somewhat more convenient syntax and a possibly more efficient implementation; "maybe[T] = oneof[empty: null, full: T]". The methods and routines for a "maybe" type are exactly as defined for the associated "oneof" type.



theta-questions@lcs.mit.edu