ProfunctorFunctor (HHFree c) Source # | |
|
ProfunctorMonad (HHFree c) Source # | |
|
BifunctorMonad * * (HHFree c) Source # | |
|
BifunctorFunctor * * * * (HHFree c) Source # | |
|
SuperClass1 (* -> * -> *) (Category *) c => Category * (HHFree c f) Source # | |
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c # |
SuperClass1 (* -> * -> *) Bifunctor c => Bifunctor (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c) => Arrow (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c, SuperClass1 (* -> * -> *) ArrowZero c) => ArrowZero (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c, SuperClass1 (* -> * -> *) ArrowZero c, SuperClass1 (* -> * -> *) ArrowPlus c) => ArrowPlus (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c, SuperClass1 (* -> * -> *) ArrowChoice c) => ArrowChoice (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c, SuperClass1 (* -> * -> *) ArrowApply c) => ArrowApply (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) (Category *) c, SuperClass1 (* -> * -> *) Arrow c, SuperClass1 (* -> * -> *) ArrowLoop c) => ArrowLoop (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) Bifunctor c, SuperClass1 (* -> * -> *) Biapplicative c) => Biapplicative (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) Profunctor c, SuperClass1 (* -> * -> *) Closed c) => Closed (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) Profunctor c, SuperClass1 (* -> * -> *) Choice c) => Choice (HHFree c f) Source # | |
|
(SuperClass1 (* -> * -> *) Profunctor c, SuperClass1 (* -> * -> *) Strong c) => Strong (HHFree c f) Source # | |
|
SuperClass1 (* -> * -> *) Profunctor c => Profunctor (HHFree c f) Source # | |
|