Como faço lentes de um registro no GHCi?

Haskell: modelo Haskell e o escopo

Este código é bem compilado: data None = None { _f :: Int } type Simpl = Env type Env = IntNo entanto, recebi um erro com este código: {-# LANGUAGE TemplateHaskell #-} import Control.Lens data None = None { _f :: Int } type Simpl = Env ...

É possível obter um tipo de expressão usando o Template Haskell?

Dada uma expressãofoo, Eu poderia declarar uma função de nível superior bar = fooe obtenha o tipo defoo ComoType porreificação [http://hackage.haskell.org/package/template-haskell-2.8.0.0/docs/Language-Haskell-TH.html#g:4] bar: case reify 'bar ...

Quais são as diferenças entre inline-c e language-c-inline?

Estive analisando brevemente as bibliotecas de quase cotações para Haskell. Essas bibliotecas permitem que o Haskell se integre a outros idiomas. Para integrar com C, parece haver dois pacotes com funcionalidade semelhante: inline-c ...

Template Haskell: Existe uma função (ou sintaxe especial) que analisa uma String e retorna Q Exp?

Estou tentando aprender um pouco de Template Haskell e Quasi Quotation, e estou procurando por uma função que faça umaString e analisa paraQ Exp, então o tipo é: String -> Q ExpTentei pesquisar no hoogle, mas os resultados que vi ...

Haskell, instância Gen de B quando a classe A fornece informações suficientes para a classe B

Enquanto escrevia uma classe para um tipo de coleção / contêiner (btw aponte-me para os tipos existentes se estiver reinventando a roda) para fornecer uma interface geral para adicionar e remover elementos de qualquer tipo de 'coleção'. class ...

TemplateHaskell e IO

Existe alguma maneira adequada de tornar as funções do TH seguras se elas usarem efeitos colaterais? Digamos, eu quero ter uma função que chame git em tempo de compilação e gere uma string de versão: {-# LANGUAGE TemplateHaskell #-} module Qq ...

Como examinar um nome de construtor de dados citado no Template Haskel

Estou tentando aprender alguns modelos Haskell. Como exercício, escrevi uma função que pode gerar coisas comoisLeft eisRight (inspirado poressa questã [https://stackoverflow.com/q/7213395/775806]). Aqui está minha humilde tentativa: isA connam ...

Obter nomes de campos de um registro Haskell como uma lista de string

Diga que tenho o seguinte: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5Eu entendo o Template Haskell e oreify função @ pode obter os nomes dos campos do registro. Isso é print $(f sample) --> ["alpha", ...

Gere uma função usando o Template Haskell

É possível definir uma função usando o Template Haskell? Por exemplo convertStringToValue :: String -> Int convertStringToValue "three" = 3 convertStringToValue "four" = 4eu tambem tenho umMap [Char] Int. fromList [("five",5),("six",6)]Como ...