Module
Data.Functor.Pairing
- Package
- purescript-pairing
- Repository
- paf31/purescript-pairing
Pairings between functors.
Based on http://hackage.haskell.org/package/adjunctions-0.6.0/docs/Data-Functor-Zap.html.
#Pairing Source
type Pairing f g = forall c b a. (a -> b -> c) -> f a -> g b -> c
A pairing between functors f
and g
.
This asserts that any sums in f
can annihilate any products in g
, and vice
versa.
This library provides some useful pairings, and ways of lifting pairings over
various constructions on Functor
s.
#stateStore Source
stateStore :: forall s g f. f ⋈ g -> (StateT s f) ⋈ (StoreT s g)
StateT
pairs with StoreT
.