Resultados da pesquisa a pedido "lifting"

2 a resposta

Lifting de uma função de ordem superior em Haskell

Estou tentando construir uma função do tipo: liftSumthing :: ((a -> m b) -> m b) -> (a -> t m b) -> t m bOndet é um transformador de mônada. Especificamente, estou interessado em fazer isso: liftSumthingIO :: MonadIO m => ((a -> IO b) -> IO b) ...

4 a resposta

O que é “levantar” no Scala?

Às vezes, quando leio artigos no ecossistema Scala, leio o termo "levantar" / "levantar". Infelizmente, não é explicado o que isso signif...

1 a resposta

Organização de mônadas - transformando a aplicação de um transformador de mônada em mônada de tipo novo

Estou tentando tirar, por exemplo.ExceptT a (StateT A M), para algum tipo de concretoA e mônadaMe envolva-os nas minhas novas mônadas personalizadas. Primeiro eu identifiquei queStateT A M aparece frequentemente em outros contextos e, portanto, ...

3 a resposta

Não consigo entender o que é "lift" no Ramda.js

Olhando a fonte do Ramda.js, especificamente a função "lift". lift [https://github.com/ramda/ramda/blob/master/src/lift.js] liftN [https://github.com/ramda/ramda/blob/master/src/liftN.js] Aqui está o exemplo dado: var madd3 = ...

1 a resposta

Levante para consertar o * interior * de uma pilha de transformadores de mônada

Suponha que eu tenho umIO Int envolto em umStateT MyState, então eu tenho um valor deState MyState Int que eu quero usar na mônada empilhada. Como faço para levantá-lo neste sentido interior? Eu já sei usarlift ouliftIO se eu conseguir algo ...