Packages tagged reflection
10 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (10), library (10), data (7), generics (2), language (2), dependent-types (1), deprecated (1), formal-methods (1), optimization (1), parsing (1), program (1), refactoring (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
auto-lift-classes | 18 | 0.0 | 1 | Deriving (Show|Read)(1|2) | (bsd3, data, library, reflection) | 2023-12-08 | 1.1 | viercc |
data-reify | 125 | 0.0 | 13 | Reify a recursive data structure into an explicit graph. | (bsd3, data, language, library, parsing, reflection) | 2024-10-27 | 0.6.4 | AndyGill, ryanglscott |
familiar-reflection (deprecated) | 7 | 0.0 | 1 | Reifies arbitrary terms into types that can be reflected back into terms | (bsd3, data, deprecated, library, reflection) | 2018-05-08 | 0.1.0.0 | |
global-variables | 14 | 0.0 | 2 | Namespaced, global, and top-level mutable variables without unsafePerformIO. | (bsd3, data, library, reflection) | 2012-03-03 | 1.0.1.1 | JeanMarieGaillourdet |
hermit | 46 | 0.0 | 2 | Haskell Equational Reasoning Model-to-Implementation Tunnel | (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation) | 2016-02-23 | 1.0.1 | AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott |
model | 49 | 0.0 | 1 | Derive a model of a data type using Generics | (bsd3, data, generics, library, reflection) | 2019-05-29 | 0.5 | PasqualinoAssini |
reflection | 516 | 2.25 | 94 | Reifies arbitrary terms into types that can be reflected back into terms | (bsd3, data, dependent-types, library, reflection) | 2024-05-04 | 2.1.8 | EdwardKmett, ryanglscott |
typehash | 45 | 0.0 | 1 | Create a unique hash value for a type. | (bsd3, library, reflection) | 2012-03-24 | 1.4.0.4 | LennartAugustsson |
yoko | 40 | 0.0 | 1 | Generic Programming with Disbanded Data Types | (bsd3, generics, library, reflection) | 2012-09-26 | 2.0 | NicolasFrisby |
zm | 27 | 0.0 | 1 | Language independent, reproducible, absolute types | (bsd3, data, library, reflection) | 2017-12-11 | 0.3.2 | PasqualinoAssini |