blob: 4114f02a86b9966a91c67bef1911ee16cb6e1d28 (
plain)
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
|
-- | A port of Kris Jenkins' RemoteData Elm module
-- <https://github.com/krisajenkins/remotedata>.
module Network.RemoteData where
data RemoteData a b
= NotAsked
| Loading
| Failure a
| Success b
deriving (Eq, Show)
-- TODO figure out Http.Error
-- type WebData a = RemoteData Http.Error a
instance Functor (RemoteData a) where
fmap _ NotAsked = NotAsked
fmap _ Loading = Loading
fmap _ (Failure a) = Failure a
fmap f (Success a) = Success (f a)
instance Applicative (RemoteData e) where
pure = Success
NotAsked <*> _ = NotAsked
Loading <*> _ = Loading
Failure a <*> _ = Failure a
Success a <*> b = fmap a b
fromEither :: Either a b -> RemoteData a b
fromEither (Left a) = Failure a
fromEither (Right a) = Success a
|
