adjunctions
adjunctions copied to clipboard
New function: repStore
This is a new function for Control.Comonad.Representable.Store
-- | The most basic `Store` comonad, built from a `Representable`, using `index` as the underlying function.
repStore :: Representable g => g a -> Rep g -> Store g a
repStore = store . index