Deriva es un preprocesador de tipo sensible para Haskell.
Descargar ahora

Deriva Clasificación y resumen

Deriva Etiquetas

haskell preprocesador preprocesador Haskell Tipo de preprocesador sensible Declaraciones de tipo de extracto sensitivo

Deriva Descripción

La deriva es un preprocesador de tipo sensible para Haskell. La deriva es un preprocesador de tipo sensible para Haskell. El proyecto extrae las declaraciones de tipo y las directivas de los módulos. Las directivas hacen que las reglas se activen en las declaraciones de tipo analizado, generando un nuevo código que luego se adjunta a la parte inferior del archivo de entrada. Las reglas se expresan como código Haskell, y está destinado a que el usuario pueda agregar nuevas reglas según sea necesario. Derivación de instrucciones automates para las clases que no son compatibles con los compiladores estándar. Además, se pueden producir instancias en módulos separados a los que contienen la Declaración de Tipo. Esto permite que las instancias se deriven para un tipo después de que se haya compilado el módulo original. Como una bonificación, las funciones simples de servicios públicos también se pueden producir a partir de un tipo. Aquí hay algunas características clave de "Drift": · La deriva viene con un conjunto de reglas para producir instancias para todas las clases derivadas que se proporcionan en el preludio de Hasekell. También hay una serie de reglas adicionales útiles para derivar instancias de una variedad de clases útiles. · La deriva realiza la persiguitud de importación para encontrar la definición de un tipo. · El código se genera utilizando combinadores de impresión bonitos. Esto significa que la salida es (justa) bien formateada, y fácil en el ojo. · Se ha realizado esfuerzos para que la interfaz de reglas sea lo más fácil posible. Esto es para permitir a los usuarios agregar reglas para generar código específico a sus propios proyectos. A medida que las reglas están escritas en el mismo en Haskell, el usuario no tiene que aprender un nuevo idioma para expresar las reglas. Las derivaciones admitidas en cuestión incluyen: binario: datos binarios. Codificación binaria binaria de términos bitsbinary eficiente codificación binaria de términos de codificación binario de tamaño byte ghcbinary. DE PRECIBIRDEBUGGING: ARBITRARIO DIRO ARBITRARIO RAZONABLE PARA LA CAMPA DE VERDADA QUICKCHECK General: NFDATA proporciona 'RNF' para reducir a la forma normal (Deepseq) Deriva tipificable para DynamicGenérgicos: Funtorm Derive Derive Razable FMAPM Implementación HFoldable Strafunski HFOLDR Monoid Derive Datos razonables. Implementación conoidea RMAPM Derive razonable RMAPM Implementación Término de la implementación Representación de STRAFUNSKI a través de DynamicPRELUDE: ENUMIO DELIMADADO EQUORD LEA REPRESENTACIÓN: Términos de codificación ATERMCONCONVERTIBLES EN EL FORMATO ATERM HASKELL2XML CODE TÉRMINOS AS XML (HAXML = 1.14) UTILIDAD: LOS VALORES DE PERIERO PERSÍO DE LA CLASE DE QUERYFOO CON 'es', 'tiene', 'de', y 'obtener' rutinas de Provi Des Foomfoo para cada constructor Obtenga para que la etiqueta 'FOO' proporciona que FOO_G obtenga. Actualízalo y FOO_S para establecerlo lo nuevo en esta versión: · Numerosas mejoras y correcciones de errores.

Deriva Software relacionado