The fromJust
function extracts the element out of a Just
and
throws an error if its argument is Nothing
.
Examples
Expand
Basic usage:
>>>
fromJust (Just 1)
1
>>>
2 * (fromJust (Just 10))
20
>>>
2 * (fromJust Nothing)
*** Exception: Maybe.fromJust: Nothing