Resultados da pesquisa a pedido "haskell"
Por que o `mfix` não é total no` MaybeT`
oimplementação de transformadores [https://hackage.haskell.org/package/transformers-0.5.5.0/docs/src/Control.Monad.Trans.Maybe.html#line-186] doMonadFix paraMaybeT falhará se a função for avaliada comoNothing. Porque éNothing não se ...
Contar o número de palíndromos em uma lista de strings, Haskell
A função countPalindromes recebe uma lista de strings e retorna uma contagem de quantas strings são palindromes. isPalindrome :: String -> Bool isPalindrome w = w == reverse w countPalindromes :: [String] -> Int countPalindromes ss = length ...
O que há de errado com esta instância YesodAuth?
Acabei de migrar do atual andaime yesod para o mais recenteyesod-1.6.0, yesod-auth-1.6.2. instance YesodAuth App where type AuthId App = UserId -- .... authenticate creds = runDB $ do x <- getBy $ UniqueUser $ credsIdent creds case x of Just ...
Por que não podemos definir famílias de dados fechadas?
Todo o trabalho a seguir: {-# LANGUAGE TypeFamilies #-} type family TF a type instance TF Int = String type instance TF Bool = Char data family DF a data instance DF Int = DFInt String data instance DF Bool = DFBool Char type family CTF a where ...
Vá para Talvez usando um predicado
Estou procurando por algo como liftPredMaybe :: (a -> Bool) -> a -> Maybe a liftPredMaybe p a | p a = Just a | otherwise = NothingJá existe essa função no Haskell?
Imprimir dados dinâmicos
Eu tenho um sistema em haskell que usa Data.Dynamic e Type.Reflection para executar inferência e cálculos. Eu gostaria de poder imprimir os resultados. A impressão é fácil quando o tipo é fornecido, p. foo :: Dynamic -> String foo dyn = case ...
Novo tipo generalizado derivado de funções de classe com Functors
Estou desenvolvendo uma classe representando mapeamentos de chave / valor e tenho uma função que é basicamente comoalterF [https://hackage.haskell.org/package/containers-0.5.11.0/docs/Data-Map-Strict.html#v:alterF] : class C t where ... alterF ...
O ambiente global / local afeta os resultados dos critérios de referência da Haskell
Estamos comparando algum código Haskell em nossa empresa e acabamos de encontrar um caso muito estranho. Aqui está um código que avalia a mesma coisa duas vezes. O primeiro usa umCriterion.env que é criado para todos os testes uma vez, ...
Atravessando com um Biapplicative
Eu estava pensando em descompactar operações e percebi que uma maneira de expressá-las é atravessando umaBiapplicative [https://hackage.haskell.org/package/bifunctors-5.5/docs/Data-Biapplicative.html#t:Biapplicative] functor. import ...
Tipeclasses e sobrecargas, qual é a conexão?
Atualmente, estou tentando entender minhas classes e instâncias e ainda não entendo o objetivo delas. Eu tenho duas perguntas sobre o assunto até agora: 1) Por que é necessário ter uma classe de tipo em uma assinatura de função quando a função ...