| 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 |
GI.Gdk.Structs.EventProperty
Description
Describes a property change on a window.
- newtype EventProperty = EventProperty (ForeignPtr EventProperty)
- newZeroEventProperty :: MonadIO m => m EventProperty
- noEventProperty :: Maybe EventProperty
- eventPropertyReadAtom :: EventProperty -> IO Atom
- eventPropertyReadSendEvent :: EventProperty -> IO Int8
- eventPropertyReadState :: EventProperty -> IO PropertyState
- eventPropertyReadTime :: EventProperty -> IO Word32
- eventPropertyReadType :: EventProperty -> IO EventType
- eventPropertyReadWindow :: EventProperty -> IO Window
Exported types
newtype EventProperty Source
Constructors
| EventProperty (ForeignPtr EventProperty) |
Instances
| ((~) * info (ResolveEventPropertyMethod t EventProperty), MethodInfo * info EventProperty p) => IsLabel t (EventProperty -> p) Source | |
| ((~) * info (ResolveEventPropertyMethod t EventProperty), MethodInfo * info EventProperty p) => IsLabelProxy t (EventProperty -> p) Source | |
newZeroEventProperty :: MonadIO m => m EventProperty Source
Construct a EventProperty struct initialized to zero.