Data.Const.Unsafe

Documentation

class (Constable q q, forall a. Coercible (q a) (p a)) => Constable q p | p -> q

Instances

Constable ConstByteArray MutableByteArray

Defined in Data.Const.Unsafe

Constable ConstByteArray ConstByteArray

Defined in Data.Const.Unsafe

Constable ConstIORef IORef

Defined in Data.Const.Unsafe

Constable ConstIORef ConstIORef

Defined in Data.Const.Unsafe

Constable ConstForeignPtr ForeignPtr

Defined in Data.Const.Unsafe

Constable ConstForeignPtr ConstForeignPtr

Defined in Data.Const.Unsafe

Constable ConstPtr Ptr

Defined in Data.Const.Unsafe

Constable ConstPtr ConstPtr

Defined in Data.Const.Unsafe

Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstMutVar s :: Type -> Type) (ConstMutVar s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstMutVar s :: Type -> Type) (MutVar s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (SmallConstArray s :: Type -> Type) (SmallConstArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (SmallConstArray s :: Type -> Type) (SmallMutableArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstPrimArray s :: Type -> Type) (ConstPrimArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstPrimArray s :: Type -> Type) (MutablePrimArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type)

Defined in Data.Const.Unsafe

newtype ConstPtr a

Constructors

ConstPtr

Fields

• unsafeConstPtrPtr :: Ptr a

Instances

DiffTorsor ConstPtr

Defined in Data.Const.Unsafe

Methods

act :: Diff a b -> ConstPtr a -> ConstPtr b

diff :: ConstPtr b -> ConstPtr a -> Diff a b

Eq (ConstPtr a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstPtr a -> ConstPtr a -> Bool

(/=) :: ConstPtr a -> ConstPtr a -> Bool

Data a => Data (ConstPtr a)

Defined in Data.Const.Unsafe

Methods

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

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

toConstr :: ConstPtr a -> Constr

dataTypeOf :: ConstPtr a -> DataType

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

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

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

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

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

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

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

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

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

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

Ord (ConstPtr a)

Defined in Data.Const.Unsafe

Methods

compare :: ConstPtr a -> ConstPtr a -> Ordering

(<) :: ConstPtr a -> ConstPtr a -> Bool

(<=) :: ConstPtr a -> ConstPtr a -> Bool

(>) :: ConstPtr a -> ConstPtr a -> Bool

(>=) :: ConstPtr a -> ConstPtr a -> Bool

max :: ConstPtr a -> ConstPtr a -> ConstPtr a

min :: ConstPtr a -> ConstPtr a -> ConstPtr a

Show (ConstPtr a)

Defined in Data.Const.Unsafe

Methods

showsPrec :: Int -> ConstPtr a -> ShowS

show :: ConstPtr a -> String

showList :: [ConstPtr a] -> ShowS

Storable (ConstPtr a)

Defined in Data.Const.Unsafe

Methods

sizeOf :: ConstPtr a -> Int

alignment :: ConstPtr a -> Int

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

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

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

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

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

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

Constable ConstPtr Ptr

Defined in Data.Const.Unsafe

Constable ConstPtr ConstPtr

Defined in Data.Const.Unsafe

newtype ConstForeignPtr a

Constructors

ConstForeignPtr

Fields

• unsafeConstForeignPtrForeignPtr :: ForeignPtr a

Instances

DiffTorsor ConstForeignPtr

Defined in Data.Const.Unsafe

Methods

act :: Diff a b -> ConstForeignPtr a -> ConstForeignPtr b

diff :: ConstForeignPtr b -> ConstForeignPtr a -> Diff a b

Eq (ConstForeignPtr a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

(/=) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

Data a => Data (ConstForeignPtr a)

Defined in Data.Const.Unsafe

Methods

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

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

toConstr :: ConstForeignPtr a -> Constr

dataTypeOf :: ConstForeignPtr a -> DataType

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

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

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

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

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

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

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

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

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

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

Ord (ConstForeignPtr a)

Defined in Data.Const.Unsafe

Methods

compare :: ConstForeignPtr a -> ConstForeignPtr a -> Ordering

(<) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

(<=) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

(>) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

(>=) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool

max :: ConstForeignPtr a -> ConstForeignPtr a -> ConstForeignPtr a

min :: ConstForeignPtr a -> ConstForeignPtr a -> ConstForeignPtr a

Show (ConstForeignPtr a)

Defined in Data.Const.Unsafe

Methods

showsPrec :: Int -> ConstForeignPtr a -> ShowS

show :: ConstForeignPtr a -> String

showList :: [ConstForeignPtr a] -> ShowS

Constable ConstForeignPtr ForeignPtr

Defined in Data.Const.Unsafe

Constable ConstForeignPtr ConstForeignPtr

Defined in Data.Const.Unsafe

type Unforeign ConstForeignPtr

Defined in Foreign.Const.ForeignPtr

type Unforeign ConstForeignPtr = ConstPtr

newtype ConstArray s a

Constructors

ConstArray

Fields

• unsafeConstArrayMutableArray :: MutableArray s a

Instances

Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (ConstArray s a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstArray s a -> ConstArray s a -> Bool

(/=) :: ConstArray s a -> ConstArray s a -> Bool

newtype ConstByteArray s

Constructors

ConstByteArray

Fields

• unsafeConstByteArrayMutableByteArray :: MutableByteArray s

Instances

Eq (ConstByteArray s)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstByteArray s -> ConstByteArray s -> Bool

(/=) :: ConstByteArray s -> ConstByteArray s -> Bool

Constable ConstByteArray MutableByteArray

Defined in Data.Const.Unsafe

Constable ConstByteArray ConstByteArray

Defined in Data.Const.Unsafe

newtype ConstPrimArray s a

Constructors

ConstPrimArray

Fields

• unsafeConstPrimArrayMutablePrimArray :: MutablePrimArray s a

Instances

Constable (ConstPrimArray s :: Type -> Type) (ConstPrimArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstPrimArray s :: Type -> Type) (MutablePrimArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (ConstPrimArray s a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstPrimArray s a -> ConstPrimArray s a -> Bool

(/=) :: ConstPrimArray s a -> ConstPrimArray s a -> Bool

newtype ConstMutVar s a

Constructors

ConstMutVar

Fields

• unsafeConstMutVarMutVar :: MutVar s a

Instances

Constable (ConstMutVar s :: Type -> Type) (ConstMutVar s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstMutVar s :: Type -> Type) (MutVar s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (ConstMutVar s a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstMutVar s a -> ConstMutVar s a -> Bool

(/=) :: ConstMutVar s a -> ConstMutVar s a -> Bool

newtype ConstIORef a

Constructors

ConstIORef

Fields

• unsafeConstIORefIORef :: IORef a

Instances

Eq (ConstIORef a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstIORef a -> ConstIORef a -> Bool

(/=) :: ConstIORef a -> ConstIORef a -> Bool

Constable ConstIORef IORef

Defined in Data.Const.Unsafe

Constable ConstIORef ConstIORef

Defined in Data.Const.Unsafe

newtype ConstSTRef s a

Constructors

ConstSTRef

Fields

• unsafeConstSTRefSTRef :: STRef s a

Instances

Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (ConstSTRef s a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstSTRef s a -> ConstSTRef s a -> Bool

(/=) :: ConstSTRef s a -> ConstSTRef s a -> Bool

newtype SmallConstArray s a

Constructors

SmallConstArray

Fields

• unsafeSmallConstArraySmallMutableArray :: SmallMutableArray s a

Instances

Constable (SmallConstArray s :: Type -> Type) (SmallConstArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (SmallConstArray s :: Type -> Type) (SmallMutableArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (SmallConstArray s a)

Defined in Data.Const.Unsafe

Methods

(==) :: SmallConstArray s a -> SmallConstArray s a -> Bool

(/=) :: SmallConstArray s a -> SmallConstArray s a -> Bool

type ConstCString = ConstPtr CChar

type ConstCStringLen = (ConstCString, Int)

type ConstCWString = ConstPtr CWchar

type ConstCWStringLen = (ConstCWString, Int)

constant :: forall p a q. Constable q p => p a -> q a

unsafeConstantCoercion :: forall p a q. Constable q p => Coercion (q a) (p a)

type APtr = Constable ConstPtr

unsafePtr :: forall p a. APtr p => p a -> Ptr a

unsafePtrCoercion :: forall p a. APtr p => Coercion (Ptr a) (p a)

type AForeignPtr = Constable ConstForeignPtr

unsafeForeignPtr :: forall p a. AForeignPtr p => p a -> ForeignPtr a

unsafeForeignPtrCoercion :: forall p a. AForeignPtr p => Coercion (ForeignPtr a) (p a)

type AnArray s = Constable (ConstArray s)

unsafeArray :: forall s p a. AnArray s p => p a -> MutableArray s a

unsafeArrayCoercion :: forall s p a. AnArray s p => Coercion (MutableArray s a) (p a)

type AByteArray = Constable ConstByteArray

unsafeByteArray :: forall s p. AByteArray p => p s -> MutableByteArray s

unsafeByteArrayCoercion :: forall p s. AByteArray p => Coercion (MutableByteArray s) (p s)

type APrimArray s = Constable (ConstPrimArray s)

unsafePrimArray :: forall s p a. APrimArray s p => p a -> MutablePrimArray s a

unsafePrimArrayCoercion :: forall s p a. APrimArray s p => Coercion (MutablePrimArray s a) (p a)

type ASmallArray s = Constable (SmallConstArray s)

unsafeSmallArray :: forall s p a. ASmallArray s p => p a -> SmallMutableArray s a

unsafeSmallArrayCoercion :: forall s p a. ASmallArray s p => Coercion (SmallMutableArray s a) (p a)

type AMutVar s = Constable (ConstMutVar s)

unsafeMutVar :: forall s p a. AMutVar s p => p a -> MutVar s a

unsafeMutVarCoercion :: forall s p a. AMutVar s p => Coercion (MutVar s a) (p a)

type AnIORef = Constable ConstIORef

unsafeIORef :: forall p a. AnIORef p => p a -> IORef a

unsafeIORefCoercion :: forall p a. AnIORef p => Coercion (IORef a) (p a)

type AnSTRef s = Constable (ConstSTRef s)

unsafeSTRef :: forall s p a. AnSTRef s p => p a -> STRef s a

unsafeSTRefCoercion :: forall s p a. AnSTRef s p => Coercion (STRef s a) (p a)

type ACString s = (s ~ Unapply s CChar, APtr (Unapply s))

unsafeCStringCoercion :: forall s. ACString s => Coercion CString s

type ACWString s = (s ~ Unapply s CWchar, APtr (Unapply s))

unsafeCWStringCoercion :: forall s. ACWString s => Coercion CWString s