Re: Store Functor and Store Applicative

2022-09-19 Thread zimoun
Hi, On Sun, 18 Sep 2022 at 09:51, jgart wrote: > Why does Guix implement a monad but not a functor and an applicative? >From my understanding, because an appropriate and straightforward abstraction for the store is the State Monad. Maybe the implementator of the monadic stuff in Guix read righ

Re: Store Functor and Store Applicative

2022-09-18 Thread Maxime Devos
On 18-09-2022 16:51, jgart wrote: Hi Guixers, Why does Guix implement a monad but not a functor and an applicative? To my knowledge: Functor: all monads are automatically functors, if someone would like a functor interface, they can implement 'lift' and 'fmap' when needed. There just hasn

Store Functor and Store Applicative

2022-09-18 Thread jgart
Hi Guixers, Why does Guix implement a monad but not a functor and an applicative?