Changeset 25 for sizechecking/branches/macs/Size.hs

Timestamp:

May 4, 2014, 6:57:47 PM (11 years ago)

Author:

gobi

Message:

monad for observable sharing

File:

• sizechecking/branches/macs/Size.hs (modified) (3 diffs)

sizechecking/branches/macs/Size.hs

@@ +1 @@
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE FlexibleInstances #-}
+
 module Size where
 
@@ -13 +17 @@
     unsized :: l Unsized
     bottom :: l a
+
 
 instance Size S where
@@ -46 +51 @@
         . showChar ' '
         . unS e2 s3 2
+