Resultados da pesquisa a pedido "haskell"
Verificação rápida, definindo instâncias arbitrárias usando uma função cujo resultado depende de seus argumentos
Eu tenho uma funçãoarbExample para gerar um aleatórioExample tipo de dados que depende de várias funções. Estou tentando fazer alguns testes de propriedade fazendoquickCheck prop_example, o problema é que não sei definir umArbitrary instância ...
O que exatamente é o tipo "*" em Haskell?
Em Haskell, expressões (em nível de valor) são classificadas emtipos, que pode ser anotado com:: igual a:3 :: Int, "Hello" :: String, (+ 1) :: Num a => a -> a. Da mesma forma, os tipos são classificados emtipos. No GHCi, você pode inspecionar o ...
cabal install erros do cabal-install no linux
Estou usando o linux (centos 6.6) .Quando tento executar o comando cabal install cabal-install, estou recebendo os seguintes erros cabal: cannot configure unix-2.7.0.1. It requires base >=4.5 && <4.8 For the dependency on base >=4.5 && <4.8 ...
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 ...
use cabal2nix para criar ambiente nix local para pacotes que não estão no nixpkgs
Atualmente, tenho um aplicativo Web Yesod que estou desenvolvendo no NixOS. Estou usando umdefault.nix arquivo como descrito em O'Charles 'publicação no blog [https://ocharles.org.uk/blog/posts/2014-02-04-how-i-develop-with-nixos.html]: { ...
Teste em banana reativa
Existe uma maneira de testar redes unitárias criadas em banana reativa? Digamos que eu construí alguma rede com alguns eventos de entrada - é possível verificar se os eventos produziram algum fluxo / comportamento de saída com algum valor após ...
Provas de nível de tipo aberto em Haskell / Idris
Em Idris / Haskell, é possível provar propriedades dos dados anotando os tipos e usando os construtores GADT, como no Vect, no entanto, isso requer a codificação da propriedade no tipo (por exemplo, um Vect precisa ser um tipo separado de ...
Retornar a primeira linha de uma String em Haskell
Tenho uma pergunta bastante simples em que me perco. Basicamente, eu apenas tenho que escrever uma função que pegue uma string, quebre em linhas, pegue a primeira linha e retorne a primeira linha na tag de título HTML ...
unboxing, matrizes (esparsas) e biblioteca de vetores haskell
Gostaria de manipular matrizes (completas ou esparsas) eficientemente com a biblioteca de vetores de haskell. Aqui está um tipo de matriz import qualified Data.Vector.Unboxed as U import qualified Data.Vector as V data Link a = Full (V.Vector ...
Lista baseada na extensão Kan correta
No ``Extensões Kan para otimização de programa [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf]'' de Ralf Hinze, há a definição de tipo de lista com base na extensão Kan correta do functor esquecido da categoria de monóides ao longo de si (seção 7.4). ...