Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
(.:..) :: (Covariant (->) target (v a), Semigroupoid v) => v c d -> target (v a (v b c)) (v a (v b d)) infixr 7 Source #
Orphan instances
Semigroup r => Semigroup (e -> r) Source # | |
Ringoid r => Ringoid (e -> r) Source # | |
Semigroupoid ((->) :: Type -> Type -> Type) Source # | |
Category ((->) :: Type -> Type -> Type) Source # | |
(<---------) :: (a -> b) -> (a -> b) Source # (<--------) :: (a -> b) -> (a -> b) Source # (<-------) :: (a -> b) -> (a -> b) Source # (<------) :: (a -> b) -> (a -> b) Source # (<-----) :: (a -> b) -> (a -> b) Source # (<----) :: (a -> b) -> (a -> b) Source # (<---) :: (a -> b) -> (a -> b) Source # (<--) :: (a -> b) -> (a -> b) Source # (--------->) :: (a -> b) -> (a -> b) Source # (-------->) :: (a -> b) -> (a -> b) Source # (------->) :: (a -> b) -> (a -> b) Source # (------>) :: (a -> b) -> (a -> b) Source # (----->) :: (a -> b) -> (a -> b) Source # (---->) :: (a -> b) -> (a -> b) Source # | |
Kernel ((->) :: Type -> Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((-->) b) Source # | |
(<-|-) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|--) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|---) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|----) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|-----) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|------) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|-------) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|--------) :: (a -> b0) -> (b --> a) -> (b --> b0) Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u (v a)) -> (b --> u (v b0)) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a) Source # | |
(>-|-) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|--) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|---) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|----) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|-----) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|-------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|--------) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source # (>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) ((<--) a)) => (a0 -> b) -> (a <-- u a0) -> (a <-- u b) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) a :: Type -> Type) Source # | |
(<-|-) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|--) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|---) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|----) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|-----) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|------) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|-------) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|--------) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u (v a0)) -> (a -> u (v b)) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type) Source # | |
(-<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (--<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (---<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (----<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (-----<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (------<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (-------<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (--------<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # (---------<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source # | |
Bindable ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type) Source # | |
(=<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (==<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (===<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (====<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (=====<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (======<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (=======<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (========<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # (=========<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source # |