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 (Day t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

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

(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

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

data Day_ category source target t u r

Constructors

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