deniok: (ухмыляюсь)
[personal profile] deniok
data Id a = Id {runId :: a} deriving (Eq,Show)

instance Traversable Id where
  sequenceA (Id x) = pure Id <*> x
 
instance Functor Id where
  fmap = fmapDefault

instance Foldable Id where
  foldMap = foldMapDefault
Какие неожиданные эффекты будут сопровождать следующий вызов, и в чем их причина?
GHCi> traverse Just (Id 5)

Date: 2016-11-07 07:54 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
если студни читают, то может коменты скринить изначально?

Date: 2016-11-07 07:45 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Нет, я просто ту задачу решил постфактум включить в текущее дз - уж больно хорошо она туда подходила. Обычно задачи, которые я здесь публикую, мы на практиках разбираем.

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 03:05 am
Powered by Dreamwidth Studios