Data.Number.Flint.Fq.Types

Documentation

data Fq

Constructors

Fq !(ForeignPtr CFq)

type CFq = CFmpzPoly

data FqPoly

Constructors

FqPoly !(ForeignPtr CFqPoly)

type CFqPoly = CFlint FqPoly

data FqMat

Constructors

FqMat !(ForeignPtr CFqMat)

data CFqMat

Constructors

CFqMat (Ptr CFq) CLong CLong (Ptr (Ptr CFq))

Instances

Storable CFqMat

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

Methods

sizeOf :: CFqMat -> Int

alignment :: CFqMat -> Int

peekElemOff :: Ptr CFqMat -> Int -> IO CFqMat

pokeElemOff :: Ptr CFqMat -> Int -> CFqMat -> IO ()

peekByteOff :: Ptr b -> Int -> IO CFqMat

pokeByteOff :: Ptr b -> Int -> CFqMat -> IO ()

peek :: Ptr CFqMat -> IO CFqMat

poke :: Ptr CFqMat -> CFqMat -> IO ()