Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
Safe Haskell | None |
Language | Haskell2010 |
- newtype Permission = Permission (ForeignPtr Permission)
- class GObject o => PermissionK o
- toPermission :: PermissionK o => o -> IO Permission
- noPermission :: Maybe Permission
- data PermissionAcquireMethodInfo
- permissionAcquire :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m ()
- data PermissionAcquireAsyncMethodInfo
- permissionAcquireAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m ()
- data PermissionAcquireFinishMethodInfo
- permissionAcquireFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m ()
- data PermissionGetAllowedMethodInfo
- permissionGetAllowed :: (MonadIO m, PermissionK a) => a -> m Bool
- data PermissionGetCanAcquireMethodInfo
- permissionGetCanAcquire :: (MonadIO m, PermissionK a) => a -> m Bool
- data PermissionGetCanReleaseMethodInfo
- permissionGetCanRelease :: (MonadIO m, PermissionK a) => a -> m Bool
- data PermissionImplUpdateMethodInfo
- permissionImplUpdate :: (MonadIO m, PermissionK a) => a -> Bool -> Bool -> Bool -> m ()
- data PermissionReleaseMethodInfo
- permissionRelease :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m ()
- data PermissionReleaseAsyncMethodInfo
- permissionReleaseAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m ()
- data PermissionReleaseFinishMethodInfo
- permissionReleaseFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m ()
- data PermissionAllowedPropertyInfo
- getPermissionAllowed :: (MonadIO m, PermissionK o) => o -> m Bool
- data PermissionCanAcquirePropertyInfo
- getPermissionCanAcquire :: (MonadIO m, PermissionK o) => o -> m Bool
- data PermissionCanReleasePropertyInfo
- getPermissionCanRelease :: (MonadIO m, PermissionK o) => o -> m Bool
Exported types
newtype Permission Source
GObject Permission Source | |
((~) * info (ResolvePermissionMethod t Permission), MethodInfo * info Permission p) => IsLabel t (Permission -> p) Source | |
((~) * info (ResolvePermissionMethod t Permission), MethodInfo * info Permission p) => IsLabelProxy t (Permission -> p) Source | |
type ParentTypes Permission Source | |
type AttributeList Permission Source | |
type SignalList Permission Source |
class GObject o => PermissionK o Source
(GObject o, IsDescendantOf Permission o) => PermissionK o Source | |
toPermission :: PermissionK o => o -> IO Permission Source
Methods
permissionAcquire
data PermissionAcquireMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo (TYPE Lifted) PermissionAcquireMethodInfo a signature Source | |
permissionAcquire :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m () Source
permissionAcquireAsync
data PermissionAcquireAsyncMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> Maybe AsyncReadyCallback -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo (TYPE Lifted) PermissionAcquireAsyncMethodInfo a signature Source | |
permissionAcquireAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m () Source
permissionAcquireFinish
data PermissionAcquireFinishMethodInfo Source
((~) (TYPE Lifted) signature (b -> m ()), MonadIO m, PermissionK a, AsyncResultK b) => MethodInfo (TYPE Lifted) PermissionAcquireFinishMethodInfo a signature Source | |
permissionAcquireFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m () Source
permissionGetAllowed
data PermissionGetAllowedMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, PermissionK a) => MethodInfo (TYPE Lifted) PermissionGetAllowedMethodInfo a signature Source | |
permissionGetAllowed :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionGetCanAcquire
data PermissionGetCanAcquireMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, PermissionK a) => MethodInfo (TYPE Lifted) PermissionGetCanAcquireMethodInfo a signature Source | |
permissionGetCanAcquire :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionGetCanRelease
data PermissionGetCanReleaseMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, PermissionK a) => MethodInfo (TYPE Lifted) PermissionGetCanReleaseMethodInfo a signature Source | |
permissionGetCanRelease :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionImplUpdate
data PermissionImplUpdateMethodInfo Source
((~) (TYPE Lifted) signature (Bool -> Bool -> Bool -> m ()), MonadIO m, PermissionK a) => MethodInfo (TYPE Lifted) PermissionImplUpdateMethodInfo a signature Source | |
permissionImplUpdate :: (MonadIO m, PermissionK a) => a -> Bool -> Bool -> Bool -> m () Source
permissionRelease
data PermissionReleaseMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo (TYPE Lifted) PermissionReleaseMethodInfo a signature Source | |
permissionRelease :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m () Source
permissionReleaseAsync
data PermissionReleaseAsyncMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> Maybe AsyncReadyCallback -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo (TYPE Lifted) PermissionReleaseAsyncMethodInfo a signature Source | |
permissionReleaseAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m () Source
permissionReleaseFinish
data PermissionReleaseFinishMethodInfo Source
((~) (TYPE Lifted) signature (b -> m ()), MonadIO m, PermissionK a, AsyncResultK b) => MethodInfo (TYPE Lifted) PermissionReleaseFinishMethodInfo a signature Source | |
permissionReleaseFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m () Source
Properties
Allowed
data PermissionAllowedPropertyInfo Source
getPermissionAllowed :: (MonadIO m, PermissionK o) => o -> m Bool Source
CanAcquire
data PermissionCanAcquirePropertyInfo Source
getPermissionCanAcquire :: (MonadIO m, PermissionK o) => o -> m Bool Source
CanRelease
data PermissionCanReleasePropertyInfo Source
getPermissionCanRelease :: (MonadIO m, PermissionK o) => o -> m Bool Source