Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Tap a (t a) |
Instances
Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) (Tap t) Source # | |
Semimonoidal (-->) (:*:) (:*:) t => Semimonoidal (-->) (:*:) (:*:) (Tap t :: Type -> Type) Source # | |
Semimonoidal (-->) (:*:) (:*:) t => Semimonoidal (-->) (:*:) (:*:) (Tap ((t <:.:> t) >>>>>> (:*:)) :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) (Tap t :: Type -> Type) Source # | |
Hoistable ((->) :: Type -> Type -> Type) Tap Source # | |
Lowerable ((->) :: Type -> Type -> Type) Tap Source # | |
(Semimonoidal (<--) (:*:) (:*:) t, Extendable ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Extendable ((->) :: Type -> Type -> Type) (Tap t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap (<<=) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<==) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<===) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<====) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<=====) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<======) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<=======) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # (<<========) :: (Tap t a -> b) -> Tap t a -> Tap t b Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Rest :: a -> Segment a) (Tap t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap (<-|-) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|--) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|---) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|----) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|-----) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|------) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|-------) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|--------) :: (a -> b) -> Tap t a -> Tap t b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u (v a)) -> Tap t (u (v b)) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap (<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # (<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tap t a -> u (Tap t b) Source # | |
type Substance ('Rest :: a -> Segment a) (Tap t) Source # | |
Defined in Pandora.Paradigm.Structure |