pandora-0.5.2: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Transformer.Backwards

Documentation

newtype Backwards t a Source #

Constructors

Backwards (t a) 

Instances

Instances details
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (-->) (-->) (:*:) (:*:) t) => Monoidal (-->) (-->) (:*:) (:*:) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Backwards t a Source #

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t) => Monoidal (<--) (-->) (:*:) (:*:) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Backwards t a Source #

(Semimonoidal (-->) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (-->) (:*:) (:*:) (Backwards t :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

mult :: forall (a :: k) (b :: k). (Backwards t a :*: Backwards t b) --> Backwards t (a :*: b) Source #

(Semimonoidal (<--) (:*:) (:*:) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Semimonoidal (<--) (:*:) (:*:) (Backwards t :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

mult :: forall (a :: k) (b :: k). (Backwards t a :*: Backwards t b) <-- Backwards t (a :*: b) Source #

Hoistable ((->) :: Type -> Type -> Type) (Backwards :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). Backwards u a -> Backwards v a Source #

Liftable ((->) :: Type -> Type -> Type) (Backwards :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

lift :: Covariant (->) (->) u => u a -> Backwards u a Source #

Lowerable ((->) :: Type -> Type -> Type) (Backwards :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

lower :: Covariant (->) (->) u => Backwards u a -> u a Source #

Interpreted ((->) :: Type -> Type -> Type) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Associated Types

type Primary (Backwards t) a Source #

Methods

run :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

unite :: ((->) < Primary (Backwards t) a) < Backwards t a Source #

(<~~~~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(<~) :: ((->) < Backwards t a) < Primary (Backwards t) a Source #

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Backwards t) a) < Primary u b) -> ((->) < Backwards t a) < u b Source #

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Backwards t a) < u b) -> ((->) < Primary (Backwards t) a) < Primary u b Source #

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Backwards t) a) < Primary u b) -> (j > Backwards t a) -> (j > u b) Source #

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Backwards t a) < u b) -> (j > Primary (Backwards t) a) -> (j > Primary u b) Source #

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(<-|-) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|--) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|---) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|----) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|-----) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|------) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|-------) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|--------) :: (a -> b) -> Backwards t a -> Backwards t b Source #

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u (v a)) -> Backwards t (u (v b)) Source #

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(-<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(--<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(---<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(----<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(-----<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(------<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(-------<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(--------<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

(---------<<) :: Covariant (->) (->) u => (a -> Backwards t b) -> u a -> Backwards t (u b) Source #

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(>-|-) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|--) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|---) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|----) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|-----) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|------) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|-------) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|--------) :: (a -> b) -> Backwards t b -> Backwards t a Source #

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b) Source #

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

(<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Backwards t a -> u (Backwards t b) Source #

type Primary (Backwards t) a Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

type Primary (Backwards t) a = t a