Returns some if this context is defined, otherwise none.
Returns some if this context is defined, otherwise none.
Returns the value within the context if defined or else the value of default.
Returns the value within the context if defined or else the value of default.
Returns true if a value is defined within the context.
Returns true if a value is defined within the context.
Returns true if no value is defined within the context.
Returns true if no value is defined within the context.
Returns true if a value is defined within the context.
Returns true if a value is defined within the context. This is an alias for isDefined.
Returns given context if it is defined or else the value of the alternative.
Returns given context if it is defined or else the value of the alternative.
If fa has an a, return it; otherwise it must be universally
quantified.
If fa has an a, return it; otherwise it must be universally
quantified.
Returns this context converted to the Maybe context.
Returns this context converted to the Maybe context.
Returns this context converted to the Option context.
Returns this context converted to the Option context.