blob: e47e8918136e7485efee3216975e1a3f0638a346 (
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
31
|
-- | A port of Kris Jenkins' RemoteData Elm module
-- <https://github.com/krisajenkins/remotedata>.
--
module Com.Simatime.Network 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
|
