к
wrapStateTF :: (Monad m,Traversable w)=>StateT s m b -> StateT (w s) m b
wrapStateTF s = StateT (\x -> fmap sequence $ sequence $ fmap (runStateT s) x)
Size: a a a
2020 June 26
TA
TA
А есть какой-то отдельный клас именно для sequence?
т.е. для пары sequence можно и так определить:
sequence (a,mb) = fmap (a,) mb
т.е. для пары sequence можно и так определить:
sequence (a,mb) = fmap (a,) mb
TA
Для ньютайпа можно вообще автоматически сделать deriving в Applicative,Foldable,Traversable?
TA
Ясно,я тогда пойду сделаю отдельную функцию для пары и ее юзну ...
TA
Не,я хотел именно первое...
Но я подумал,что все равно я буду в качестве возвращаемого значения юзать ()...
Так что...
Но я подумал,что все равно я буду в качестве возвращаемого значения юзать ()...
Так что...