Crypto.Lol.Types.ZPP

A class for integers mod a prime power.

Documentation

class (PrimeField (ZPOf zq), Ring zq, Ring (ZPOf zq)) => ZPP zq where

Represents integers modulo a prime power.

Associated Types

type ZPOf zq

An implementation of the integers modulo the prime base.

Methods

modulusZPP :: Tagged zq PP

The prime and exponent of the modulus.

liftZp :: ZPOf zq -> zq

Lift from Z_p to a representative.

Instances

(PPow pp, (~) * zq (ZqBasic PrimePower pp z), PrimeField (ZPOf zq), Ring zq, Ring (ZPOf zq)) => ZPP (ZqBasic PrimePower pp z)