lol-0.0.1.0: A general-purpose library for lattice cryptography.

Safe HaskellNone
LanguageHaskell2010

Crypto.Lol.Reflects

Description

Generic interface for reflecting types to values.

Synopsis

Documentation

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.

Methods

value :: Tagged a i Source

Reflect the value assiated with the type a.

Instances

Reifies * rei a => Reflects * rei a Source 
(KnownNat a, Integral i) => Reflects Nat a i Source 
(PPow pp, Integral i) => Reflects PrimePower pp i Source 
(Fact m, Integral i) => Reflects Factored m i Source 
(NatC a, Integral i) => Reflects Nat a i Source