Copyright	(c) Eric Crockett 2011-2017 Chris Peikert 2011-2017
License	GPL-3
Maintainer	ecrockett0@email.com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

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

Reflect the value assiated with the type a.

Instances

(KnownNat a, C i) => Reflects (a :: Nat) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(PosC a, C i) => Reflects (a :: Pos) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(BinC a, C i) => Reflects (a :: Bin) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(Prime p, C i) => Reflects (p :: PrimeBin) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(PPow pp, C i) => Reflects (pp :: PrimePower) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(Fact m, C i) => Reflects (m :: Factored) i Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: i Source #
(Reifies q i, C i, C r) => Reflects (q :: Type) r Source #
Instance details Defined in Crypto.Lol.Reflects Methods value :: r Source #