| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Acme.Safe
Synopsis
- safeFromJust :: Maybe a -> Maybe a
- safeFromLeft :: Either a b -> Either a b
- safePerformIO :: IO a -> Maybe (IO ())
- safeTrace :: String -> a -> Maybe (IO ())
- safeCoerce :: a -> Maybe b
Documentation
safeFromJust :: Maybe a -> Maybe a Source #
Safely extract a value from a Just
safeFromLeft :: Either a b -> Either a b Source #
Safely extract a value from a Left
safePerformIO :: IO a -> Maybe (IO ()) Source #
Safely doesn't perform IO with the help of acme-dont. Side-effects-free!
safeTrace :: String -> a -> Maybe (IO ()) Source #
Doesn't print the provided debug string. But it's 100% safe!
safeCoerce :: a -> Maybe b Source #
Safely converts a value from any type to any other type.