@@ -5,18 +5,18 @@ import Data.Maybe (Maybe(..))
5
5
import Data.Enum (class Enum , class BoundedEnum , Cardinality (..), defaultSucc , defaultPred )
6
6
7
7
data ReadyState
8
- = HAVE_NOTHING
9
- | HAVE_METADATA
10
- | HAVE_CURRENT_DATA
11
- | HAVE_FUTURE_DATA
12
- | HAVE_ENOUGH_DATA
8
+ = HaveNothing
9
+ | HaveMetadata
10
+ | HaveCurrentData
11
+ | HaveFutureData
12
+ | HaveEnoughData
13
13
14
14
derive instance eqReadyState :: Eq ReadyState
15
15
derive instance ordReadyState :: Ord ReadyState
16
16
17
17
instance boundedReadyState :: Bounded ReadyState where
18
- bottom = HAVE_NOTHING
19
- top = HAVE_ENOUGH_DATA
18
+ bottom = HaveNothing
19
+ top = HaveEnoughData
20
20
21
21
instance enumReadyState :: Enum ReadyState where
22
22
succ = defaultSucc toEnumReadyState fromEnumReadyState
@@ -28,27 +28,27 @@ instance boundedEnumReadyState :: BoundedEnum ReadyState where
28
28
fromEnum = fromEnumReadyState
29
29
30
30
instance showReadyState :: Show ReadyState where
31
- show HAVE_NOTHING = " HAVE_NOTHING "
32
- show HAVE_METADATA = " HAVE_METADATA "
33
- show HAVE_CURRENT_DATA = " HAVE_CURRENT_DATA "
34
- show HAVE_FUTURE_DATA = " HAVE_FUTURE_DATA "
35
- show HAVE_ENOUGH_DATA = " HAVE_ENOUGH_DATA "
31
+ show HaveNothing = " HaveNothing "
32
+ show HaveMetadata = " HaveMetadata "
33
+ show HaveCurrentData = " HaveCurrentData "
34
+ show HaveFutureData = " HaveFutureData "
35
+ show HaveEnoughData = " HaveEnoughData "
36
36
37
37
toEnumReadyState :: Int -> Maybe ReadyState
38
38
toEnumReadyState =
39
39
case _ of
40
- 0 -> Just HAVE_NOTHING
41
- 1 -> Just HAVE_METADATA
42
- 2 -> Just HAVE_CURRENT_DATA
43
- 3 -> Just HAVE_FUTURE_DATA
44
- 4 -> Just HAVE_ENOUGH_DATA
40
+ 0 -> Just HaveNothing
41
+ 1 -> Just HaveMetadata
42
+ 2 -> Just HaveCurrentData
43
+ 3 -> Just HaveFutureData
44
+ 4 -> Just HaveEnoughData
45
45
_ -> Nothing
46
46
47
47
fromEnumReadyState :: ReadyState -> Int
48
48
fromEnumReadyState =
49
49
case _ of
50
- HAVE_NOTHING -> 0
51
- HAVE_METADATA -> 1
52
- HAVE_CURRENT_DATA -> 2
53
- HAVE_FUTURE_DATA -> 3
54
- HAVE_ENOUGH_DATA -> 4
50
+ HaveNothing -> 0
51
+ HaveMetadata -> 1
52
+ HaveCurrentData -> 2
53
+ HaveFutureData -> 3
54
+ HaveEnoughData -> 4
0 commit comments