Number.ResidueClass.Reader

data T a b

concrete

fromRepresentative

getZero

getOne

fromInteger

getAdd

getSub

getNeg

getAdditiveVars

getMul

getRingVars

getDivide

getRecip

getFieldVars

monadExample

runExample