module Display(openDisplay) where import Command import Event --import Font(FontStruct) --import Fudget --import Geometry(Line, Point, Rect, Size(..)) --import LayoutRequest(LayoutRequest) import Xrequest --import Xtypes -- DECONSTR :: (a<->b) -> b -> (Maybe a) openDisplay :: DisplayName -> Cont (F b c) Display openDisplay DisplayName name = forall {a} {b} {c}. XRequest -> (XResponse -> Maybe a) -> Cont (F b c) a xrequestF (DisplayName -> XRequest OpenDisplay DisplayName name) (let e :: XResponse -> Maybe Display e (DisplayOpened Display a) = forall a. a -> Maybe a Just Display a e XResponse _ = forall a. Maybe a Nothing in XResponse -> Maybe Display e)