Deriva Drift é um tipo sensível pré-processador para Haskell.
Baixe Agora

Deriva Classificação e resumo

Deriva Tag

haskell pré-processador Pré-processador Haskell. tipo pré-processador sensível Extrair declarações de tipo confidencial

Deriva Descrição

Drift é um pré-processador sensível tipo para Haskell. Drift é um pré-processador sensível tipo para Haskell. O projeto extrai declarações e diretivas do tipo de módulos. As diretrizes causam regras a serem disparadas nas declarações do tipo analisado, gerando novo código que é então anexado à parte inferior do arquivo de entrada. As regras são expressas como código de Haskell, e pretende-se que o usuário possa adicionar novas regras conforme necessário.Drift automatiza a derivação da instância para classes que não são suportadas pelos compiladores padrão. Além disso, as instâncias podem ser produzidas em módulos separados para que contenham a declaração do tipo. Isso permite que instâncias sejam derivadas para um tipo após o módulo original ter sido compilado. Como um bônus, as funções de utilidade simples também podem ser produzidas a partir de um tipo.Aqui são algumas características principais de "drift": · Drift vem com um conjunto de regras para produzir instâncias para todas as classes deriváveis dadas no prelúdio Hasekell. Há também uma série de regras extras para derivar instâncias de uma variedade de classes úteis. · Drift Executa a importação perseguindo para encontrar a definição de um tipo. · O código é gerado usando combinadores de impressão bonita. Isso significa que a saída é (justamente) bem formatada e fácil no olho. · O esforço foi feito para tornar a interface de regra tão fácil de usar quanto possível. Isso é para permitir que os usuários adicionem regras para gerar código específico para seus próprios projetos. Como as próprias regras são escritas em Haskell, o usuário não precisa aprender um novo idioma para expressar regras.Currantemente derivações suportadas incluem: Binário: Dados binários. Codificação binária binária de termos Bitsbinary Eficiente Codificação Binária de Termos Codificação Binária do Ghcbinary Byte Byte de TERMSDEBUGING: ARBitrória arbitrária ARBITRARIA RÁPIDA PARA OBSERVELMENTE GERAVEVERGERAL: NFDATA Fornece "RNF" para reduzir a formulário normal (Profundamenteq) Devível Darive para DynamicGeneriS: FunTorm Derivo Derivo FMAPM Implementação Revestível Strafunski HoldRR Monoid Darive Razoad Darive Razoad. Representação de Implementação do RMAPM STRAFUNSKI através de Dynamicprelude: ENUM Limite Read Read Representation: AterMconvertible TERMOS NO FORMAÇÃO ATERM HASKELL2XML TERMES DE CIDERAÇÃO COMO XML (HAXML = 1.14) Utility: Analisar valores de parse Voltar ao padrão "Mostrar" Queryfoo 'é', 'tem', 'de', e 'get' rotinas de Provi des fryfoo para cada construtor Obter para o rótulo 'foo' fornece foo_g para obtê-lo tem o hasfoo para os tipos de registro é fornece isfoo para cada teste de teste de teste de construção RAW para testes ONU fornece a UNFOO para atualização de construtor unário para a etiqueta 'foo' fornece 'foo_u' Atualize e foo_s para definir o que há de novo nesta versão: · Numerosos aprimoramentos e correções de bugs.

Deriva Software Relacionado