ЗП
вынеси текст в секцию where
Size: a a a
2020 December 17
AV
Ну текст это применение функции с аргументами и т.п.
AV
Попробую do+BA
R
Скобочки не красиво, $ не сработает, do+BlockArguments?
set foo . bar $ <текст>?AV
а потом set foo .bar2 как прицепить?
R
а потом set foo .bar2 как прицепить?
compose
[ set foo . bar $ <...>
, set foo . bar2 $ <...>
]
s
ЗП
compose
[ set foo . bar $ <...>
, set foo . bar2 $ <...>
]
s
это
appEndo . foldMap EndoR
это
appEndo . foldMap Endofoldr (.) id корочеЗП
foldr (.) id корочеили coerce + foldMap для Endo
AA
coerce + fold
AV
fold !@EndoR
coerce + fold
and we have a winner
R
fold !@Endoдисквалифицирован
AV
За что?
R
За что?
за воображаемые экстеншоны
AV
module Control.ApplyingVia
( (!@)
, (!!@)
) where
import Data.Coerce
(!@) :: (Coercible a' a, Coercible b' b) => (a' -> b') -> (a -> a') -> a -> b
(!@) f _ = coerce fR
module Control.ApplyingVia
( (!@)
, (!!@)
) where
import Data.Coerce
(!@) :: (Coercible a' a, Coercible b' b) => (a' -> b') -> (a -> a') -> a -> b
(!@) f _ = coerce fа
AV
Вообще такая штука в base есть но не экспортирована