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
- permissionAllowed :: AttrLabelProxy "allowed"
- data PermissionCanAcquirePropertyInfo
- getPermissionCanAcquire :: (MonadIO m, PermissionK o) => o -> m Bool
- permissionCanAcquire :: AttrLabelProxy "canAcquire"
- data PermissionCanReleasePropertyInfo
- getPermissionCanRelease :: (MonadIO m, PermissionK o) => o -> m Bool
- permissionCanRelease :: AttrLabelProxy "canRelease"
Exported types
newtype Permission Source
GObject Permission | |
((~) * info (ResolvePermissionMethod t Permission), MethodInfo * info Permission p) => IsLabelProxy t (Permission -> p) | |
type ParentTypes Permission | |
type AttributeList Permission | |
type SignalList Permission |
class GObject o => PermissionK o Source
(GObject o, IsDescendantOf Permission o) => PermissionK o |
toPermission :: PermissionK o => o -> IO Permission Source
Methods
permissionAcquire
data PermissionAcquireMethodInfo Source
((~) * signature (Maybe b -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo * PermissionAcquireMethodInfo a signature |
permissionAcquire :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m () Source
permissionAcquireAsync
data PermissionAcquireAsyncMethodInfo Source
((~) * signature (Maybe b -> Maybe AsyncReadyCallback -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo * PermissionAcquireAsyncMethodInfo a signature |
permissionAcquireAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m () Source
permissionAcquireFinish
data PermissionAcquireFinishMethodInfo Source
((~) * signature (b -> m ()), MonadIO m, PermissionK a, AsyncResultK b) => MethodInfo * PermissionAcquireFinishMethodInfo a signature |
permissionAcquireFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m () Source
permissionGetAllowed
data PermissionGetAllowedMethodInfo Source
((~) * signature (m Bool), MonadIO m, PermissionK a) => MethodInfo * PermissionGetAllowedMethodInfo a signature |
permissionGetAllowed :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionGetCanAcquire
data PermissionGetCanAcquireMethodInfo Source
((~) * signature (m Bool), MonadIO m, PermissionK a) => MethodInfo * PermissionGetCanAcquireMethodInfo a signature |
permissionGetCanAcquire :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionGetCanRelease
data PermissionGetCanReleaseMethodInfo Source
((~) * signature (m Bool), MonadIO m, PermissionK a) => MethodInfo * PermissionGetCanReleaseMethodInfo a signature |
permissionGetCanRelease :: (MonadIO m, PermissionK a) => a -> m Bool Source
permissionImplUpdate
data PermissionImplUpdateMethodInfo Source
((~) * signature (Bool -> Bool -> Bool -> m ()), MonadIO m, PermissionK a) => MethodInfo * PermissionImplUpdateMethodInfo a signature |
permissionImplUpdate :: (MonadIO m, PermissionK a) => a -> Bool -> Bool -> Bool -> m () Source
permissionRelease
data PermissionReleaseMethodInfo Source
((~) * signature (Maybe b -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo * PermissionReleaseMethodInfo a signature |
permissionRelease :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> m () Source
permissionReleaseAsync
data PermissionReleaseAsyncMethodInfo Source
((~) * signature (Maybe b -> Maybe AsyncReadyCallback -> m ()), MonadIO m, PermissionK a, CancellableK b) => MethodInfo * PermissionReleaseAsyncMethodInfo a signature |
permissionReleaseAsync :: (MonadIO m, PermissionK a, CancellableK b) => a -> Maybe b -> Maybe AsyncReadyCallback -> m () Source
permissionReleaseFinish
data PermissionReleaseFinishMethodInfo Source
((~) * signature (b -> m ()), MonadIO m, PermissionK a, AsyncResultK b) => MethodInfo * PermissionReleaseFinishMethodInfo a signature |
permissionReleaseFinish :: (MonadIO m, PermissionK a, AsyncResultK b) => a -> b -> m () Source
Properties
Allowed
data PermissionAllowedPropertyInfo Source
AttrInfo PermissionAllowedPropertyInfo | |
type AttrLabel PermissionAllowedPropertyInfo = "allowed" | |
type AttrGetType PermissionAllowedPropertyInfo = Bool | |
type AttrBaseTypeConstraint PermissionAllowedPropertyInfo = PermissionK | |
type AttrSetTypeConstraint PermissionAllowedPropertyInfo = * ~ () | |
type AttrAllowedOps PermissionAllowedPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getPermissionAllowed :: (MonadIO m, PermissionK o) => o -> m Bool Source
permissionAllowed :: AttrLabelProxy "allowed" Source
CanAcquire
data PermissionCanAcquirePropertyInfo Source
AttrInfo PermissionCanAcquirePropertyInfo | |
type AttrLabel PermissionCanAcquirePropertyInfo = "can-acquire" | |
type AttrGetType PermissionCanAcquirePropertyInfo = Bool | |
type AttrBaseTypeConstraint PermissionCanAcquirePropertyInfo = PermissionK | |
type AttrSetTypeConstraint PermissionCanAcquirePropertyInfo = * ~ () | |
type AttrAllowedOps PermissionCanAcquirePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getPermissionCanAcquire :: (MonadIO m, PermissionK o) => o -> m Bool Source
permissionCanAcquire :: AttrLabelProxy "canAcquire" Source
CanRelease
data PermissionCanReleasePropertyInfo Source
AttrInfo PermissionCanReleasePropertyInfo | |
type AttrLabel PermissionCanReleasePropertyInfo = "can-release" | |
type AttrGetType PermissionCanReleasePropertyInfo = Bool | |
type AttrBaseTypeConstraint PermissionCanReleasePropertyInfo = PermissionK | |
type AttrSetTypeConstraint PermissionCanReleasePropertyInfo = * ~ () | |
type AttrAllowedOps PermissionCanReleasePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) |
getPermissionCanRelease :: (MonadIO m, PermissionK o) => o -> m Bool Source
permissionCanRelease :: AttrLabelProxy "canRelease" Source