X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FCategory.hs;h=b63fc67c92ed3d86a5680134f1471102567eab25;hb=7dbb606d7b57cdad87a0ffbdb6ea4a274ebca7c0;hp=770d8502028a956eb59e4a4bcc18674a5945d4c2;hpb=9fdbf0f92b42f8e64b1f6a4c2c60fe4595852b51;p=ghc-base.git diff --git a/Control/Category.hs b/Control/Category.hs index 770d850..b63fc67 100644 --- a/Control/Category.hs +++ b/Control/Category.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE CPP #-} + ----------------------------------------------------------------------------- -- | -- Module : Control.Category @@ -12,7 +14,6 @@ module Control.Category where -import Prelude hiding (id,(.)) import qualified Prelude infixr 9 . @@ -21,11 +22,11 @@ infixr 1 >>>, <<< -- | A class for categories. -- id and (.) must form a monoid. class Category cat where - -- | the identity morphism - id :: cat a a + -- | the identity morphism + id :: cat a a - -- | morphism composition - (.) :: cat b c -> cat a b -> cat a c + -- | morphism composition + (.) :: cat b c -> cat a b -> cat a c {-# RULES "identity/left" forall p . @@ -37,10 +38,10 @@ class Category cat where #-} instance Category (->) where - id = Prelude.id + id = Prelude.id #ifndef __HADDOCK__ -- Haddock 1.x cannot parse this: - (.) = (Prelude..) + (.) = (Prelude..) #endif -- | Right-to-left composition