This repository was archived by the owner on May 24, 2018. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +16
-16
lines changed
Expand file tree Collapse file tree 1 file changed +16
-16
lines changed Original file line number Diff line number Diff line change @@ -34,55 +34,55 @@ class ArrowPlus a where
3434
3535
3636
37- ## Module Control.Arrow.CoKleisli
37+ ## Module Control.Arrow.Cokleisli
3838
39- #### ` CoKleisli `
39+ #### ` Cokleisli `
4040
4141``` purescript
42- newtype CoKleisli w a b
43- = CoKleisli (w a -> b)
42+ newtype Cokleisli w a b
43+ = Cokleisli (w a -> b)
4444```
4545
4646
47- #### ` runCoKleisli `
47+ #### ` runCokleisli `
4848
4949``` purescript
50- runCoKleisli :: forall w a b. CoKleisli w a b -> w a -> b
50+ runCokleisli :: forall w a b. Cokleisli w a b -> w a -> b
5151```
5252
5353
54- #### ` semigroupoidCoKleisli `
54+ #### ` semigroupoidCokleisli `
5555
5656``` purescript
57- instance semigroupoidCoKleisli :: (Extend m) => Semigroupoid (CoKleisli m)
57+ instance semigroupoidCokleisli :: (Extend m) => Semigroupoid (Cokleisli m)
5858```
5959
6060
61- #### ` categoryCoKleisli `
61+ #### ` categoryCokleisli `
6262
6363``` purescript
64- instance categoryCoKleisli :: (Comonad m) => Category (CoKleisli m)
64+ instance categoryCokleisli :: (Comonad m) => Category (Cokleisli m)
6565```
6666
6767
68- #### ` profunctorCoKleisli `
68+ #### ` profunctorCokleisli `
6969
7070``` purescript
71- instance profunctorCoKleisli :: (Functor f) => Profunctor (CoKleisli f)
71+ instance profunctorCokleisli :: (Functor f) => Profunctor (Cokleisli f)
7272```
7373
7474
75- #### ` strongCoKleisli `
75+ #### ` strongCokleisli `
7676
7777``` purescript
78- instance strongCoKleisli :: (Comonad m) => Strong (CoKleisli m)
78+ instance strongCokleisli :: (Comonad m) => Strong (Cokleisli m)
7979```
8080
8181
82- #### ` arrowCoKleisli `
82+ #### ` arrowCokleisli `
8383
8484``` purescript
85- instance arrowCoKleisli :: (Comonad m) => Arrow (CoKleisli m)
85+ instance arrowCokleisli :: (Comonad m) => Arrow (Cokleisli m)
8686```
8787
8888
You can’t perform that action at this time.
0 commit comments