butler-0.0.1.0: At your service.
Safe HaskellSafe-Inferred
LanguageGHC2021

Butler.Window

Documentation

data Window #

Constructors

Window 

Fields

Instances

Instances details
Generic Window # 
Instance details

Defined in Butler.Window

Associated Types

type Rep Window :: Type -> Type #

Methods

from :: Window -> Rep Window x #

to :: Rep Window x -> Window #

Eq Window # 
Instance details

Defined in Butler.Window

Methods

(==) :: Window -> Window -> Bool #

(/=) :: Window -> Window -> Bool #

Serialise Window # 
Instance details

Defined in Butler.Window

Methods

encode :: Window -> Encoding #

decode :: Decoder s Window #

encodeList :: [Window] -> Encoding #

decodeList :: Decoder s [Window] #

type Rep Window # 
Instance details

Defined in Butler.Window

type Rep Window = D1 ('MetaData "Window" "Butler.Window" "butler-0.0.1.0-inplace" 'False) (C1 ('MetaCons "Window" 'PrefixI 'True) (S1 ('MetaSel ('Just "position") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Int)) :*: (S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Int)) :*: S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data WindowsState #

Constructors

WindowsState 

Fields

Instances

Instances details
Generic WindowsState # 
Instance details

Defined in Butler.Window

Associated Types

type Rep WindowsState :: Type -> Type #

Methods

from :: WindowsState -> Rep WindowsState x #

to :: Rep WindowsState x -> WindowsState #

Serialise WindowsState # 
Instance details

Defined in Butler.Window

Methods

encode :: WindowsState -> Encoding #

decode :: Decoder s WindowsState #

encodeList :: [WindowsState] -> Encoding #

decodeList :: Decoder s [WindowsState] #

type Rep WindowsState # 
Instance details

Defined in Butler.Window

type Rep WindowsState = D1 ('MetaData "WindowsState" "Butler.Window" "butler-0.0.1.0-inplace" 'False) (C1 ('MetaCons "WindowsState" 'PrefixI 'True) (S1 ('MetaSel ('Just "windows") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap Window)) :*: (S1 ('MetaSel ('Just "maxID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WinID) :*: S1 ('MetaSel ('Just "focus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WinID)))))

type Windows = MemoryVar WindowsState #

data WindowManager #

Constructors

WindowManager 

Fields

newWindowManager :: WinID -> ProcessIO WindowManager #

getWindowIDs :: Windows -> STM [WinID] #

newWindows :: WinID -> WindowsState #

addWindowApp :: WindowManager -> WinID -> Process -> STM () #

delWindowApp :: WindowManager -> WinID -> STM () #

lookupWindow :: Windows -> WinID -> STM (Maybe Window) #

deleteWindow :: Windows -> WinID -> STM () #

updateWindow :: Windows -> WinID -> (Window -> Window) -> STM Bool #

newWindow :: Windows -> Text -> STM (WinID, Window) #

renderWindows :: WinID -> Windows -> HtmlT STM () #

windowScript :: WinID -> Text #

renderWindow :: (WinID, Window) -> Text #