Crypto.Lol.Reflects

Generic interface for reflecting types to values.

Documentation

class Reflects a i where

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

Reflect the value assiated with the type a.

Instances

(Reifies * q i, C i, C r) => Reflects * q r

Methods

value :: Tagged q r i

(KnownNat a, C i) => Reflects Nat a i

Methods

value :: Tagged a i i

(Prime p, C i) => Reflects PrimeBin p i

Methods

value :: Tagged p i i

(PPow pp, C i) => Reflects PrimePower pp i

Methods

value :: Tagged pp i i

(Fact m, C i) => Reflects Factored m i

Methods

value :: Tagged m i i