fromJust package:ihaskell

fromJust :: HasCallStack => Maybe a -> a
ihaskell IHaskellPrelude
The fromJust function extracts the element out of a Just and throws an error if its argument is Nothing.

Examples

Basic usage: 
>>> fromJust (Just 1)
1

>>> 2 * (fromJust (Just 10))
20

>>> 2 * (fromJust Nothing)
*** Exception: Maybe.fromJust: Nothing
...
WARNING: This function is partial. You can use case-matching instead.
fromJustConvertSpec :: ConvertSpec Maybe -> ConvertSpec Identity
ihaskell IHaskell.Convert.Args
Convert a possibly-incomplete specification for what to convert into one which can be executed. Calls error when data is missing.