1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
{-| Import this module in your code to access the entire library's
functionality:
> import Control.Error
This module exports the entire library as well as useful exports from other
standard error-handling libraries:
* "Control.Error.Safe": Generalizes the @safe@ library, including 'Either',
'EitherT', and 'MonadPlus' variations on total functions
* "Control.Error.Script": Support for simple scripts that catch all errors
and transform them to 'Text'
* "Control.Error.Util": Utility functions and conversions between common
error-handling types
* @Control.Monad.Trans.Except@: The 'ExceptT' monad transformer
* @Control.Monad.Trans.Maybe@: The 'MaybeT' monad transformer
* @Data.Either@: 'Either' utility functions
* "Data.EitherR": throw and catch functions, and their corresponding
\"success\" monads
* @Data.Maybe@: 'Maybe' utility functions
* @Safe@: Total versions of partial Prelude functions
This module does not re-export partial functions from other libraries.
-}
module Control.Error (
-- * Re-exports
module Control.Error.Safe,
module Control.Error.Script,
module Control.Error.Util,
module Control.Monad.Trans.Except,
module Control.Monad.Trans.Maybe,
module Data.Either,
module Data.EitherR,
module Data.Maybe,
module Safe
) where
import Control.Error.Safe
import Control.Error.Script
import Control.Error.Util
import Control.Monad.Trans.Except (
ExceptT(ExceptT),
runExceptT,
throwE,
catchE,
mapExceptT,
withExceptT )
import Control.Monad.Trans.Maybe (
MaybeT(MaybeT),
runMaybeT,
mapMaybeT,
liftCallCC,
liftCatch,
liftListen,
liftPass )
import Data.Either (either, lefts, rights, partitionEithers)
import Data.EitherR
import Data.Maybe (
maybe,
isJust,
isNothing,
fromMaybe,
listToMaybe,
maybeToList,
catMaybes,
mapMaybe )
import Safe (
tailDef,
tailMay,
tailSafe,
initDef,
initMay,
initSafe,
headDef,
headMay,
lastDef,
lastMay,
minimumDef,
minimumMay,
maximumDef,
maximumMay,
foldr1Def,
foldr1May,
foldl1Def',
foldl1May',
fromJustDef,
atDef,
atMay,
readDef,
readMay,
lookupJustDef,
findJustDef )
|
