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 | 12 | 0.0 | 0 | Deriving (Show|Read)(1|2) | (bsd3, data, library, reflection) | 2023-12-08 | 1.1 | viercc |
| data-reify | 61 | 0.0 | 13 | Reify a recursive data structure into an explicit graph. | (bsd3, data, language, library, parsing, reflection) | 2020-10-12 | 0.6.3 | AndyGill, ryanglscott |
| familiar-reflection (deprecated) | 11 | 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 | 10 | 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 | 42 | 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 | 31 | 0.0 | 1 | Derive a model of a data type using Generics | (bsd3, data, generics, library, reflection) | 2019-05-29 | 0.5 | PasqualinoAssini |
| reflection | 379 | 2.25 | 92 | Reifies arbitrary terms into types that can be reflected back into terms | (bsd3, data, dependent-types, library, reflection) | 2023-02-28 | 2.1.7 | EdwardKmett, ryanglscott |
| typehash | 21 | 0.0 | 1 | Create a unique hash value for a type. | (bsd3, library, reflection) | 2012-03-24 | 1.4.0.4 | LennartAugustsson |
| yoko | 29 | 0.0 | 1 | Generic Programming with Disbanded Data Types | (bsd3, generics, library, reflection) | 2012-09-26 | 2.0 | NicolasFrisby |
| zm | 19 | 0.0 | 1 | Language independent, reproducible, absolute types | (bsd3, data, library, reflection) | 2017-12-11 | 0.3.2 | PasqualinoAssini |