The Xlib library reports most errors by invoking a user-provided error handler. This function installs an error handler that prints a textual representation of the error.

setIconName :: Display -> Window -> String -> IO () #

interface to the X11 library function XSetIconName().

setInputFocus :: Display -> Window -> FocusMode -> Time -> IO () #

interface to the X11 library function XSetInputFocus().

setLocaleModifiers :: String -> IO String #

interface to the X11 library function XSetLocaleModifiers().

setScreenSaver :: Display -> CInt -> CInt -> PreferBlankingMode -> AllowExposuresMode -> IO () #

interface to the X11 library function XSetScreenSaver().

setTextProperty :: Display -> Window -> String -> Atom -> IO () #

interface to the X11 library function XSetTextProperty().

setWMProtocols :: Display -> Window -> [Atom] -> IO () #

interface to the X11 library function XSetWMProtocols().

set_background_pixel :: Ptr SetWindowAttributes -> Pixel -> IO () #

set_background_pixmap :: Ptr SetWindowAttributes -> Pixmap -> IO () #

set_backing_pixel :: Ptr SetWindowAttributes -> Pixel -> IO () #

set_backing_planes :: Ptr SetWindowAttributes -> Pixel -> IO () #

set_backing_store :: Ptr SetWindowAttributes -> BackingStore -> IO () #

set_bit_gravity :: Ptr SetWindowAttributes -> BitGravity -> IO () #

set_border_pixel :: Ptr SetWindowAttributes -> Pixel -> IO () #

set_border_pixmap :: Ptr SetWindowAttributes -> Pixmap -> IO () #

set_colormap :: Ptr SetWindowAttributes -> Colormap -> IO () #

set_cursor :: Ptr SetWindowAttributes -> Cursor -> IO () #

set_do_not_propagate_mask :: Ptr SetWindowAttributes -> EventMask -> IO () #

set_event_mask :: Ptr SetWindowAttributes -> EventMask -> IO () #

set_override_redirect :: Ptr SetWindowAttributes -> Bool -> IO () #

set_save_under :: Ptr SetWindowAttributes -> Bool -> IO () #

set_win_gravity :: Ptr SetWindowAttributes -> WindowGravity -> IO () #

storeBuffer :: Display -> String -> CInt -> IO () #

interface to the X11 library function XStoreBuffer().

storeBytes :: Display -> String -> IO () #

interface to the X11 library function XStoreBytes().

stringToKeysym :: String -> KeySym #

interface to the X11 library function XStringToKeysym().

supportsLocale :: IO Bool #

interface to the X11 library function XSupportsLocale().

undefineCursor :: Display -> Window -> IO () #

interface to the X11 library function XUndefineCursor().

ungrabButton :: Display -> Button -> ButtonMask -> Window -> IO () #

interface to the X11 library function XUngrabButton().

ungrabKey :: Display -> KeyCode -> KeyMask -> Window -> IO () #

interface to the X11 library function XUngrabKey().

ungrabKeyboard :: Display -> Time -> IO () #

interface to the X11 library function XUngrabKeyboard().

ungrabPointer :: Display -> Time -> IO () #

interface to the X11 library function XUngrabPointer().

ungrabServer :: Display -> IO () #

interface to the X11 library function XUngrabServer().

unlockDisplay :: Display -> IO () #

visualAllMask :: VisualInfoMask #

visualBitsPerRGBMask :: VisualInfoMask #

visualBlueMaskMask :: VisualInfoMask #

interface to the X11 library function XGetVisualInfo()

visualClassMask :: VisualInfoMask #

visualColormapSizeMask :: VisualInfoMask #

visualDepthMask :: VisualInfoMask #

visualGreenMaskMask :: VisualInfoMask #

visualIDFromVisual :: Visual -> IO VisualID #

see XVisualIDFromVisual()

visualIDMask :: VisualInfoMask #

visualNoMask :: VisualInfoMask #

visualRedMaskMask :: VisualInfoMask #

visualScreenMask :: VisualInfoMask #

warpPointer :: Display -> Window -> Window -> Position -> Position -> Dimension -> Dimension -> Position -> Position -> IO () #

interface to the X11 library function XWarpPointer().

clipBox :: Region -> IO (Rectangle, CInt) #

interface to the X11 library function XClipBox().

createRegion :: IO Region #

interface to the X11 library function XCreateRegion().

emptyRegion :: Region -> IO Bool #

interface to the X11 library function XEmptyRegion().

equalRegion :: Region -> Region -> IO Bool #

interface to the X11 library function XEqualRegion().

intersectRegion :: Region -> Region -> Region -> IO CInt #

interface to the X11 library function XIntersectRegion().

offsetRegion :: Region -> Point -> IO CInt #

interface to the X11 library function XOffsetRegion().

pointInRegion :: Region -> Point -> IO Bool #

interface to the X11 library function XPointInRegion().

polygonRegion :: [Point] -> FillRule -> IO Region #

interface to the X11 library function XPolygonRegion().

rectInRegion :: Region -> Rectangle -> IO RectInRegionResult #

interface to the X11 library function XRectInRegion().

rectangleIn :: RectInRegionResult #

rectangleOut :: RectInRegionResult #

rectanglePart :: RectInRegionResult #

setRegion :: Display -> GC -> Region -> IO CInt #

interface to the X11 library function XSetRegion().

shrinkRegion :: Region -> Point -> IO CInt #

interface to the X11 library function XShrinkRegion().

subtractRegion :: Region -> Region -> Region -> IO CInt #

interface to the X11 library function XSubtractRegion().

unionRectWithRegion :: Rectangle -> Region -> Region -> IO CInt #

interface to the X11 library function XUnionRectWithRegion().

unionRegion :: Region -> Region -> Region -> IO CInt #

interface to the X11 library function XUnionRegion().

xorRegion :: Region -> Region -> Region -> IO CInt #

interface to the X11 library function XXorRegion().

blackPixelOfScreen :: Screen -> Pixel #

interface to the X11 library function XBlackPixelOfScreen().

cellsOfScreen :: Screen -> CInt #

interface to the X11 library function XCellsOfScreen().

defaultColormapOfScreen :: Screen -> Colormap #

interface to the X11 library function XDefaultColormapOfScreen().

defaultDepthOfScreen :: Screen -> CInt #

interface to the X11 library function XDefaultDepthOfScreen().

defaultGCOfScreen :: Screen -> GC #

interface to the X11 library function XDefaultGCOfScreen().

defaultVisualOfScreen :: Screen -> Visual #

interface to the X11 library function XDefaultVisualOfScreen().

displayOfScreen :: Screen -> Display #

interface to the X11 library function XDisplayOfScreen().

doesBackingStore :: Screen -> Bool #

interface to the X11 library function XDoesBackingStore().

doesSaveUnders :: Screen -> Bool #

interface to the X11 library function XDoesSaveUnders().

eventMaskOfScreen :: Screen -> EventMask #

interface to the X11 library function XEventMaskOfScreen(). Event mask at connection setup time - not current event mask!

heightMMOfScreen :: Screen -> Dimension #

interface to the X11 library function XHeightMMOfScreen().

heightOfScreen :: Screen -> Dimension #

interface to the X11 library function XHeightOfScreen().

maxCmapsOfScreen :: Screen -> CInt #

interface to the X11 library function XMaxCmapsOfScreen().

minCmapsOfScreen :: Screen -> CInt #

interface to the X11 library function XMinCmapsOfScreen().

planesOfScreen :: Screen -> CInt #

interface to the X11 library function XPlanesOfScreen().

rootWindowOfScreen :: Screen -> Window #

interface to the X11 library function XRootWindowOfScreen().

screenNumberOfScreen :: Screen -> ScreenNumber #

interface to the X11 library function XScreenNumberOfScreen().

whitePixelOfScreen :: Screen -> Pixel #

interface to the X11 library function XWhitePixelOfScreen().

widthMMOfScreen :: Screen -> Dimension #

interface to the X11 library function XWidthMMOfScreen().

widthOfScreen :: Screen -> Dimension #

interface to the X11 library function XWidthOfScreen().

addToSaveSet :: Display -> Window -> IO () #

interface to the X11 library function XAddToSaveSet().

changeSaveSet :: Display -> Window -> ChangeSaveSetMode -> IO () #

interface to the X11 library function XChangeSaveSet().

circulateSubwindows :: Display -> Window -> CirculationDirection -> IO () #

interface to the X11 library function XCirculateSubwindows().

circulateSubwindowsDown :: Display -> Window -> IO () #

interface to the X11 library function XCirculateSubwindowsDown().

circulateSubwindowsUp :: Display -> Window -> IO () #

interface to the X11 library function XCirculateSubwindowsUp().

clearArea :: Display -> Window -> Position -> Position -> Dimension -> Dimension -> Bool -> IO () #

interface to the X11 library function XClearArea().

clearWindow :: Display -> Window -> IO () #

interface to the X11 library function XClearWindow().

createSimpleWindow :: Display -> Window -> Position -> Position -> Dimension -> Dimension -> CInt -> Pixel -> Pixel -> IO Window #

interface to the X11 library function XCreateSimpleWindow().

createWindow :: Display -> Window -> Position -> Position -> Dimension -> Dimension -> CInt -> CInt -> WindowClass -> Visual -> AttributeMask -> Ptr SetWindowAttributes -> IO Window #

interface to the X11 library function XCreateWindow().

destroySubwindows :: Display -> Window -> IO () #

interface to the X11 library function XDestroySubwindows().

destroyWindow :: Display -> Window -> IO () #

interface to the X11 library function XDestroyWindow().

iconifyWindow :: Display -> Window -> ScreenNumber -> IO () #

interface to the X11 library function XIconifyWindow().

lowerWindow :: Display -> Window -> IO () #

interface to the X11 library function XLowerWindow().

mapSubwindows :: Display -> Window -> IO () #

interface to the X11 library function XMapSubwindows().

mapWindow :: Display -> Window -> IO () #

interface to the X11 library function XMapWindow().

moveResizeWindow :: Display -> Window -> Position -> Position -> Dimension -> Dimension -> IO () #

interface to the X11 library function XMoveResizeWindow().

moveWindow :: Display -> Window -> Position -> Position -> IO () #

interface to the X11 library function XMoveWindow().

raiseWindow :: Display -> Window -> IO () #

interface to the X11 library function XRaiseWindow().

removeFromSaveSet :: Display -> Window -> IO () #

interface to the X11 library function XRemoveFromSaveSet().

reparentWindow :: Display -> Window -> Window -> Position -> Position -> IO () #

interface to the X11 library function XReparentWindow().

resizeWindow :: Display -> Window -> Dimension -> Dimension -> IO () #

interface to the X11 library function XResizeWindow().

restackWindows :: Display -> [Window] -> IO () #

interface to the X11 library function XRestackWindows().

setWindowBackground :: Display -> Window -> Pixel -> IO () #

interface to the X11 library function XSetWindowBackground().

setWindowBackgroundPixmap :: Display -> Window -> Pixmap -> IO () #

interface to the X11 library function XSetWindowBackgroundPixmap().

setWindowBorder :: Display -> Window -> Pixel -> IO () #

interface to the X11 library function XSetWindowBorder().

setWindowBorderPixmap :: Display -> Window -> Pixmap -> IO () #

interface to the X11 library function XSetWindowBorderPixmap().

setWindowBorderWidth :: Display -> Window -> Dimension -> IO () #

interface to the X11 library function XSetWindowBorderWidth().

setWindowColormap :: Display -> Window -> Colormap -> IO () #

interface to the X11 library function XSetWindowColormap().

storeName :: Display -> Window -> String -> IO () #

interface to the X11 library function XStoreName().

translateCoordinates :: Display -> Window -> Window -> Position -> Position -> IO (Bool, Position, Position, Window) #

interface to the X11 library function XTranslateCoordinates().

unmapSubwindows :: Display -> Window -> IO () #

interface to the X11 library function XUnmapSubwindows().

withdrawWindow :: Display -> Window -> ScreenNumber -> IO () #

interface to the X11 library function XWithdrawWindow().

type AllowEvents = CInt #

type ArcMode = CInt #

type Atom = Word64 #

type AttributeMask = Mask #

type BackingStore = CInt #

type BitGravity = CInt #

type Button = Word32 #

type ButtonMask = Modifier #

type ByteOrder = CInt #

type CapStyle = CInt #

type ChangeSaveSetMode = CInt #

type CirculationDirection = CInt #

type CloseDownMode = CInt #

type Colormap = XID #

type ColormapAlloc = CInt #

type ColormapNotification = CInt #

type Connection = Word16 #

type CoordinateMode = CInt #

type Cursor = XID #

type Drawable = XID #

type ErrorCode = CInt #

type EventMask = Mask #

type EventType = Word32 #

type FillRule = CInt #

type FillStyle = CInt #

type FocusMode = CInt #

type Font = XID #

type FontDirection = CInt #

type GCMask = CInt #

type GContext = XID #

type GXFunction = CInt #

type GrabMode = CInt #

type GrabStatus = CInt #

type ImageFormat = CInt #

type JoinStyle = CInt #

type KeyCode = Word8 #

type KeyMask = Modifier #

type KeySym = XID #

type LineStyle = CInt #

type MappingRequest = CInt #

type Mask = Word64 #

type Modifier = CUInt #

type NotifyDetail = CInt #

type NotifyMode = CInt #

type Pixmap = XID #

type Place = CInt #

Place of window relative to siblings (used in Circulation requests or events)

type PolygonShape = CInt #

type PropertyNotification = CInt #

type Protocol = CInt #

type QueryBestSizeClass = CInt #

type RRCrtc = Word64 #

type RRMode = Word64 #

type RROutput = Word64 #

type Reflection = Word16 #

type Rotation = Word16 #

type SizeID = Word16 #

type Status = CInt #

type SubWindowMode = CInt #

type SubpixelOrder = Word16 #

type Time = Word64 #

type Visibility = CInt #

type VisualID = Word64 #

type Window = XID #

type WindowClass = CInt #

type WindowGravity = CInt #

type XID = Word64 #

type XRRModeFlags = Word64 #

type QueuedMode = CInt #

type XButtonEvent = (Window, Window, Time, CInt, CInt, CInt, CInt, Modifier, Button, Bool) #

type XConfigureEvent = (Position, Position, Dimension, Dimension) #

newtype XEvent #

Constructors

XEvent XEventPtr

Instances

Instances details

Data XEvent #
Instance details Defined in Graphics.X11.Xlib.Event Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> XEvent -> c XEvent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c XEvent # toConstr :: XEvent -> Constr # dataTypeOf :: XEvent -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c XEvent) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c XEvent) # gmapT :: (forall b. Data b => b -> b) -> XEvent -> XEvent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> XEvent -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> XEvent -> r # gmapQ :: (forall d. Data d => d -> u) -> XEvent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> XEvent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> XEvent -> m XEvent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> XEvent -> m XEvent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> XEvent -> m XEvent #
Show XEvent #
Instance details Defined in Graphics.X11.Xlib.Event Methods showsPrec :: Int -> XEvent -> ShowS # show :: XEvent -> String # showList :: [XEvent] -> ShowS #
Eq XEvent #
Instance details Defined in Graphics.X11.Xlib.Event Methods (==) :: XEvent -> XEvent -> Bool # (/=) :: XEvent -> XEvent -> Bool #
Ord XEvent #
Instance details Defined in Graphics.X11.Xlib.Event Methods compare :: XEvent -> XEvent -> Ordering # (<) :: XEvent -> XEvent -> Bool # (<=) :: XEvent -> XEvent -> Bool # (>) :: XEvent -> XEvent -> Bool # (>=) :: XEvent -> XEvent -> Bool # max :: XEvent -> XEvent -> XEvent # min :: XEvent -> XEvent -> XEvent #

type XEventPtr = Ptr XEvent #

type XExposeEvent = (Position, Position, Dimension, Dimension, CInt) #

type XKeyEvent = (Window, Window, Time, CInt, CInt, CInt, CInt, Modifier, KeyCode, Bool) #

type XKeyEventPtr = Ptr XKeyEvent #

type XMappingEvent = (MappingRequest, KeyCode, CInt) #

type XMotionEvent = (Window, Window, Time, CInt, CInt, CInt, CInt, Modifier, NotifyMode, Bool) #

type CharStruct = (CInt, CInt, CInt, CInt, CInt) #

data FontStruct #

pointer to an X11 XFontStruct structure

Instances

Instances details

Data FontStruct #
Instance details Defined in Graphics.X11.Xlib.Font Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FontStruct -> c FontStruct # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FontStruct # toConstr :: FontStruct -> Constr # dataTypeOf :: FontStruct -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FontStruct) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FontStruct) # gmapT :: (forall b. Data b => b -> b) -> FontStruct -> FontStruct # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FontStruct -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FontStruct -> r # gmapQ :: (forall d. Data d => d -> u) -> FontStruct -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FontStruct -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FontStruct -> m FontStruct # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FontStruct -> m FontStruct # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FontStruct -> m FontStruct #
Show FontStruct #
Instance details Defined in Graphics.X11.Xlib.Font Methods showsPrec :: Int -> FontStruct -> ShowS # show :: FontStruct -> String # showList :: [FontStruct] -> ShowS #
Eq FontStruct #
Instance details Defined in Graphics.X11.Xlib.Font Methods (==) :: FontStruct -> FontStruct -> Bool # (/=) :: FontStruct -> FontStruct -> Bool #
Ord FontStruct #
Instance details Defined in Graphics.X11.Xlib.Font Methods compare :: FontStruct -> FontStruct -> Ordering # (<) :: FontStruct -> FontStruct -> Bool # (<=) :: FontStruct -> FontStruct -> Bool # (>) :: FontStruct -> FontStruct -> Bool # (>=) :: FontStruct -> FontStruct -> Bool # max :: FontStruct -> FontStruct -> FontStruct # min :: FontStruct -> FontStruct -> FontStruct #

type Glyph = Word16 #

type AllowExposuresMode = CInt #

type PreferBlankingMode = CInt #

type ScreenSaverMode = CInt #

type VisualInfoMask = CLong #

type RectInRegionResult = CInt #

data Region #

Instances

Instances details

Data Region #
Instance details Defined in Graphics.X11.Xlib.Region Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Region -> c Region # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Region # toConstr :: Region -> Constr # dataTypeOf :: Region -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Region) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Region) # gmapT :: (forall b. Data b => b -> b) -> Region -> Region # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQ :: (forall d. Data d => d -> u) -> Region -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Region -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region #
Show Region #
Instance details Defined in Graphics.X11.Xlib.Region Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Eq Region #
Instance details Defined in Graphics.X11.Xlib.Region Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Ord Region #
Instance details Defined in Graphics.X11.Xlib.Region Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #

type Angle = CInt #

data Arc #

counterpart of an X11 XArc structure

Constructors

Arc
Fields arc_x :: Position arc_y :: Position arc_width :: Dimension arc_height :: Dimension arc_angle1 :: Angle arc_angle2 :: Angle

Instances

Instances details

Storable Arc #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: Arc -> Int # alignment :: Arc -> Int # peekElemOff :: Ptr Arc -> Int -> IO Arc # pokeElemOff :: Ptr Arc -> Int -> Arc -> IO () # peekByteOff :: Ptr b -> Int -> IO Arc # pokeByteOff :: Ptr b -> Int -> Arc -> IO () # peek :: Ptr Arc -> IO Arc # poke :: Ptr Arc -> Arc -> IO () #
Show Arc #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Arc -> ShowS # show :: Arc -> String # showList :: [Arc] -> ShowS #
Eq Arc #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Arc -> Arc -> Bool # (/=) :: Arc -> Arc -> Bool #

type Buffer = CInt #

data Color #

counterpart of an X11 XColor structure

Constructors

Color
Fields color_pixel :: Pixel color_red :: Word16 color_green :: Word16 color_blue :: Word16 color_flags :: Word8

Instances

Instances details

Data Color #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Color -> c Color # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Color # toConstr :: Color -> Constr # dataTypeOf :: Color -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Color) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Color) # gmapT :: (forall b. Data b => b -> b) -> Color -> Color # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r # gmapQ :: (forall d. Data d => d -> u) -> Color -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Color -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Color -> m Color # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color #
Storable Color #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: Color -> Int # alignment :: Color -> Int # peekElemOff :: Ptr Color -> Int -> IO Color # pokeElemOff :: Ptr Color -> Int -> Color -> IO () # peekByteOff :: Ptr b -> Int -> IO Color # pokeByteOff :: Ptr b -> Int -> Color -> IO () # peek :: Ptr Color -> IO Color # poke :: Ptr Color -> Color -> IO () #
Show Color #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Color -> ShowS # show :: Color -> String # showList :: [Color] -> ShowS #
Eq Color #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Color -> Color -> Bool # (/=) :: Color -> Color -> Bool #

type Dimension = Word32 #

newtype Display #

pointer to an X11 Display structure

Constructors

Display (Ptr Display)

Instances

Instances details

Data Display #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Display -> c Display # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Display # toConstr :: Display -> Constr # dataTypeOf :: Display -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Display) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Display) # gmapT :: (forall b. Data b => b -> b) -> Display -> Display # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Display -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Display -> r # gmapQ :: (forall d. Data d => d -> u) -> Display -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Display -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Display -> m Display # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Display -> m Display # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Display -> m Display #
Show Display #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Display -> ShowS # show :: Display -> String # showList :: [Display] -> ShowS #
Eq Display #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Display -> Display -> Bool # (/=) :: Display -> Display -> Bool #
Ord Display #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: Display -> Display -> Ordering # (<) :: Display -> Display -> Bool # (<=) :: Display -> Display -> Bool # (>) :: Display -> Display -> Bool # (>=) :: Display -> Display -> Bool # max :: Display -> Display -> Display # min :: Display -> Display -> Display #

data GC #

pointer to an X11 GC structure

Instances

Instances details

Data GC #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GC -> c GC # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GC # toConstr :: GC -> Constr # dataTypeOf :: GC -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GC) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GC) # gmapT :: (forall b. Data b => b -> b) -> GC -> GC # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GC -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GC -> r # gmapQ :: (forall d. Data d => d -> u) -> GC -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GC -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GC -> m GC # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GC -> m GC # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GC -> m GC #
Show GC #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> GC -> ShowS # show :: GC -> String # showList :: [GC] -> ShowS #
Eq GC #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: GC -> GC -> Bool # (/=) :: GC -> GC -> Bool #
Ord GC #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: GC -> GC -> Ordering # (<) :: GC -> GC -> Bool # (<=) :: GC -> GC -> Bool # (>) :: GC -> GC -> Bool # (>=) :: GC -> GC -> Bool # max :: GC -> GC -> GC # min :: GC -> GC -> GC #

data Image #

pointer to an X11 XImage structure

Instances

Instances details

Data Image #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Image -> c Image # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Image # toConstr :: Image -> Constr # dataTypeOf :: Image -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Image) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Image) # gmapT :: (forall b. Data b => b -> b) -> Image -> Image # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r # gmapQ :: (forall d. Data d => d -> u) -> Image -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Image -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Image -> m Image # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image #
Show Image #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Image -> ShowS # show :: Image -> String # showList :: [Image] -> ShowS #
Eq Image #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Image -> Image -> Bool # (/=) :: Image -> Image -> Bool #
Ord Image #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: Image -> Image -> Ordering # (<) :: Image -> Image -> Bool # (<=) :: Image -> Image -> Bool # (>) :: Image -> Image -> Bool # (>=) :: Image -> Image -> Bool # max :: Image -> Image -> Image # min :: Image -> Image -> Image #

type Pixel = Word64 #

data Point #

counterpart of an X11 XPoint structure

Constructors

Point
Fields pt_x :: !Position pt_y :: !Position

Instances

Instances details

Data Point #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Point -> c Point # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Point # toConstr :: Point -> Constr # dataTypeOf :: Point -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Point) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Point) # gmapT :: (forall b. Data b => b -> b) -> Point -> Point # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r # gmapQ :: (forall d. Data d => d -> u) -> Point -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Point -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Point -> m Point # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point #
Storable Point #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: Point -> Int # alignment :: Point -> Int # peekElemOff :: Ptr Point -> Int -> IO Point # pokeElemOff :: Ptr Point -> Int -> Point -> IO () # peekByteOff :: Ptr b -> Int -> IO Point # pokeByteOff :: Ptr b -> Int -> Point -> IO () # peek :: Ptr Point -> IO Point # poke :: Ptr Point -> Point -> IO () #
Show Point #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Eq Point #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Point -> Point -> Bool # (/=) :: Point -> Point -> Bool #

type Position = Int32 #

data Rectangle #

counterpart of an X11 XRectangle structure

Constructors

Rectangle
Fields rect_x :: !Position rect_y :: !Position rect_width :: !Dimension rect_height :: !Dimension

Instances

Instances details

Data Rectangle #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rectangle -> c Rectangle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rectangle # toConstr :: Rectangle -> Constr # dataTypeOf :: Rectangle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rectangle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rectangle) # gmapT :: (forall b. Data b => b -> b) -> Rectangle -> Rectangle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rectangle -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rectangle -> r # gmapQ :: (forall d. Data d => d -> u) -> Rectangle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Rectangle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle #
Storable Rectangle #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: Rectangle -> Int # alignment :: Rectangle -> Int # peekElemOff :: Ptr Rectangle -> Int -> IO Rectangle # pokeElemOff :: Ptr Rectangle -> Int -> Rectangle -> IO () # peekByteOff :: Ptr b -> Int -> IO Rectangle # pokeByteOff :: Ptr b -> Int -> Rectangle -> IO () # peek :: Ptr Rectangle -> IO Rectangle # poke :: Ptr Rectangle -> Rectangle -> IO () #
Read Rectangle #
Instance details Defined in Graphics.X11.Xlib.Types Methods readsPrec :: Int -> ReadS Rectangle # readList :: ReadS [Rectangle] # readPrec :: ReadPrec Rectangle # readListPrec :: ReadPrec [Rectangle] #
Show Rectangle #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Rectangle -> ShowS # show :: Rectangle -> String # showList :: [Rectangle] -> ShowS #
Eq Rectangle #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Rectangle -> Rectangle -> Bool # (/=) :: Rectangle -> Rectangle -> Bool #

data Screen #

pointer to an X11 Screen structure

Instances

Instances details

Data Screen #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Screen -> c Screen # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Screen # toConstr :: Screen -> Constr # dataTypeOf :: Screen -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Screen) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Screen) # gmapT :: (forall b. Data b => b -> b) -> Screen -> Screen # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Screen -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Screen -> r # gmapQ :: (forall d. Data d => d -> u) -> Screen -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Screen -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Screen -> m Screen # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Screen -> m Screen # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Screen -> m Screen #
Show Screen #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Screen -> ShowS # show :: Screen -> String # showList :: [Screen] -> ShowS #
Eq Screen #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Screen -> Screen -> Bool # (/=) :: Screen -> Screen -> Bool #
Ord Screen #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: Screen -> Screen -> Ordering # (<) :: Screen -> Screen -> Bool # (<=) :: Screen -> Screen -> Bool # (>) :: Screen -> Screen -> Bool # (>=) :: Screen -> Screen -> Bool # max :: Screen -> Screen -> Screen # min :: Screen -> Screen -> Screen #

type ScreenNumber = Word32 #

data Segment #

counterpart of an X11 XSegment structure

Constructors

Segment
Fields seg_x1 :: Position seg_y1 :: Position seg_x2 :: Position seg_y2 :: Position

Instances

Instances details

Data Segment #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Segment -> c Segment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Segment # toConstr :: Segment -> Constr # dataTypeOf :: Segment -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Segment) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Segment) # gmapT :: (forall b. Data b => b -> b) -> Segment -> Segment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r # gmapQ :: (forall d. Data d => d -> u) -> Segment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Segment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Segment -> m Segment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment #
Storable Segment #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: Segment -> Int # alignment :: Segment -> Int # peekElemOff :: Ptr Segment -> Int -> IO Segment # pokeElemOff :: Ptr Segment -> Int -> Segment -> IO () # peekByteOff :: Ptr b -> Int -> IO Segment # pokeByteOff :: Ptr b -> Int -> Segment -> IO () # peek :: Ptr Segment -> IO Segment # poke :: Ptr Segment -> Segment -> IO () #
Show Segment #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Segment -> ShowS # show :: Segment -> String # showList :: [Segment] -> ShowS #
Eq Segment #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Segment -> Segment -> Bool # (/=) :: Segment -> Segment -> Bool #

data SetWindowAttributes #

pointer to an X11 XSetWindowAttributes structure

Instances

Instances details

Data SetWindowAttributes #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetWindowAttributes -> c SetWindowAttributes # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetWindowAttributes # toConstr :: SetWindowAttributes -> Constr # dataTypeOf :: SetWindowAttributes -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetWindowAttributes) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetWindowAttributes) # gmapT :: (forall b. Data b => b -> b) -> SetWindowAttributes -> SetWindowAttributes # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetWindowAttributes -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetWindowAttributes -> r # gmapQ :: (forall d. Data d => d -> u) -> SetWindowAttributes -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SetWindowAttributes -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes #
Show SetWindowAttributes #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> SetWindowAttributes -> ShowS # show :: SetWindowAttributes -> String # showList :: [SetWindowAttributes] -> ShowS #
Eq SetWindowAttributes #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: SetWindowAttributes -> SetWindowAttributes -> Bool # (/=) :: SetWindowAttributes -> SetWindowAttributes -> Bool #
Ord SetWindowAttributes #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: SetWindowAttributes -> SetWindowAttributes -> Ordering # (<) :: SetWindowAttributes -> SetWindowAttributes -> Bool # (<=) :: SetWindowAttributes -> SetWindowAttributes -> Bool # (>) :: SetWindowAttributes -> SetWindowAttributes -> Bool # (>=) :: SetWindowAttributes -> SetWindowAttributes -> Bool # max :: SetWindowAttributes -> SetWindowAttributes -> SetWindowAttributes # min :: SetWindowAttributes -> SetWindowAttributes -> SetWindowAttributes #

data Visual #

pointer to an X11 Visual structure

Instances

Instances details

Data Visual #
Instance details Defined in Graphics.X11.Xlib.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Visual -> c Visual # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Visual # toConstr :: Visual -> Constr # dataTypeOf :: Visual -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Visual) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Visual) # gmapT :: (forall b. Data b => b -> b) -> Visual -> Visual # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Visual -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Visual -> r # gmapQ :: (forall d. Data d => d -> u) -> Visual -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Visual -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Visual -> m Visual # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Visual -> m Visual # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Visual -> m Visual #
Show Visual #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> Visual -> ShowS # show :: Visual -> String # showList :: [Visual] -> ShowS #
Eq Visual #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: Visual -> Visual -> Bool # (/=) :: Visual -> Visual -> Bool #
Ord Visual #
Instance details Defined in Graphics.X11.Xlib.Types Methods compare :: Visual -> Visual -> Ordering # (<) :: Visual -> Visual -> Bool # (<=) :: Visual -> Visual -> Bool # (>) :: Visual -> Visual -> Bool # (>=) :: Visual -> Visual -> Bool # max :: Visual -> Visual -> Visual # min :: Visual -> Visual -> Visual #

data VisualInfo #

counterpart of an X11 XVisualInfo structure

Constructors

VisualInfo
Fields visualInfo_visual :: Visual visualInfo_visualID :: VisualID visualInfo_screen :: ScreenNumber visualInfo_depth :: CInt visualInfo_class :: CInt visualInfo_redMask :: CULong visualInfo_greenMask :: CULong visualInfo_blueMask :: CULong visualInfo_colormapSize :: CInt visualInfo_bitsPerRGB :: CInt

Instances

Instances details

Default VisualInfo #
Instance details Defined in Graphics.X11.Xlib.Types Methods def :: VisualInfo #
Storable VisualInfo #
Instance details Defined in Graphics.X11.Xlib.Types Methods sizeOf :: VisualInfo -> Int # alignment :: VisualInfo -> Int # peekElemOff :: Ptr VisualInfo -> Int -> IO VisualInfo # pokeElemOff :: Ptr VisualInfo -> Int -> VisualInfo -> IO () # peekByteOff :: Ptr b -> Int -> IO VisualInfo # pokeByteOff :: Ptr b -> Int -> VisualInfo -> IO () # peek :: Ptr VisualInfo -> IO VisualInfo # poke :: Ptr VisualInfo -> VisualInfo -> IO () #
Show VisualInfo #
Instance details Defined in Graphics.X11.Xlib.Types Methods showsPrec :: Int -> VisualInfo -> ShowS # show :: VisualInfo -> String # showList :: [VisualInfo] -> ShowS #
Eq VisualInfo #
Instance details Defined in Graphics.X11.Xlib.Types Methods (==) :: VisualInfo -> VisualInfo -> Bool # (/=) :: VisualInfo -> VisualInfo -> Bool #

module Graphics.X11.Xlib.Extras

(.|.) :: Bits a => a -> a -> a infixl 5 #

Bitwise "or"

class Monad m => MonadState s (m :: Type -> Type) | m -> s where #

Minimal definition is either both of get and put or just state

Minimal complete definition

state | get, put

Methods

get :: m s #

Return the state from the internals of the monad.

put :: s -> m () #

Replace the state inside the monad.

state :: (s -> (a, s)) -> m a #

Embed a simple state action into the monad.

Instances

Instances details

MonadState XState X Source #
Instance details Defined in XMonad.Core Methods get :: X XState # put :: XState -> X () # state :: (XState -> (a, XState)) -> X a #
MonadState s m => MonadState s (MaybeT m) #
Instance details Defined in Control.Monad.State.Class Methods get :: MaybeT m s # put :: s -> MaybeT m () # state :: (s -> (a, s)) -> MaybeT m a #
(Monoid w, MonadState s m) => MonadState s (AccumT w m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.State.Class Methods get :: AccumT w m s # put :: s -> AccumT w m () # state :: (s -> (a, s)) -> AccumT w m a #
MonadState s m => MonadState s (ExceptT e m) #	Since: mtl-2.2
Instance details Defined in Control.Monad.State.Class Methods get :: ExceptT e m s # put :: s -> ExceptT e m () # state :: (s -> (a, s)) -> ExceptT e m a #
MonadState s m => MonadState s (IdentityT m) #
Instance details Defined in Control.Monad.State.Class Methods get :: IdentityT m s # put :: s -> IdentityT m () # state :: (s -> (a, s)) -> IdentityT m a #
MonadState s m => MonadState s (ReaderT r m) #
Instance details Defined in Control.Monad.State.Class Methods get :: ReaderT r m s # put :: s -> ReaderT r m () # state :: (s -> (a, s)) -> ReaderT r m a #
MonadState s m => MonadState s (SelectT r m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.State.Class Methods get :: SelectT r m s # put :: s -> SelectT r m () # state :: (s -> (a, s)) -> SelectT r m a #
Monad m => MonadState s (StateT s m) #
Instance details Defined in Control.Monad.State.Class Methods get :: StateT s m s # put :: s -> StateT s m () # state :: (s -> (a, s)) -> StateT s m a #
Monad m => MonadState s (StateT s m) #
Instance details Defined in Control.Monad.State.Class Methods get :: StateT s m s # put :: s -> StateT s m () # state :: (s -> (a, s)) -> StateT s m a #
(Monoid w, MonadState s m) => MonadState s (WriterT w m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.State.Class Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a #
(Monoid w, MonadState s m) => MonadState s (WriterT w m) #
Instance details Defined in Control.Monad.State.Class Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a #
(Monoid w, MonadState s m) => MonadState s (WriterT w m) #
Instance details Defined in Control.Monad.State.Class Methods get :: WriterT w m s # put :: s -> WriterT w m () # state :: (s -> (a, s)) -> WriterT w m a #
MonadState s m => MonadState s (ContT r m) #
Instance details Defined in Control.Monad.State.Class Methods get :: ContT r m s # put :: s -> ContT r m () # state :: (s -> (a, s)) -> ContT r m a #
(Monad m, Monoid w) => MonadState s (RWST r w s m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a #
(Monad m, Monoid w) => MonadState s (RWST r w s m) #
Instance details Defined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a #
(Monad m, Monoid w) => MonadState s (RWST r w s m) #
Instance details Defined in Control.Monad.State.Class Methods get :: RWST r w s m s # put :: s -> RWST r w s m () # state :: (s -> (a, s)) -> RWST r w s m a #

gets :: MonadState s m => (s -> a) -> m a #

Gets specific component of the state, using a projection function supplied.

modify :: MonadState s m => (s -> s) -> m () #

Monadic state transformer.

Maps an old state to a new state inside a state monad. The old state is thrown away.

     Main> :t modify ((+1) :: Int -> Int)
     modify (...) :: (MonadState Int a) => a ()

This says that modify (+1) acts over any Monad that is a member of the MonadState class, with an Int state.

class Monad m => MonadReader r (m :: Type -> Type) | m -> r where #

See examples in Control.Monad.Reader. Note, the partially applied function type (->) r is a simple reader monad. See the instance declaration below.

Minimal complete definition

(ask | reader), local

Methods

ask :: m r #

Retrieves the monad environment.

local #

Arguments

:: (r -> r)	The function to modify the environment.
-> m a	`Reader` to run in the modified environment.
-> m a

Executes a computation in a modified environment.

reader #

Arguments

:: (r -> a)	The selector function to apply to the environment.
-> m a

Retrieves a function of the current environment.

Instances

Instances details

MonadReader Window Query Source #
Instance details Defined in XMonad.Core Methods ask :: Query Window # local :: (Window -> Window) -> Query a -> Query a # reader :: (Window -> a) -> Query a #
MonadReader XConf X Source #
Instance details Defined in XMonad.Core Methods ask :: X XConf # local :: (XConf -> XConf) -> X a -> X a # reader :: (XConf -> a) -> X a #
MonadReader r m => MonadReader r (MaybeT m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: MaybeT m r # local :: (r -> r) -> MaybeT m a -> MaybeT m a # reader :: (r -> a) -> MaybeT m a #
(Monoid w, MonadReader r m) => MonadReader r (AccumT w m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.Reader.Class Methods ask :: AccumT w m r # local :: (r -> r) -> AccumT w m a -> AccumT w m a # reader :: (r -> a) -> AccumT w m a #
MonadReader r m => MonadReader r (ExceptT e m) #	Since: mtl-2.2
Instance details Defined in Control.Monad.Reader.Class Methods ask :: ExceptT e m r # local :: (r -> r) -> ExceptT e m a -> ExceptT e m a # reader :: (r -> a) -> ExceptT e m a #
MonadReader r m => MonadReader r (IdentityT m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: IdentityT m r # local :: (r -> r) -> IdentityT m a -> IdentityT m a # reader :: (r -> a) -> IdentityT m a #
Monad m => MonadReader r (ReaderT r m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: ReaderT r m r # local :: (r -> r) -> ReaderT r m a -> ReaderT r m a # reader :: (r -> a) -> ReaderT r m a #
MonadReader r m => MonadReader r (StateT s m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: StateT s m r # local :: (r -> r) -> StateT s m a -> StateT s m a # reader :: (r -> a) -> StateT s m a #
MonadReader r m => MonadReader r (StateT s m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: StateT s m r # local :: (r -> r) -> StateT s m a -> StateT s m a # reader :: (r -> a) -> StateT s m a #
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.Reader.Class Methods ask :: WriterT w m r # local :: (r -> r) -> WriterT w m a -> WriterT w m a # reader :: (r -> a) -> WriterT w m a #
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: WriterT w m r # local :: (r -> r) -> WriterT w m a -> WriterT w m a # reader :: (r -> a) -> WriterT w m a #
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: WriterT w m r # local :: (r -> r) -> WriterT w m a -> WriterT w m a # reader :: (r -> a) -> WriterT w m a #
MonadReader r' m => MonadReader r' (SelectT r m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.Reader.Class Methods ask :: SelectT r m r' # local :: (r' -> r') -> SelectT r m a -> SelectT r m a # reader :: (r' -> a) -> SelectT r m a #
MonadReader r ((->) r) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: r -> r # local :: (r -> r) -> (r -> a) -> r -> a # reader :: (r -> a) -> r -> a #
MonadReader r' m => MonadReader r' (ContT r m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: ContT r m r' # local :: (r' -> r') -> ContT r m a -> ContT r m a # reader :: (r' -> a) -> ContT r m a #
(Monad m, Monoid w) => MonadReader r (RWST r w s m) #	Since: mtl-2.3
Instance details Defined in Control.Monad.Reader.Class Methods ask :: RWST r w s m r # local :: (r -> r) -> RWST r w s m a -> RWST r w s m a # reader :: (r -> a) -> RWST r w s m a #
(Monad m, Monoid w) => MonadReader r (RWST r w s m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: RWST r w s m r # local :: (r -> r) -> RWST r w s m a -> RWST r w s m a # reader :: (r -> a) -> RWST r w s m a #
(Monad m, Monoid w) => MonadReader r (RWST r w s m) #
Instance details Defined in Control.Monad.Reader.Class Methods ask :: RWST r w s m r # local :: (r -> r) -> RWST r w s m a -> RWST r w s m a # reader :: (r -> a) -> RWST r w s m a #

asks #

Arguments

:: MonadReader r m
=> (r -> a)	The selector function to apply to the environment.
-> m a

Retrieves a function of the current environment.

class Monad m => MonadIO (m :: Type -> Type) where #

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

```
liftIO . return = return
```

liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO :: IO a -> m a #

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

Expand

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

Instances

Instances details

MonadIO Q #
Instance details Defined in GHC.Internal.TH.Syntax Methods liftIO :: IO a -> Q a #
MonadIO IO #	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Control.Monad.IO.Class Methods liftIO :: IO a -> IO a #
MonadIO Query Source #
Instance details Defined in XMonad.Core Methods liftIO :: IO a -> Query a #
MonadIO X Source #
Instance details Defined in XMonad.Core Methods liftIO :: IO a -> X a #
MonadIO m => MonadIO (MaybeT m) #
Instance details Defined in Control.Monad.Trans.Maybe Methods liftIO :: IO a -> MaybeT m a #
(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m) #
Instance details Defined in Control.Monad.Trans.Accum Methods liftIO :: IO a -> AccumT w m a #
MonadIO m => MonadIO (ExceptT e m) #
Instance details Defined in Control.Monad.Trans.Except Methods liftIO :: IO a -> ExceptT e m a #
MonadIO m => MonadIO (IdentityT m) #
Instance details Defined in Control.Monad.Trans.Identity Methods liftIO :: IO a -> IdentityT m a #
MonadIO m => MonadIO (ReaderT r m) #
Instance details Defined in Control.Monad.Trans.Reader Methods liftIO :: IO a -> ReaderT r m a #
MonadIO m => MonadIO (SelectT r m) #
Instance details Defined in Control.Monad.Trans.Select Methods liftIO :: IO a -> SelectT r m a #
MonadIO m => MonadIO (StateT s m) #
Instance details Defined in Control.Monad.Trans.State.Lazy Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (StateT s m) #
Instance details Defined in Control.Monad.Trans.State.Strict Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (WriterT w m) #
Instance details Defined in Control.Monad.Trans.Writer.CPS Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m) #
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m) #
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods liftIO :: IO a -> WriterT w m a #
MonadIO m => MonadIO (ContT r m) #
Instance details Defined in Control.Monad.Trans.Cont Methods liftIO :: IO a -> ContT r m a #
MonadIO m => MonadIO (RWST r w s m) #
Instance details Defined in Control.Monad.Trans.RWS.CPS Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) #
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) #
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods liftIO :: IO a -> RWST r w s m a #