А, это в смысле делать что-то типа deriving Semigroup via

Question

Haskell

Ferrum

А, это в смысле делать что-то типа deriving Semigroup via

(T a) ?

#haskell #programming #russian

0

12.11.2018

1 ответов

6 просмотров

A64m AL256m qn<cores> I0 · Accepted Answer

A64m AL256m qn<cores> I0

да newtype FromMonad m a = FromMonad (m a) deriving Monad instance Monad m => Functor (FromMonad m) where fmap = liftM instance Monad m => Applicative (FromMonad m) where pure = return (<*>) = ap data Stream a b = Done b | Yield a (Stream a b) deriving (Functor, Applicative) via (FromMonad(Stream a)) instance Monad (Stream a) where return = Done Yield a k >>= f = Yield a (k >>= f) Done b >>= f = f b

0

12.11.2018

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

А, это в смысле делать что-то типа deriving Semigroup via

1 ответов

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