Safe.Plus

Documentation

callerFile :: HasCallStack => String

The filename of the first caller which called a function with implicit parameter (callStack :: CallStack).

callerLine :: HasCallStack => Int

The line number of the first caller which called a function with implicit parameter (callStack :: CallStack).

callerLocation :: HasCallStack => String

safeDigitToInt :: Monad m => Char -> m Int

Convert a single digit Char to the corresponding Int. This function fails unless its argument satisfies isHexDigit, but recognises both upper and lower-case hexadecimal digits (i.e. '0'..'9', 'a'..'f', 'A'..'F').

safeRead :: (HasCallStack, Read a) => String -> a

readNoteVerbose :: Read a => String -> String -> a

safeFromJust :: HasCallStack => Maybe a -> a

safeFromJustNote :: HasCallStack => String -> Maybe a -> a

safeHead :: HasCallStack => [a] -> a

safeTail :: HasCallStack => [a] -> [a]

safeInit :: HasCallStack => [a] -> [a]

safeLast :: HasCallStack => [a] -> a

safeMaximum :: (HasCallStack, Ord a) => [a] -> a

safeMinimum :: (HasCallStack, Ord a) => [a] -> a

safeHeadNote :: HasCallStack => String -> [a] -> a

safeFromRight :: HasCallStack => Either a b -> b

fromRightNote :: String -> Either a b -> b

safeFromLeft :: HasCallStack => Either a b -> a

fromLeftNote :: String -> Either a b -> a

safeAtArray :: (HasCallStack, IArray a e, Ix i, Show i) => a i e -> i -> e

atArrayNote :: (IArray a e, Ix i, Show i) => String -> a i e -> i -> e

safeAt :: HasCallStack => [a] -> Int -> a

safeError :: HasCallStack => String -> a

safeFail :: (HasCallStack, Monad m) => String -> m a

safeUndef :: HasCallStack => a