Packages tagged reflection

10 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (10), library (10), data (7), language (3), generics (2), parsing (2), dependent-types (1), formal-methods (1), optimization (1), program (1), refactoring (1), transformation (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
data-reify690.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2015-05-19AndyGill, ryanglscott
data-treify150.0Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2014-03-18ConalElliott
familiar-reflection100.0Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, library, reflection)2018-05-08MatthewFarkasDyck
global-variables120.0Namespaced, global, and top-level mutable variables without unsafePerformIO. (bsd3, data, library, reflection)2012-03-03JeanMarieGaillourdet
hermit430.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
model280.0Derive a model of a data type using Generics (bsd3, data, generics, library, reflection)2017-12-11PasqualinoAssini
reflection3722.25Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, dependent-types, library, reflection)2018-07-03EdwardKmett, ryanglscott
typehash300.0Create a unique hash value for a type. (bsd3, library, reflection)2012-03-24LennartAugustsson
yoko330.0Generic Programming with Disbanded Data Types (bsd3, generics, library, reflection)2012-09-26NicolasFrisby
zm220.0Language independent, reproducible, absolute types (bsd3, data, library, reflection)2017-12-11PasqualinoAssini