Pandora.Paradigm.Primary.Transformer.Day

Documentation

data Day t u a

Constructors

forall b c. Day (t b) (u c) (b -> c -> a)

Instances

Hoistable ((->) :: Type -> Type -> Type) (Day t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). Day t u a -> Day t v a

(Extendable ((->) :: Type -> Type -> Type) t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

(<<=) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<==) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<===) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<====) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<=====) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<======) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<=======) :: (Day t u a -> b) -> Day t u a -> Day t u b

(<<========) :: (Day t u a -> b) -> Day t u a -> Day t u b

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

(<-|-) :: (a -> b) -> Day t u a -> Day t u b

(<-|--) :: (a -> b) -> Day t u a -> Day t u b

(<-|---) :: (a -> b) -> Day t u a -> Day t u b

(<-|----) :: (a -> b) -> Day t u a -> Day t u b

(<-|-----) :: (a -> b) -> Day t u a -> Day t u b

(<-|------) :: (a -> b) -> Day t u a -> Day t u b

(<-|-------) :: (a -> b) -> Day t u a -> Day t u b

(<-|--------) :: (a -> b) -> Day t u a -> Day t u b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 (v a)) -> Day t u (u0 (v b))

data Day_ category source target t u r

Constructors

forall a b. Day_ (target (category (source a b) r) (target (t a) (u b)))