AK
something :: Int -> Int -> { x :: Int, y :: Int }
something = {x: _, y: _}Size: a a a
2021 August 01
ЗП
ЗП
newtype Something = Something { x :: Int, y :: Int }
boobs = (<<<) <<< (<<<)
something :: Int -> Int -> Something
something = Something `boobs` {x: _, y: _}:D
ЗП
там же 2 аргумента =)
AK
у меня и больше бывает, длинные цепочки
boobs получатсяЗП
тогда эта экспансия)
ЗП
зачем тебе этот поинт фри
AK
Ладно, наделаю просто хелперов на случай
ЗП
something :: Int -> Int -> Something
something x y = Something {x, y}
ЗП
и еще юзай newtype тут вместо data
AK
в Elm просто удобно типа
Maybe.map4 <constructor> (Maybe a) -> (Maybe b) -> (Maybe c) (Maybe d)ЗП
можешь наверное через барлоу линзы
AK
а тут хотел
Something <$> Maybe Int <*> Maybe Int -> Maybe Something и не вышлоЗП
ибо тут ньютайп еще
AK
у меня много вариантов в
data