Tipograma Clases de composición de tipo y instancias en Haskell
Descargar ahora

Tipograma Clasificación y resumen

Tipograma Etiquetas

ejemplo clase biblioteca haskell Clase de composición de tipo Tipo de instancia composición composición tipo

Tipograma Descripción

Clases de composición de tipo e instancias en Haskell. TypeComposponida es una biblioteca gratuita y de código abierto Haskell que proporciona algunas clases y instancias para formas de composición de tipo, así como algunos otros módulos. El módulo de control de control incluye: · Varias composiciones de tipo (unar / unar unar, binario / unar, etc.) . La mayoría son de la programación aplicativa con efectos. En particular, G `O` F compone los fuentes en los fuentes y los funtores aplicativos (AFS) en AFS. (En contraste, las mónadas no se componen en general.) La composición hace que la programación basada en AF sea simple y elegante, en parte porque no necesitamos una contraparte de AF para los transformadores de Mónad. · Cofuncors (Funcores de contraavaria). Ideal para los tipos de "consumidor", al igual que los tipos de functores "productor" (productor "(contenedor). Hay varias opciones de composición. · Tipo Argument Flip. Handy for Cofuncors: Use Flip (->) O, para (-> O). · Constructor en pares: (F A, G A). · Constructor en flechas / funciones: f a ~> g a. Nota: TypeCOMPOSE está autorizado y distribuido bajo los términos de la licencia BSD. Requisitos: · Ghc

Tipograma Software relacionado