Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		Previous revision
effectcaps:delegability [2013/05/22 20:39] – created ifigueroeffectcaps:delegability [2013/05/22 20:44] (current) – ifiguero
Line 1: Line 1:
-<code haskell>+{{:research:abc.zip | Download Code}} 
 + 
 +<code haskell A.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 14: Line 16:
 </code> </code>
  
-<code haskell>+<code haskell B.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 35: Line 37:
 </code> </code>
  
-<code haskell>+<code haskell C.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 51: Line 53:
 </code> </code>
  
-<code haskell> +<code haskell A.hs-boot>
--- hs-boot files +
- +
--- A.hs-boot+
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
  
Line 63: Line 62:
 data Cap a = Cap a data Cap a = Cap a
 instance Capability Cap a instance Capability Cap a
 +</code>
  
--- B.hs-boot+<code haskell B.hs-boot>
 module B where module B where
  
Line 71: Line 71:
 data BChannel = BChannelV data BChannel = BChannelV
 instance Channel BChannel instance Channel BChannel
 +</code>
  
--- C.hs-boot+<code haskell C.hs-boot>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 86: Line 87:
 capV :: Cap () capV :: Cap ()
 capV = receive CChannelV () capV = receive CChannelV ()
- 
- 
 </code> </code>