Comment for EitherCO type.
authorJoao Dias <dias@cs.tufts.edu>
Fri, 30 Apr 2010 20:44:25 +0000 (16:44 -0400)
committerJoao Dias <dias@cs.tufts.edu>
Fri, 30 Apr 2010 20:44:25 +0000 (16:44 -0400)
src/Compiler/Hoopl/Graph.hs

index 8f55c9f..c19652d 100644 (file)
@@ -70,6 +70,7 @@ data MaybeC ex t where
   JustC    :: t -> MaybeC C t
   NothingC ::      MaybeC O t
 
+-- | Either type indexed by closed/open using type families
 type family   EitherCO e a b :: *
 type instance EitherCO C a b = a
 type instance EitherCO O a b = b