Module

# React.Explore.Day

Package
purescript-react-explore
Repository
paf31/purescript-react-explore

### #combineSource

``combine :: forall w2 w1. Comonad w1 => Comonad w2 => (forall a. UI a -> UI a -> UI a) -> Component w1 -> Component w2 -> Component (Day w1 w2)``

To combine two components, we can take the Day convolution of their state spaces.

Conceptually, this is a bit like taking the smash product of pointed topological spaces.

### #liftLeftSource

``liftLeft :: forall a w' w. Functor w => Comonad w' => Co w a -> Co (Day w w') a``

Lift an action to act on the left state.

### #liftRightSource

``liftRight :: forall a w' w. Functor w => Comonad w' => Co w a -> Co (Day w' w) a``

Lift an action to act on the right state.

## Re-exports from Data.Functor.Day

### #DaySource

``data Day f g a``

Day convolution of two covariant functors

#### Instances

• `Functor (Day f g)`
• `(Apply f, Apply g) => Apply (Day f g)`
• `(Applicative f, Applicative g) => Applicative (Day f g)`
• `(Extend f, Extend g) => Extend (Day f g)`
• `(Comonad f, Comonad g) => Comonad (Day f g)`
• `(Comonad f) => ComonadTrans (Day f)`

### #runDaySource

``runDay :: forall r a g f. (forall y x. (x -> y -> a) -> f x -> g y -> r) -> Day f g a -> r``

Unpack a value of type `Day f g a`.

### #daySource

``day :: forall y x a g f. (x -> y -> a) -> f x -> g y -> Day f g a``

Construct a value of type `Day f g a`.