Module

Data.Functor.Day.Hom

Package
purescript-day
Repository
paf31/purescript-day

The internal hom in the category of functors with Day convolution as the monoidal tensor.

#Hom Source

newtype Hom f g a

This is the internal hom in the category of functors with Day convolution as the monoidal tensor.

Instances

#type (⊸) Source

Operator alias for Data.Functor.Day.Hom.Hom (right-associative / precedence 5)

#runHom Source

runHom :: forall r a g f. Hom f g a -> f (a -> r) -> g r

#hom Source

hom :: forall a g f. (forall r. f (a -> r) -> g r) -> Hom f g a

#curryHom Source

curryHom :: forall h g f. (f  g  h) ~> f  g  h

The curry function for the internal hom object Hom

#uncurryHom Source

uncurryHom :: forall h g f. Functor f => Functor g => (f  g  h) ~> f  g  h

The uncurry function for the internal hom object Hom

#composeHom Source

composeHom :: forall h g f. Functor f => (g  h)  (f  g) ~> f  h

The composition map for the internal hom object Hom

#evalHom Source

evalHom :: forall g f. Functor f => (f  g)  f ~> g

The evaluation map for the internal hom object Hom

#introHom Source

introHom :: forall h g f. (f  g ~> h) -> f ~> g  h

#introHom' Source

introHom' :: forall g f. Functor f => (f ~> g) -> Identity ~> f  g

#elimHom Source

elimHom :: forall h g f. Functor g => (f ~> g  h) -> f  g ~> h

#elimHom' Source

elimHom' :: forall g f. Functor f => (Identity ~> f  g) -> f ~> g

#pairingHom Source

pairingHom :: forall g f. f  g -> f ~> g  Identity

Hom generalizes pairings which have been applied to their first argument.

#pairHom Source

pairHom :: forall f. Functor f => f  (f  Identity)

Every functor f pairs with f ⊸ Identity.