Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Liftable ((->) :: Type -> Type -> Type) Yoneda Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Yoneda t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda (<-|-) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|--) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|---) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|----) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|-----) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|------) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|-------) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|--------) :: (a -> b) -> Yoneda t a -> Yoneda t b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u (v a)) -> Yoneda t (u (v b)) Source # |