En lugar de fmap
, que aplica una función a un valor-in-a-funtor:¿Hay un nombre para esta función o patrón?
fmap :: Functor f => (a -> b) -> f a -> f b
que necesitaba una función donde el funtor tiene una función y el valor es simple:
thing :: Functor f => f (a -> b) -> a -> f b
pero yo can't find one.
¿Cómo se llama este patrón, donde aplico una función en un eje (o en un aplicativo, o en una mónada) a un valor simple?
Ya lo he implementado, simplemente no entiendo muy bien lo que hice y por qué no había una función así en las bibliotecas estándar.
¿No es este solo un caso especial de un solicitante? Como 'func <*> pure value'? –
Observe que el tipo es muy similar a 'ap' y' <*> '. Aunque no veo una versión correspondiente de 'Functor', y esto puede implementarse sin asumir' Applicative's 'Monad's:' thing fs x = fmap (\ f -> fx) fs' –
Sí, dice lambdabot 'thing = (.pure). (<*>) 'o' thing = flip (fmap. Flip id) '. Pero entiendo que esto no es lo que quieres saber :) –