Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
effectcaps:delegability [2013/05/22 20:42] – ifigueroeffectcaps:delegability [2013/05/22 20:44] (current) – ifiguero
Line 1: Line 1:
-[[Download Code|{{research:abc.zip}}]]+{{:research:abc.zip | Download Code}}
  
-<code haskell>+<code haskell A.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 16: Line 16:
 </code> </code>
  
-<code haskell>+<code haskell B.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 37: Line 37:
 </code> </code>
  
-<code haskell>+<code haskell C.hs>
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
  
Line 53: Line 53:
 </code> </code>
  
-<code haskell> +<code haskell A.hs-boot>
--- hs-boot files +
- +
--- A.hs-boot+
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
  
Line 65: 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 73: 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 88: Line 87:
 capV :: Cap () capV :: Cap ()
 capV = receive CChannelV () capV = receive CChannelV ()
- 
- 
 </code> </code>