Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Number.Flint.Fq.NMod.Types

Documentation

data FqNMod Source #

Constructors

FqNMod !(ForeignPtr CFqNMod)

Instances

Instances details

Storable CFqNMod Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.FFI

Methods

sizeOf :: CFqNMod -> Int #

alignment :: CFqNMod -> Int #

peekElemOff :: Ptr CFqNMod -> Int -> IO CFqNMod #

pokeElemOff :: Ptr CFqNMod -> Int -> CFqNMod -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNMod #

pokeByteOff :: Ptr b -> Int -> CFqNMod -> IO () #

peek :: Ptr CFqNMod -> IO CFqNMod #

poke :: Ptr CFqNMod -> CFqNMod -> IO () #

type CFqNMod = CFlint FqNMod Source #

data FqNModCtx Source #

Constructors

FqNModCtx !(ForeignPtr CFqNModCtx)

data CFqNModCtx Source #

Constructors

CFqNModCtx (Ptr CFmpz) (Ptr CNMod) CInt CInt (Ptr CMpLimb) (Ptr CLong) (Ptr CLong) (Ptr CNModPoly) (Ptr CNModPoly) CString

Instances

Instances details

Storable CFqNModCtx Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.FFI

Methods

sizeOf :: CFqNModCtx -> Int #

alignment :: CFqNModCtx -> Int #

peekElemOff :: Ptr CFqNModCtx -> Int -> IO CFqNModCtx #

pokeElemOff :: Ptr CFqNModCtx -> Int -> CFqNModCtx -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNModCtx #

pokeByteOff :: Ptr b -> Int -> CFqNModCtx -> IO () #

peek :: Ptr CFqNModCtx -> IO CFqNModCtx #

poke :: Ptr CFqNModCtx -> CFqNModCtx -> IO () #

data FqNModPoly Source #

Constructors

FqNModPoly !(ForeignPtr CFqNModPoly)

Instances

Instances details

Storable CFqNModPoly Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.Poly.FFI

Methods

sizeOf :: CFqNModPoly -> Int #

alignment :: CFqNModPoly -> Int #

peekElemOff :: Ptr CFqNModPoly -> Int -> IO CFqNModPoly #

pokeElemOff :: Ptr CFqNModPoly -> Int -> CFqNModPoly -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNModPoly #

pokeByteOff :: Ptr b -> Int -> CFqNModPoly -> IO () #

peek :: Ptr CFqNModPoly -> IO CFqNModPoly #

poke :: Ptr CFqNModPoly -> CFqNModPoly -> IO () #

type CFqNModPoly = CFlint FqNModPoly Source #

data FqNModPolyFactor Source #

Constructors

FqNModPolyFactor !(ForeignPtr CFqNModPolyFactor)

data CFqNModPolyFactor Source #

Constructors

CFqNModPolyFactor (Ptr CFqNModPoly) (Ptr CLong) CLong CLong

Instances

Instances details

Storable CFqNModPolyFactor Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.Poly.Factor.FFI

Methods

sizeOf :: CFqNModPolyFactor -> Int #

alignment :: CFqNModPolyFactor -> Int #

peekElemOff :: Ptr CFqNModPolyFactor -> Int -> IO CFqNModPolyFactor #

pokeElemOff :: Ptr CFqNModPolyFactor -> Int -> CFqNModPolyFactor -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNModPolyFactor #

pokeByteOff :: Ptr b -> Int -> CFqNModPolyFactor -> IO () #

peek :: Ptr CFqNModPolyFactor -> IO CFqNModPolyFactor #

poke :: Ptr CFqNModPolyFactor -> CFqNModPolyFactor -> IO () #

data FqNModMPoly Source #

Constructors

FqNModMPoly !(ForeignPtr CFqNModMPoly)

Instances

Instances details

Storable CFqNModMPoly Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.MPoly.FFI

Methods

sizeOf :: CFqNModMPoly -> Int #

alignment :: CFqNModMPoly -> Int #

peekElemOff :: Ptr CFqNModMPoly -> Int -> IO CFqNModMPoly #

pokeElemOff :: Ptr CFqNModMPoly -> Int -> CFqNModMPoly -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNModMPoly #

pokeByteOff :: Ptr b -> Int -> CFqNModMPoly -> IO () #

peek :: Ptr CFqNModMPoly -> IO CFqNModMPoly #

poke :: Ptr CFqNModMPoly -> CFqNModMPoly -> IO () #

type CFqNModMPoly = CFlint FqNModMPoly Source #

data FqNModMat Source #

Constructors

FqNModMat !(ForeignPtr CFqNModMat)

data CFqNModMat Source #

Constructors

CFqNModMat (Ptr CFqNMod) CLong CLong (Ptr (Ptr CFqNMod))

Instances

Instances details

Storable CFqNModMat Source #

Instance details

Defined in Data.Number.Flint.Fq.NMod.Mat.FFI

Methods

sizeOf :: CFqNModMat -> Int #

alignment :: CFqNModMat -> Int #

peekElemOff :: Ptr CFqNModMat -> Int -> IO CFqNModMat #

pokeElemOff :: Ptr CFqNModMat -> Int -> CFqNModMat -> IO () #

peekByteOff :: Ptr b -> Int -> IO CFqNModMat #

pokeByteOff :: Ptr b -> Int -> CFqNModMat -> IO () #

peek :: Ptr CFqNModMat -> IO CFqNModMat #

poke :: Ptr CFqNModMat -> CFqNModMat -> IO () #