blob: 3806e5adedb2f9e5b6aa273a5a64ac8674185720 (
about) (
plain) (
blame)
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
|
module Data.Res where
import Control.Applicative
import Data.String (IsString (fromString))
data Res e r = Ok r | Err e
instance Functor (Res e) where
fmap f (Ok v) = Ok (f v)
fmap _ (Err e) = Err e
instance Applicative (Res e) where
pure = Ok
(Ok f) <*> (Ok v) = Ok (f v)
(Err e) <*> _ = Err e
_ <*> (Err e) = Err e
instance Monad (Res e) where
(Ok v) >>= f = f v
(Err e) >>= _ = Err e
instance (IsString e) => MonadFail (Res e) where
fail = Err . fromString
instance (IsString e) => Alternative (Res e) where
empty = fail "mzero"
m1@(Ok _) <|> _ = m1
(Err _) <|> m2 = m2
liftEither :: Either e r -> Res e r
liftEither = either Err Ok
|
