lol-0.4.0.0: A library for lattice cryptography.
Crypto.Lol.Reflects
Description
Generic interface for reflecting types to values.
Synopsis
class Reflects a i where Source #
Reflection without fundep, and with tagged value. Intended only for low-level code; build specialized wrappers around it for specific functionality.
Minimal complete definition
value
Methods
value :: Tagged a i Source #
Reflect the value assiated with the type a.
a
Instances
value :: Tagged q r i Source #
value :: Tagged a i i Source #
value :: Tagged p i i Source #
value :: Tagged pp i i Source #
value :: Tagged m i i Source #