| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Acme.Safe
- 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.