Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Extendable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy (<<=) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<==) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<===) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<====) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<=====) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<======) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<=======) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<========) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # | |
Bindable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy (=<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (==<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (===<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (====<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (=====<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (======<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (=======<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy (<-|-) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|--) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|---) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|----) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|-----) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|-------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|--------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Proxy) => (a -> b) -> Proxy (u (v a)) -> Proxy (u (v b)) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy (-<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (--<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (---<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (----<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (-----<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (------<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (-------<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy (>-|-) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|--) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|---) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|----) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|-----) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|-------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|--------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # |