Copyright	(c) Eric Crockett 2011-2017 Chris Peikert 2011-2017
License	GPL-2
Maintainer	ecrockett0@email.com
Stability	experimental
Portability	POSIX \( \def\Z{\mathbb{Z}} \)
Safe Haskell	None
Language	Haskell2010

Crypto.Lol.Types.ZPP

Description

A class for integers mod a prime power.

Synopsis

Documentation

class (PrimeField (ZpOf zq), Ring zq) => ZPP zq where Source #

Represents integers modulo a prime power.

Minimal complete definition

Associated Types

An implementation of the integers modulo the prime base.

Methods

The prime and exponent of the modulus.

Lift from \(\Z_p\) to a representative.

Instances

(PPow pp, (~) * zq (ZqBasic PrimePower pp z), PrimeField (ZpOf zq), Ring zq) => ZPP (ZqBasic PrimePower pp z) Source #
Associated Types type ZpOf (ZqBasic PrimePower pp z) :: * Source # Methods modulusZPP :: Tagged * (ZqBasic PrimePower pp z) PP Source # liftZp :: ZpOf (ZqBasic PrimePower pp z) -> ZqBasic PrimePower pp z Source #