Foreign.Ptr

Copyright (c) The FFI task force 2001
License BSD-style (see the file libraries/base/LICENSE)
Maintainer [email protected]
Stability provisional
Portability portable
Safe Haskell Trustworthy
Language Haskell2010

Description

This module provides typed pointers to foreign data. It is part of the Foreign Function Interface (FFI) and will normally be imported via the Foreign module.

Data pointers

data Ptr a Source

A value of type Ptr a represents a pointer to an object, or an array of objects, which may be marshalled to or from Haskell values of type a.

The type a will often be an instance of class Storable which provides the marshalling operations. However this is not essential, and you can provide your own operations to access the pointer. For example you might write small foreign functions to get or set the fields of a C struct.

Instances
Instances details
Generic1 (URec (Ptr ()) :: k -> Type)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Associated Types

type Rep1 (URec (Ptr ())) :: k -> Type Source

Methods

from1 :: forall (a :: k0). URec (Ptr ()) a -> Rep1 (URec (Ptr ())) a Source

to1 :: forall (a :: k0). Rep1 (URec (Ptr ())) a -> URec (Ptr ()) a Source

Eq (Ptr a)

Since: base-2.1
Instance details

Defined in GHC.Ptr

Methods

(==) :: Ptr a -> Ptr a -> Bool Source

(/=) :: Ptr a -> Ptr a -> Bool Source

Data a => Data (Ptr a)

Since: base-4.8.0.0
Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ptr a -> c (Ptr a) Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ptr a) Source

toConstr :: Ptr a -> Constr Source

dataTypeOf :: Ptr a -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ptr a)) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ptr a)) Source

gmapT :: (forall b. Data b => b -> b) -> Ptr a -> Ptr a Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ptr a -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ptr a -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Ptr a -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ptr a -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr a -> m (Ptr a) Source

Ord (Ptr a)

Since: base-2.1
Instance details

Defined in GHC.Ptr

Methods

compare :: Ptr a -> Ptr a -> Ordering Source

(<) :: Ptr a -> Ptr a -> Bool Source

(<=) :: Ptr a -> Ptr a -> Bool Source

(>) :: Ptr a -> Ptr a -> Bool Source

(>=) :: Ptr a -> Ptr a -> Bool Source

max :: Ptr a -> Ptr a -> Ptr a Source

min :: Ptr a -> Ptr a -> Ptr a Source

Show (Ptr a)

Since: base-2.1
Instance details

Defined in GHC.Ptr

Methods

showsPrec :: Int -> Ptr a -> ShowS Source

show :: Ptr a -> String Source

showList :: [Ptr a] -> ShowS Source

Foldable (UAddr :: Type -> Type)

Since: base-4.9.0.0
Instance details

Defined in Data.Foldable

Methods

fold :: Monoid m => UAddr m -> m Source

foldMap :: Monoid m => (a -> m) -> UAddr a -> m Source

foldMap' :: Monoid m => (a -> m) -> UAddr a -> m Source

foldr :: (a -> b -> b) -> b -> UAddr a -> b Source

foldr' :: (a -> b -> b) -> b -> UAddr a -> b Source

foldl :: (b -> a -> b) -> b -> UAddr a -> b Source

foldl' :: (b -> a -> b) -> b -> UAddr a -> b Source

foldr1 :: (a -> a -> a) -> UAddr a -> a Source

foldl1 :: (a -> a -> a) -> UAddr a -> a Source

toList :: UAddr a -> [a] Source

null :: UAddr a -> Bool Source

length :: UAddr a -> Int Source

elem :: Eq a => a -> UAddr a -> Bool Source

maximum :: Ord a => UAddr a -> a Source

minimum :: Ord a => UAddr a -> a Source

sum :: Num a => UAddr a -> a Source

product :: Num a => UAddr a -> a Source

Traversable (UAddr :: Type -> Type)

Since: base-4.9.0.0
Instance details

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> UAddr a -> f (UAddr b) Source

sequenceA :: Applicative f => UAddr (f a) -> f (UAddr a) Source

mapM :: Monad m => (a -> m b) -> UAddr a -> m (UAddr b) Source

sequence :: Monad m => UAddr (m a) -> m (UAddr a) Source

Storable (Ptr a)

Since: base-2.1
Instance details

Defined in Foreign.Storable

Methods

sizeOf :: Ptr a -> Int Source

alignment :: Ptr a -> Int Source

peekElemOff :: Ptr (Ptr a) -> Int -> IO (Ptr a) Source

pokeElemOff :: Ptr (Ptr a) -> Int -> Ptr a -> IO () Source

peekByteOff :: Ptr b -> Int -> IO (Ptr a) Source

pokeByteOff :: Ptr b -> Int -> Ptr a -> IO () Source

peek :: Ptr (Ptr a) -> IO (Ptr a) Source

poke :: Ptr (Ptr a) -> Ptr a -> IO () Source

Functor (URec (Ptr ()) :: Type -> Type)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

fmap :: (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b Source

(<$) :: a -> URec (Ptr ()) b -> URec (Ptr ()) a Source

Eq (URec (Ptr ()) p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

(==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

(/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

Ord (URec (Ptr ()) p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Methods

compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering Source

(<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

(<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

(>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

(>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source

max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source

min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Source

Generic (URec (Ptr ()) p)

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec (Ptr ()) p) :: Type -> Type Source

Methods

from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x Source

to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p Source

data URec (Ptr ()) (p :: k)

Used for marking occurrences of Addr#

Since: base-4.9.0.0
Instance details

Defined in GHC.Generics

data URec (Ptr ()) (p :: k) = UAddr {}
type Rep1 (URec (Ptr ()) :: k -> Type)
Instance details

Defined in GHC.Generics

type Rep1 (URec (Ptr ()) :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Type)))
type Rep (URec (Ptr ()) p)
Instance details

Defined in GHC.Generics

type Rep (URec (Ptr ()) p) = D1 ('MetaData "URec" "GHC.Generics" "base" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: Type -> Type)))

nullPtr :: Ptr a Source

The constant nullPtr contains a distinguished value of Ptr that is not associated with a valid memory location.

castPtr :: Ptr a -> Ptr b Source

The castPtr function casts a pointer from one type to another.

plusPtr :: Ptr a -> Int -> Ptr b Source

Advances the given address by the given offset in bytes.

alignPtr :: Ptr a -> Int -> Ptr a Source

Given an arbitrary address and an alignment constraint, alignPtr yields the next higher address that fulfills the alignment constraint. An alignment constraint x is fulfilled by any address divisible by x. This operation is idempotent.

minusPtr :: Ptr a -> Ptr b -> Int Source

Computes the offset required to get from the second to the first argument. We have

p2 == p1 `plusPtr` (p2 `minusPtr` p1)

Function pointers

data FunPtr a Source

A value of type FunPtr a is a pointer to a function callable from foreign code. The type a will normally be a foreign type, a function type with zero or more arguments where

A value of type FunPtr a may be a pointer to a foreign function, either returned by another foreign function or imported with a a static address import like

foreign import ccall "stdlib.h &free"
  p_free :: FunPtr (Ptr a -> IO ())

or a pointer to a Haskell function created using a wrapper stub declared to produce a FunPtr of the correct type. For example:

type Compare = Int -> Int -> Bool
foreign import ccall "wrapper"
  mkCompare :: Compare -> IO (FunPtr Compare)

Calls to wrapper stubs like mkCompare allocate storage, which should be released with freeHaskellFunPtr when no longer required.

To convert FunPtr values to corresponding Haskell functions, one can define a dynamic stub for the specific foreign type, e.g.

type IntFunction = CInt -> IO ()
foreign import ccall "dynamic"
  mkFun :: FunPtr IntFunction -> IntFunction
Instances
Instances details
Eq (FunPtr a)
Instance details

Defined in GHC.Ptr

Methods

(==) :: FunPtr a -> FunPtr a -> Bool Source

(/=) :: FunPtr a -> FunPtr a -> Bool Source

Ord (FunPtr a)
Instance details

Defined in GHC.Ptr

Methods

compare :: FunPtr a -> FunPtr a -> Ordering Source

(<) :: FunPtr a -> FunPtr a -> Bool Source

(<=) :: FunPtr a -> FunPtr a -> Bool Source

(>) :: FunPtr a -> FunPtr a -> Bool Source

(>=) :: FunPtr a -> FunPtr a -> Bool Source

max :: FunPtr a -> FunPtr a -> FunPtr a Source

min :: FunPtr a -> FunPtr a -> FunPtr a Source

Show (FunPtr a)

Since: base-2.1
Instance details

Defined in GHC.Ptr

Methods

showsPrec :: Int -> FunPtr a -> ShowS Source

show :: FunPtr a -> String Source

showList :: [FunPtr a] -> ShowS Source

Storable (FunPtr a)

Since: base-2.1
Instance details

Defined in Foreign.Storable

Methods

sizeOf :: FunPtr a -> Int Source

alignment :: FunPtr a -> Int Source

peekElemOff :: Ptr (FunPtr a) -> Int -> IO (FunPtr a) Source

pokeElemOff :: Ptr (FunPtr a) -> Int -> FunPtr a -> IO () Source

peekByteOff :: Ptr b -> Int -> IO (FunPtr a) Source

pokeByteOff :: Ptr b -> Int -> FunPtr a -> IO () Source

peek :: Ptr (FunPtr a) -> IO (FunPtr a) Source

poke :: Ptr (FunPtr a) -> FunPtr a -> IO () Source

nullFunPtr :: FunPtr a Source

The constant nullFunPtr contains a distinguished value of FunPtr that is not associated with a valid memory location.

castFunPtr :: FunPtr a -> FunPtr b Source

Casts a FunPtr to a FunPtr of a different type.

castFunPtrToPtr :: FunPtr a -> Ptr b Source

Casts a FunPtr to a Ptr.

Note: this is valid only on architectures where data and function pointers range over the same set of addresses, and should only be used for bindings to external libraries whose interface already relies on this assumption.

castPtrToFunPtr :: Ptr a -> FunPtr b Source

Casts a Ptr to a FunPtr.

Note: this is valid only on architectures where data and function pointers range over the same set of addresses, and should only be used for bindings to external libraries whose interface already relies on this assumption.

freeHaskellFunPtr :: FunPtr a -> IO () Source

Release the storage associated with the given FunPtr, which must have been obtained from a wrapper stub. This should be called whenever the return value from a foreign import wrapper function is no longer required; otherwise, the storage it uses will leak.

Integral types with lossless conversion to and from pointers

newtype IntPtr Source

A signed integral type that can be losslessly converted to and from Ptr. This type is also compatible with the C99 type intptr_t, and can be marshalled to and from that type safely.

Constructors

IntPtr Int
Instances
Instances details
Bounded IntPtr
Instance details

Defined in Foreign.Ptr

Methods

minBound :: IntPtr Source

maxBound :: IntPtr Source

Enum IntPtr
Instance details

Defined in Foreign.Ptr

Methods

succ :: IntPtr -> IntPtr Source

pred :: IntPtr -> IntPtr Source

toEnum :: Int -> IntPtr Source

fromEnum :: IntPtr -> Int Source

enumFrom :: IntPtr -> [IntPtr] Source

enumFromThen :: IntPtr -> IntPtr -> [IntPtr] Source

enumFromTo :: IntPtr -> IntPtr -> [IntPtr] Source

enumFromThenTo :: IntPtr -> IntPtr -> IntPtr -> [IntPtr] Source

Eq IntPtr
Instance details

Defined in Foreign.Ptr

Methods

(==) :: IntPtr -> IntPtr -> Bool Source

(/=) :: IntPtr -> IntPtr -> Bool Source

Integral IntPtr
Instance details

Defined in Foreign.Ptr

Methods

quot :: IntPtr -> IntPtr -> IntPtr Source

rem :: IntPtr -> IntPtr -> IntPtr Source

div :: IntPtr -> IntPtr -> IntPtr Source

mod :: IntPtr -> IntPtr -> IntPtr Source

quotRem :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Source

divMod :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Source

toInteger :: IntPtr -> Integer Source

Data IntPtr

Since: base-4.11.0.0
Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IntPtr -> c IntPtr Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IntPtr Source

toConstr :: IntPtr -> Constr Source

dataTypeOf :: IntPtr -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IntPtr) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IntPtr) Source

gmapT :: (forall b. Data b => b -> b) -> IntPtr -> IntPtr Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IntPtr -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IntPtr -> r Source

gmapQ :: (forall d. Data d => d -> u) -> IntPtr -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> IntPtr -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Source

Num IntPtr
Instance details

Defined in Foreign.Ptr

Methods

(+) :: IntPtr -> IntPtr -> IntPtr Source

(-) :: IntPtr -> IntPtr -> IntPtr Source

(*) :: IntPtr -> IntPtr -> IntPtr Source

negate :: IntPtr -> IntPtr Source

abs :: IntPtr -> IntPtr Source

signum :: IntPtr -> IntPtr Source

fromInteger :: Integer -> IntPtr Source

Ord IntPtr
Instance details

Defined in Foreign.Ptr

Methods

compare :: IntPtr -> IntPtr -> Ordering Source

(<) :: IntPtr -> IntPtr -> Bool Source

(<=) :: IntPtr -> IntPtr -> Bool Source

(>) :: IntPtr -> IntPtr -> Bool Source

(>=) :: IntPtr -> IntPtr -> Bool Source

max :: IntPtr -> IntPtr -> IntPtr Source

min :: IntPtr -> IntPtr -> IntPtr Source

Read IntPtr
Instance details

Defined in Foreign.Ptr

Methods

readsPrec :: Int -> ReadS IntPtr Source

readList :: ReadS [IntPtr] Source

readPrec :: ReadPrec IntPtr Source

readListPrec :: ReadPrec [IntPtr] Source

Real IntPtr
Instance details

Defined in Foreign.Ptr

Methods

toRational :: IntPtr -> Rational Source

Show IntPtr
Instance details

Defined in Foreign.Ptr

Methods

showsPrec :: Int -> IntPtr -> ShowS Source

show :: IntPtr -> String Source

showList :: [IntPtr] -> ShowS Source

FiniteBits IntPtr
Instance details

Defined in Foreign.Ptr

Methods

finiteBitSize :: IntPtr -> Int Source

countLeadingZeros :: IntPtr -> Int Source

countTrailingZeros :: IntPtr -> Int Source

Bits IntPtr
Instance details

Defined in Foreign.Ptr

Methods

(.&.) :: IntPtr -> IntPtr -> IntPtr Source

(.|.) :: IntPtr -> IntPtr -> IntPtr Source

xor :: IntPtr -> IntPtr -> IntPtr Source

complement :: IntPtr -> IntPtr Source

shift :: IntPtr -> Int -> IntPtr Source

rotate :: IntPtr -> Int -> IntPtr Source

zeroBits :: IntPtr Source

bit :: Int -> IntPtr Source

setBit :: IntPtr -> Int -> IntPtr Source

clearBit :: IntPtr -> Int -> IntPtr Source

complementBit :: IntPtr -> Int -> IntPtr Source

testBit :: IntPtr -> Int -> Bool Source

bitSizeMaybe :: IntPtr -> Maybe Int Source

bitSize :: IntPtr -> Int Source

isSigned :: IntPtr -> Bool Source

shiftL :: IntPtr -> Int -> IntPtr Source

unsafeShiftL :: IntPtr -> Int -> IntPtr Source

shiftR :: IntPtr -> Int -> IntPtr Source

unsafeShiftR :: IntPtr -> Int -> IntPtr Source

rotateL :: IntPtr -> Int -> IntPtr Source

rotateR :: IntPtr -> Int -> IntPtr Source

popCount :: IntPtr -> Int Source

Storable IntPtr
Instance details

Defined in Foreign.Ptr

Methods

sizeOf :: IntPtr -> Int Source

alignment :: IntPtr -> Int Source

peekElemOff :: Ptr IntPtr -> Int -> IO IntPtr Source

pokeElemOff :: Ptr IntPtr -> Int -> IntPtr -> IO () Source

peekByteOff :: Ptr b -> Int -> IO IntPtr Source

pokeByteOff :: Ptr b -> Int -> IntPtr -> IO () Source

peek :: Ptr IntPtr -> IO IntPtr Source

poke :: Ptr IntPtr -> IntPtr -> IO () Source

ptrToIntPtr :: Ptr a -> IntPtr Source

casts a Ptr to an IntPtr

intPtrToPtr :: IntPtr -> Ptr a Source

casts an IntPtr to a Ptr

newtype WordPtr Source

An unsigned integral type that can be losslessly converted to and from Ptr. This type is also compatible with the C99 type uintptr_t, and can be marshalled to and from that type safely.

Constructors

WordPtr Word
Instances
Instances details
Bounded WordPtr
Instance details

Defined in Foreign.Ptr

Methods

minBound :: WordPtr Source

maxBound :: WordPtr Source

Enum WordPtr
Instance details

Defined in Foreign.Ptr

Methods

succ :: WordPtr -> WordPtr Source

pred :: WordPtr -> WordPtr Source

toEnum :: Int -> WordPtr Source

fromEnum :: WordPtr -> Int Source

enumFrom :: WordPtr -> [WordPtr] Source

enumFromThen :: WordPtr -> WordPtr -> [WordPtr] Source

enumFromTo :: WordPtr -> WordPtr -> [WordPtr] Source

enumFromThenTo :: WordPtr -> WordPtr -> WordPtr -> [WordPtr] Source

Eq WordPtr
Instance details

Defined in Foreign.Ptr

Methods

(==) :: WordPtr -> WordPtr -> Bool Source

(/=) :: WordPtr -> WordPtr -> Bool Source

Integral WordPtr
Instance details

Defined in Foreign.Ptr

Methods

quot :: WordPtr -> WordPtr -> WordPtr Source

rem :: WordPtr -> WordPtr -> WordPtr Source

div :: WordPtr -> WordPtr -> WordPtr Source

mod :: WordPtr -> WordPtr -> WordPtr Source

quotRem :: WordPtr -> WordPtr -> (WordPtr, WordPtr) Source

divMod :: WordPtr -> WordPtr -> (WordPtr, WordPtr) Source

toInteger :: WordPtr -> Integer Source

Data WordPtr

Since: base-4.11.0.0
Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WordPtr -> c WordPtr Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WordPtr Source

toConstr :: WordPtr -> Constr Source

dataTypeOf :: WordPtr -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WordPtr) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WordPtr) Source

gmapT :: (forall b. Data b => b -> b) -> WordPtr -> WordPtr Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WordPtr -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WordPtr -> r Source

gmapQ :: (forall d. Data d => d -> u) -> WordPtr -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> WordPtr -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WordPtr -> m WordPtr Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WordPtr -> m WordPtr Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WordPtr -> m WordPtr Source

Num WordPtr
Instance details

Defined in Foreign.Ptr

Methods

(+) :: WordPtr -> WordPtr -> WordPtr Source

(-) :: WordPtr -> WordPtr -> WordPtr Source

(*) :: WordPtr -> WordPtr -> WordPtr Source

negate :: WordPtr -> WordPtr Source

abs :: WordPtr -> WordPtr Source

signum :: WordPtr -> WordPtr Source

fromInteger :: Integer -> WordPtr Source

Ord WordPtr
Instance details

Defined in Foreign.Ptr

Methods

compare :: WordPtr -> WordPtr -> Ordering Source

(<) :: WordPtr -> WordPtr -> Bool Source

(<=) :: WordPtr -> WordPtr -> Bool Source

(>) :: WordPtr -> WordPtr -> Bool Source

(>=) :: WordPtr -> WordPtr -> Bool Source

max :: WordPtr -> WordPtr -> WordPtr Source

min :: WordPtr -> WordPtr -> WordPtr Source

Read WordPtr
Instance details

Defined in Foreign.Ptr

Methods

readsPrec :: Int -> ReadS WordPtr Source

readList :: ReadS [WordPtr] Source

readPrec :: ReadPrec WordPtr Source

readListPrec :: ReadPrec [WordPtr] Source

Real WordPtr
Instance details

Defined in Foreign.Ptr

Methods

toRational :: WordPtr -> Rational Source

Show WordPtr
Instance details

Defined in Foreign.Ptr

Methods

showsPrec :: Int -> WordPtr -> ShowS Source

show :: WordPtr -> String Source

showList :: [WordPtr] -> ShowS Source

FiniteBits WordPtr
Instance details

Defined in Foreign.Ptr

Methods

finiteBitSize :: WordPtr -> Int Source

countLeadingZeros :: WordPtr -> Int Source

countTrailingZeros :: WordPtr -> Int Source

Bits WordPtr
Instance details

Defined in Foreign.Ptr

Methods

(.&.) :: WordPtr -> WordPtr -> WordPtr Source

(.|.) :: WordPtr -> WordPtr -> WordPtr Source

xor :: WordPtr -> WordPtr -> WordPtr Source

complement :: WordPtr -> WordPtr Source

shift :: WordPtr -> Int -> WordPtr Source

rotate :: WordPtr -> Int -> WordPtr Source

zeroBits :: WordPtr Source

bit :: Int -> WordPtr Source

setBit :: WordPtr -> Int -> WordPtr Source

clearBit :: WordPtr -> Int -> WordPtr Source

complementBit :: WordPtr -> Int -> WordPtr Source

testBit :: WordPtr -> Int -> Bool Source

bitSizeMaybe :: WordPtr -> Maybe Int Source

bitSize :: WordPtr -> Int Source

isSigned :: WordPtr -> Bool Source

shiftL :: WordPtr -> Int -> WordPtr Source

unsafeShiftL :: WordPtr -> Int -> WordPtr Source

shiftR :: WordPtr -> Int -> WordPtr Source

unsafeShiftR :: WordPtr -> Int -> WordPtr Source

rotateL :: WordPtr -> Int -> WordPtr Source

rotateR :: WordPtr -> Int -> WordPtr Source

popCount :: WordPtr -> Int Source

Storable WordPtr
Instance details

Defined in Foreign.Ptr

Methods

sizeOf :: WordPtr -> Int Source

alignment :: WordPtr -> Int Source

peekElemOff :: Ptr WordPtr -> Int -> IO WordPtr Source

pokeElemOff :: Ptr WordPtr -> Int -> WordPtr -> IO () Source

peekByteOff :: Ptr b -> Int -> IO WordPtr Source

pokeByteOff :: Ptr b -> Int -> WordPtr -> IO () Source

peek :: Ptr WordPtr -> IO WordPtr Source

poke :: Ptr WordPtr -> WordPtr -> IO () Source

ptrToWordPtr :: Ptr a -> WordPtr Source

casts a Ptr to a WordPtr

wordPtrToPtr :: WordPtr -> Ptr a Source

casts a WordPtr to a Ptr

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Foreign-Ptr.html