add files for lecture 7's homework

1 files changed, 28 insertions, 0 deletions

diff --git a/lec07/Sized.hs b/lec07/Sized.hs
new file mode 100644
index 0000000..9214b76
--- /dev/null
+++ b/lec07/Sized.hs
@@ -0,0 +1,28 @@
+{-# LANGUAGE GeneralizedNewtypeDeriving, FlexibleInstances #-}
+module Sized where
+
+import Data.Monoid
+
+newtype Size = Size Int
+  deriving (Eq, Ord, Show, Num)
+
+getSize :: Size -> Int
+getSize (Size i) = i
+
+class Sized a where
+  size :: a -> Size
+
+instance Sized Size where
+  size = id
+
+-- This instance means that things like
+--   (Foo, Size)
+--   (Foo, (Bar, Size))
+--   ...
+-- are all instances of Sized.
+instance Sized b => Sized (a,b) where
+  size = size . snd
+
+instance Monoid Size where
+  mempty  = Size 0
+  mappend = (+)