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-classes20.01Deriving (Show|Read)(1|2) (bsd3, data, library, reflection)2023-12-081.1viercc
data-reify3650.013Reify a recursive data structure into an explicit graph. (bsd3, data, language, library, parsing, reflection)2024-10-270.6.4AndyGill, ryanglscott
familiar-reflection (deprecated)50.01Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, deprecated, library, reflection)2018-05-080.1.0.0
global-variables40.02Namespaced, global, and top-level mutable variables without unsafePerformIO. (bsd3, data, library, reflection)2012-03-031.0.1.1JeanMarieGaillourdet
hermit130.02Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-231.0.1AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
model260.01Derive a model of a data type using Generics (bsd3, data, generics, library, reflection)2019-05-290.5PasqualinoAssini
reflection4492.2595Reifies arbitrary terms into types that can be reflected back into terms (bsd3, data, dependent-types, library, reflection)2024-12-042.1.9EdwardKmett, ryanglscott
typehash140.01Create a unique hash value for a type. (bsd3, library, reflection)2012-03-241.4.0.4LennartAugustsson
yoko150.01Generic Programming with Disbanded Data Types (bsd3, generics, library, reflection)2012-09-262.0NicolasFrisby
zm80.01Language independent, reproducible, absolute types (bsd3, data, library, reflection)2017-12-110.3.2PasqualinoAssini