c9b4c65b60
packaged for wip.
A library wrapping Prelude/Data.List functions that can throw exceptions, such
as head and !!. Each unsafe function has up to four variants, e.g. with tail:
* tail :: [a] -> [a], raises an error on tail [].
* tailMay :: [a] -> Maybe [a], turns errors into Nothing.
* tailDef :: [a] -> [a] -> [a], takes a default to return on errors.
* tailNote :: String -> [a] -> [a], takes an extra argument which supplements
the error message.
* tailSafe :: [a] -> [a], returns some sensible default if possible,
[] in the case of tail.
This package is divided into three modules:
* Safe contains safe variants of Prelude and Data.List functions.
* Safe.Foldable contains safe variants of Foldable functions.
* Safe.Exact creates crashing versions of functions like zip (errors if
the lists are not equal) and take (errors if there are not enough elements),
then wraps them to provide safe variants.
24 lines
962 B
Text
24 lines
962 B
Text
A library wrapping Prelude/Data.List functions that can throw exceptions, such
|
|
as head and !!. Each unsafe function has up to four variants, e.g. with tail:
|
|
|
|
* tail :: [a] -> [a], raises an error on tail [].
|
|
|
|
* tailMay :: [a] -> Maybe [a], turns errors into Nothing.
|
|
|
|
* tailDef :: [a] -> [a] -> [a], takes a default to return on errors.
|
|
|
|
* tailNote :: String -> [a] -> [a], takes an extra argument which supplements
|
|
the error message.
|
|
|
|
* tailSafe :: [a] -> [a], returns some sensible default if possible,
|
|
[] in the case of tail.
|
|
|
|
This package is divided into three modules:
|
|
|
|
* Safe contains safe variants of Prelude and Data.List functions.
|
|
|
|
* Safe.Foldable contains safe variants of Foldable functions.
|
|
|
|
* Safe.Exact creates crashing versions of functions like zip (errors if
|
|
the lists are not equal) and take (errors if there are not enough elements),
|
|
then wraps them to provide safe variants.
|