diff options
| author | Mart Lubbers | 2015-04-16 21:22:20 +0200 |
|---|---|---|
| committer | Mart Lubbers | 2015-04-16 21:22:20 +0200 |
| commit | 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c (patch) | |
| tree | 96d580507249f7f58368476d9113007d4afcd748 /fp1/week2/mart/StdT.icl | |
| parent | Added student numbers (diff) | |
update to fp2 yay, public and licence
Diffstat (limited to 'fp1/week2/mart/StdT.icl')
| -rw-r--r-- | fp1/week2/mart/StdT.icl | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/fp1/week2/mart/StdT.icl b/fp1/week2/mart/StdT.icl new file mode 100644 index 0000000..01bee7d --- /dev/null +++ b/fp1/week2/mart/StdT.icl @@ -0,0 +1,35 @@ +implementation module StdT
+
+import StdEnv
+
+:: T = {m :: Int, s :: Int}
+
+instance == T where
+ == a b = a.m == b.m && a.s == b.s
+instance < T where
+ < a b = a.m < b.m || a.s == b.s && a.s < b.s
+
+instance zero T where
+ zero = {m=zero, s=zero}
+instance + T where
+ + a b = fromInt (toInt a + toInt b)
+instance - T where
+ - a b = fromInt (toInt a - toInt b)
+
+instance toInt T where
+ toInt a = a.m*60 + a.s
+instance fromInt T where
+ fromInt a
+ | a<0 = zero
+ | otherwise = {m=a/60, s=a rem 60}
+
+instance toString T where
+ toString {m=ms, s=0} = toString ms +++ ":00"
+ toString {m=ms, s=ss}
+ | ss < 10 = toString ms +++ ":0" +++ toString ss
+ | otherwise = toString ms +++ ":" +++ toString ss
+
+instance fromString T where
+ fromString a
+ | a.[size a - 3] == ':' = {m = toInt (a % (0, (size a) - 4)), s = toInt (a % ((size a) - 2, size a))}
+ | otherwise = zero
|