X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FCategory.hs;h=ff63af5fa2c5326682f87a799c48221902249184;hb=22dac12605805b0e2139caf975ba45d7d1fd5d47;hp=fa73cff058ee9a17e20d4d6426a0215b57f95f3f;hpb=1afc0719ba8488cbe3d5490c7e29abc7425a6bae;p=ghc-base.git diff --git a/Control/Category.hs b/Control/Category.hs index fa73cff..ff63af5 100644 --- a/Control/Category.hs +++ b/Control/Category.hs @@ -20,11 +20,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 . @@ -36,10 +36,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