/
NetworkState.purs
50 lines (41 loc) · 1.26 KB
/
NetworkState.purs
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
module Web.HTML.HTMLMediaElement.NetworkState (NetworkState(..)) where
import Prelude
import Data.Maybe (Maybe(..))
import Data.Enum (class Enum, class BoundedEnum, Cardinality(..), defaultSucc, defaultPred)
data NetworkState
= Empty
| Idle
| Loading
| NoSource
derive instance eqNetworkState :: Eq NetworkState
derive instance ordNetworkState :: Ord NetworkState
instance boundedNetworkState :: Bounded NetworkState where
bottom = Empty
top = NoSource
instance enumNetworkState :: Enum NetworkState where
succ = defaultSucc toEnumNetworkState fromEnumNetworkState
pred = defaultPred toEnumNetworkState fromEnumNetworkState
instance boundedEnumNetworkState :: BoundedEnum NetworkState where
cardinality = Cardinality 4
toEnum = toEnumNetworkState
fromEnum = fromEnumNetworkState
instance showNetworkState :: Show NetworkState where
show Empty = "Empty"
show Idle = "Idle"
show Loading = "Loading"
show NoSource = "NoSource"
toEnumNetworkState :: Int -> Maybe NetworkState
toEnumNetworkState =
case _ of
0 -> Just Empty
1 -> Just Idle
2 -> Just Loading
3 -> Just NoSource
_ -> Nothing
fromEnumNetworkState :: NetworkState -> Int
fromEnumNetworkState =
case _ of
Empty -> 0
Idle -> 1
Loading -> 2
NoSource -> 3