Rename "CategoryTrans" to "CatTrans".
commit4a49f7b744ee6db406171ce7b1010ca73a133ae2
authorPaweł Nowak <pawel834@gmail.com>
dateThu 11 Dec 2014, 21:32 (12 years ago)
parent0128789
Control/Category/Reader.hs+1−1
@@ -22,7 +22,7 @@ import Prelude hiding (id, (.))
2222
2323newtype ReaderCT env cat a b = ReaderCT { runReaderCT :: env -> cat a b }
2424
25−instance CategoryTrans (ReaderCT env) where
25+instance CatTrans (ReaderCT env) where
2626 clift = ReaderCT . const
2727
2828instance Category cat => Category (ReaderCT env cat) where
Control/Category/Structures.hs+1−1
@@ -88,7 +88,7 @@ instance MonadPlus m => CatPlus (Kleisli m) where
8888 (/+/) = (BadArrow.<+>)
8989
9090-- | A category transformer.
91−class CategoryTrans t where
91+class CatTrans t where
9292 -- | Lift an arrow from the base category.
9393 clift :: Category cat => cat a b -> t cat a b
9494