Pandora.Paradigm.Primary.Transformer.Day

Documentation

data Day t u a

Constructors

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

Instances

Extractable t ((->) :: Type -> Type -> Type) => Lowerable (Day t)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

lower :: forall (u :: Type -> Type). Covariant u (->) (->) => Day t u ~> u

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

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u (->) (->) => (u ~> v) -> Day t u ~> Day t v

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

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

point :: a -> Day t u a

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

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

extract :: Day t u a -> a

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

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

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

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

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)))