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 ...

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 ...

É possível usar um açúcar sintático de bracketing para um functor aplicativo?

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 ...

Existe algum tutorial sobre modelo Haskell para alguém que não conhece o Lis

Eu queria aprender o Template Haskell, mas todos os tutoriais que eu acho presumem que você aprendeu lisp e sabe o que são macros lisp, ou que conhece algum jargão da teoria cs - coisas como emendas, quase-cotações, etc ... - ou alguns resultados ...

Função para o nome da função de saída

É possível em Haskell implementar uma função que retorna seu próprio nome de função?Um tipo possível poderia ser

É 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 ...

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 ...

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 ...