Crypto.Lol.Types.IrreducibleChar2

Orphan instance of IrreduciblePoly for characteristic-2 fields.

Orphan instances

((~) PrimeBin (CharOf PrimeBin a) Prime2, Field a) => IrreduciblePoly a

Methods

irreduciblePoly :: Reflects k d Int => Tagged k d (Polynomial a)