Size: a a a

PureScript — русскоговорящее сообщество

2018 August 15

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
не, это правда уже перебор, с fold в моём случае как-то так:

setJust (_lens foo) (newVal : (fold $ view (_lens foo) subj)) subj


но много скобок и линза переиспользуется, так что тоже может быть стоит вынести
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
на тебе еще через альтернативы)
10 L.: oneOf (Just (20 L.: L.Nil))
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
timtowtdi во всей красе :)
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Anton Kotenko
timtowtdi во всей красе :)
чо?
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
> Acronym of there's more than one way to do it: a motto associated with the Perl programming language.
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
извините :)
источник

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
я как-то делал доклад по линзам, и чел в аудитории сказал что это typelevel Perl
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
наверное это имел в виду, да
источник

Вл

В ладу in PureScript — русскоговорящее сообщество
)) ну просто скорее типизированный перл
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
я тут пробовал сделать general diff через align
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
Anton Kotenko
не, это правда уже перебор, с fold в моём случае как-то так:

setJust (_lens foo) (newVal : (fold $ view (_lens foo) subj)) subj


но много скобок и линза переиспользуется, так что тоже может быть стоит вынести
consOrSingleton :: forall subj val. Lens' subj (Maybe (List val)) -> val -> subj -> subj
consOrSingleton lens val subj =
   setJust lens newlist subj
   where
       newlist = val : (fold $ view lens subj)
источник

AK

Anton Kotenko in PureScript — русскоговорящее сообщество
интересно
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
а как его использовать? я про align
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
Vasiliy Yorkin
а как его использовать? я про align
ну в основе там These
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
источник

VY

Vasiliy Yorkin in PureScript — русскоговорящее сообщество
спасибо
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
generic "zip with padding"
источник

ЗП

Зигохистоморфный Препроморфизм in PureScript — русскоговорящее сообщество
как пример вот тебе)
  logShow $ align (1..3) (1..5)
 logShow $ salign ["foo", "bar", "baz"] ["quux"]
 logShow $ padZipWith (\a b -> (+) <$> a <*> b) (1..5) (1..3)
 logShow $ sequenceL [(1..5), (6..10), (11..12)]
 logShow $ sequenceL (Just (1..5))
 logShow $ sequenceL (Both (1..3) (4..8))
 logShow $ bisequenceL (Left (1..5) :: Either (Array Int) (Array Int))
 logShow $ bisequenceL (Right (1..5) :: Either (Array Int) (Array Int))
 logShow $ bisequenceL (This (1..5) :: These (Array Int) (Array Int))
 logShow $ bisequenceL (That (1..5) :: These (Array Int) (Array Int))
 logShow $ bisequenceL (Both (1..4) (5..7) :: These (Array Int) (Array Int))
 logShow $ optionally ([] :: Array Int) ([1] :: Array Int)
источник