Copyright	(c) 2019 Edward Kmett
License	BSD-2-Clause OR Apache-2.0
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Const.Unsafe

Description

Documentation

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

Instances

Constable ConstByteArray MutableByteArray Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstByteArray ConstByteArray Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstIORef IORef Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstIORef ConstIORef Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstForeignPtr ForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstForeignPtr ConstForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstPtr Ptr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstPtr ConstPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstMutVar s :: Type -> Type) (ConstMutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstMutVar s :: Type -> Type) (MutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (SmallConstArray s :: Type -> Type) (SmallConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (SmallConstArray s :: Type -> Type) (SmallMutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstPrimArray s :: Type -> Type) (ConstPrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstPrimArray s :: Type -> Type) (MutablePrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe

newtype ConstPtr a Source #

Constructors

ConstPtr
Fields unsafeConstPtrPtr :: Ptr a

Instances

DiffTorsor ConstPtr Source #
Instance details 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) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstPtr a -> ConstPtr a -> Bool # (/=) :: ConstPtr a -> ConstPtr a -> Bool #
Data a => Data (ConstPtr a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Const.Unsafe Methods showsPrec :: Int -> ConstPtr a -> ShowS # show :: ConstPtr a -> String # showList :: [ConstPtr a] -> ShowS #
Storable (ConstPtr a) Source #
Instance details 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 Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstPtr ConstPtr Source #
Instance details Defined in Data.Const.Unsafe

newtype ConstForeignPtr a Source #

Constructors

ConstForeignPtr
Fields unsafeConstForeignPtrForeignPtr :: ForeignPtr a

Instances

DiffTorsor ConstForeignPtr Source #
Instance details 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) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool # (/=) :: ConstForeignPtr a -> ConstForeignPtr a -> Bool #
Data a => Data (ConstForeignPtr a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Const.Unsafe Methods showsPrec :: Int -> ConstForeignPtr a -> ShowS # show :: ConstForeignPtr a -> String # showList :: [ConstForeignPtr a] -> ShowS #
Constable ConstForeignPtr ForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstForeignPtr ConstForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
type Unforeign ConstForeignPtr Source #
Instance details Defined in Foreign.Const.ForeignPtr type Unforeign ConstForeignPtr = ConstPtr

newtype ConstArray s a Source #

Constructors

ConstArray
Fields unsafeConstArrayMutableArray :: MutableArray s a

Instances

Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Eq (ConstArray s a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstArray s a -> ConstArray s a -> Bool # (/=) :: ConstArray s a -> ConstArray s a -> Bool #

newtype ConstByteArray s Source #

Constructors

ConstByteArray
Fields unsafeConstByteArrayMutableByteArray :: MutableByteArray s

Instances

Eq (ConstByteArray s) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstByteArray s -> ConstByteArray s -> Bool # (/=) :: ConstByteArray s -> ConstByteArray s -> Bool #
Constable ConstByteArray MutableByteArray Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstByteArray ConstByteArray Source #
Instance details Defined in Data.Const.Unsafe

newtype ConstPrimArray s a Source #

Constructors

ConstPrimArray
Fields unsafeConstPrimArrayMutablePrimArray :: MutablePrimArray s a

Instances

Constable (ConstPrimArray s :: Type -> Type) (ConstPrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstPrimArray s :: Type -> Type) (MutablePrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Eq (ConstPrimArray s a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstPrimArray s a -> ConstPrimArray s a -> Bool # (/=) :: ConstPrimArray s a -> ConstPrimArray s a -> Bool #

newtype ConstMutVar s a Source #

Constructors

ConstMutVar
Fields unsafeConstMutVarMutVar :: MutVar s a

Instances

Constable (ConstMutVar s :: Type -> Type) (ConstMutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstMutVar s :: Type -> Type) (MutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Eq (ConstMutVar s a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstMutVar s a -> ConstMutVar s a -> Bool # (/=) :: ConstMutVar s a -> ConstMutVar s a -> Bool #

newtype ConstIORef a Source #

Constructors

ConstIORef
Fields unsafeConstIORefIORef :: IORef a

Instances

Eq (ConstIORef a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstIORef a -> ConstIORef a -> Bool # (/=) :: ConstIORef a -> ConstIORef a -> Bool #
Constable ConstIORef IORef Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstIORef ConstIORef Source #
Instance details Defined in Data.Const.Unsafe

newtype ConstSTRef s a Source #

Constructors

ConstSTRef
Fields unsafeConstSTRefSTRef :: STRef s a

Instances

Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Eq (ConstSTRef s a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: ConstSTRef s a -> ConstSTRef s a -> Bool # (/=) :: ConstSTRef s a -> ConstSTRef s a -> Bool #

newtype SmallConstArray s a Source #

Constructors

SmallConstArray
Fields unsafeSmallConstArraySmallMutableArray :: SmallMutableArray s a

Instances

Constable (SmallConstArray s :: Type -> Type) (SmallConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (SmallConstArray s :: Type -> Type) (SmallMutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Eq (SmallConstArray s a) Source #
Instance details Defined in Data.Const.Unsafe Methods (==) :: SmallConstArray s a -> SmallConstArray s a -> Bool # (/=) :: SmallConstArray s a -> SmallConstArray s a -> Bool #

type ConstCString = ConstPtr CChar Source #

type ConstCStringLen = (ConstCString, Int) Source #

type ConstCWString = ConstPtr CWchar Source #

type ConstCWStringLen = (ConstCWString, Int) Source #

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

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

type APtr = Constable ConstPtr Source #

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

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

type AForeignPtr = Constable ConstForeignPtr Source #

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

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

type AnArray s = Constable (ConstArray s) Source #

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

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

type AByteArray = Constable ConstByteArray Source #

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

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

type APrimArray s = Constable (ConstPrimArray s) Source #

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

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

type ASmallArray s = Constable (SmallConstArray s) Source #

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

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

type AMutVar s = Constable (ConstMutVar s) Source #

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

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

type AnIORef = Constable ConstIORef Source #

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

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

type AnSTRef s = Constable (ConstSTRef s) Source #

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

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

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

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

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

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