Народ, я могу сделать какой-нибудь standalone Deriving Via чтобы по

Question

Haskell

Kakadu

Народ, я могу сделать какой-нибудь standalone Deriving Via чтобы по

инстансу монады у меня сам сгенерировался инстанс аппикатива и функтора? Не хочу писать бойлерплейт

#haskell #programming #russian

0

18.11.2019

3 ответов

22 просмотра

A64m AL256m qn<cores> I0

если дерайвить с помощью WrappedMonad (который не для этого делался, правда) то pure будет зацикливаться

0

19.11.2019

A64m AL256m qn<cores> I0

newtype ExistingMonadInstance m a = EMI (m a) instance Monad m => Functor (ExistingMonadInstance m) where fmap f (EMI v) = EMI (liftM f v) instance Monad m => Applicative (ExistingMonadInstance m) where pure = EMI . return -- единственное отличие от WrappedMonad EMI f <*> EMI v = EMI (f `ap` v) liftA2 f (EMI x) (EMI y) = EMI (liftM2 f x y) data Foo a = Foo a deriving Show deriving (Functor, Applicative) via ExistingMonadInstance Foo -- deriving (Functor, Applicative) via WrappedMonad Foo -- pure = pure instance Monad Foo where return = Foo Foo a >>= f = f a

0

19.11.2019

Пользователь 629b4 · Accepted Answer

Пользователь 629b4

Functor можно: https://ocharles.org.uk/guest-posts/2014-12-15-deriving.html https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/derive-functor

0

18.11.2019

169 похожих чатов

Народ, я могу сделать какой-нибудь standalone Deriving Via чтобы по

3 ответов

Похожие вопросы