|
Algebras.Functor.Category |
|
|
|
|
Documentation |
|
|
| Methods | | | ($*$) :: f (a -> b) -> f a -> f b | Source |
| | | | lift1 :: (a -> b) -> f a -> f b | Source |
| | map :: (a -> b) -> f a -> f b | Source |
| | lift2 :: (a -> b -> c) -> f a -> f b -> f c | Source |
| | lift3 :: (a -> b -> c -> d) -> f a -> f b -> f c -> f d | Source |
| | lift4 :: (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e | Source |
|
| | Instances | |
|
|
class Relations r o m | r -> o m where | Source |
|
| Methods | | | Instances | |
|
|
type Relation o m a b = (m a b, o a, o b) | Source |
|
|
|
| Methods | | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
retrieve :: Eq a => ([a], [b]) -> a -> b | Source |
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |