Data.XCB.Types

Defines types inteneded to be equivalent to the schema used by the XCB project in their XML protocol description.

Documentation

type XHeader = GenXHeader Type

type XDecl = GenXDecl Type

type StructElem = GenStructElem Type

type XEnumElem = EnumElem Type

type BitCase = GenBitCase Type

type XidUnionElem = GenXidUnionElem Type

type XReply = GenXReply Type

type XExpression = Expression Type

data GenXHeader typ

This is what a single XML file maps to. It contains some meta-data then declarations.

Constructors

XHeader

Fields

• xheader_header :: Name

  Name of module. Used in the other modules as a reference.

• xheader_xname :: Maybe Name

  Name used to indentify extensions between the X client and server.

• xheader_name :: Maybe Name

  InterCaps name.

• xheader_multiword :: Maybe Bool
• xheader_major_version :: Maybe Int
• xheader_minor_version :: Maybe Int
• xheader_decls :: [GenXDecl typ]

  Declarations contained in this module.

Instances

Functor GenXHeader

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenXHeader a -> GenXHeader b

(<$) :: a -> GenXHeader b -> GenXHeader a

Show typ => Show (GenXHeader typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenXHeader typ -> ShowS

show :: GenXHeader typ -> String

showList :: [GenXHeader typ] -> ShowS

Pretty a => Pretty (GenXHeader a)

Defined in Data.XCB.Pretty

Methods

toDoc :: GenXHeader a -> Doc

pretty :: GenXHeader a -> String

data GenXDecl typ

The different types of declarations which can be made in one of the XML files.

Constructors

XStruct Name (Maybe Alignment) [GenStructElem typ]

XTypeDef Name typ

XEvent Name Int (Maybe Alignment) (Maybe Bool) [GenStructElem typ] (Maybe Bool)

bools: #1 if xge is true; #2 if the event includes a sequence number.

XRequest Name Int (Maybe Alignment) [GenStructElem typ] (Maybe (GenXReply typ))

XidType Name

XidUnion Name [GenXidUnionElem typ]

XEnum Name [EnumElem typ]

XUnion Name (Maybe Alignment) [GenStructElem typ]

XImport Name

XError Name Int (Maybe Alignment) [GenStructElem typ]

XEventStruct Name [AllowedEvent]

Instances

Functor GenXDecl

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenXDecl a -> GenXDecl b

(<$) :: a -> GenXDecl b -> GenXDecl a

Show typ => Show (GenXDecl typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenXDecl typ -> ShowS

show :: GenXDecl typ -> String

showList :: [GenXDecl typ] -> ShowS

Pretty a => Pretty (GenXDecl a)

Defined in Data.XCB.Pretty

Methods

toDoc :: GenXDecl a -> Doc

pretty :: GenXDecl a -> String

data GenStructElem typ

Constructors

Pad PadType Int

List Name typ (Maybe (Expression typ)) (Maybe (EnumVals typ))

SField Name typ (Maybe (EnumVals typ)) (Maybe (MaskVals typ))

ExprField Name typ (Expression typ)

ValueParam typ Name (Maybe MaskPadding) ListName

Switch Name (Expression typ) (Maybe Alignment) [GenBitCase typ]

Doc (Maybe String) (Map Name String) [(String, String)]

Fd String

Length typ (Expression typ)

Instances

Functor GenStructElem

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenStructElem a -> GenStructElem b

(<$) :: a -> GenStructElem b -> GenStructElem a

Show typ => Show (GenStructElem typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenStructElem typ -> ShowS

show :: GenStructElem typ -> String

showList :: [GenStructElem typ] -> ShowS

Pretty a => Pretty (GenStructElem a)

Defined in Data.XCB.Pretty

Methods

toDoc :: GenStructElem a -> Doc

pretty :: GenStructElem a -> String

data GenBitCase typ

Constructors

BitCase (Maybe Name) (Expression typ) (Maybe Alignment) [GenStructElem typ]

Instances

Functor GenBitCase

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenBitCase a -> GenBitCase b

(<$) :: a -> GenBitCase b -> GenBitCase a

Show typ => Show (GenBitCase typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenBitCase typ -> ShowS

show :: GenBitCase typ -> String

showList :: [GenBitCase typ] -> ShowS

Pretty a => Pretty (GenBitCase a)

Defined in Data.XCB.Pretty

Methods

toDoc :: GenBitCase a -> Doc

pretty :: GenBitCase a -> String

data GenXReply typ

Constructors

GenXReply (Maybe Alignment) [GenStructElem typ]

Instances

Functor GenXReply

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenXReply a -> GenXReply b

(<$) :: a -> GenXReply b -> GenXReply a

Show typ => Show (GenXReply typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenXReply typ -> ShowS

show :: GenXReply typ -> String

showList :: [GenXReply typ] -> ShowS

data GenXidUnionElem typ

Constructors

XidUnionElem typ

Instances

Functor GenXidUnionElem

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> GenXidUnionElem a -> GenXidUnionElem b

(<$) :: a -> GenXidUnionElem b -> GenXidUnionElem a

Show typ => Show (GenXidUnionElem typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> GenXidUnionElem typ -> ShowS

show :: GenXidUnionElem typ -> String

showList :: [GenXidUnionElem typ] -> ShowS

Pretty a => Pretty (GenXidUnionElem a)

Defined in Data.XCB.Pretty

Methods

toDoc :: GenXidUnionElem a -> Doc

pretty :: GenXidUnionElem a -> String

data EnumElem typ

Constructors

EnumElem Name (Maybe (Expression typ))

Instances

Functor EnumElem

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> EnumElem a -> EnumElem b

(<$) :: a -> EnumElem b -> EnumElem a

Show typ => Show (EnumElem typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> EnumElem typ -> ShowS

show :: EnumElem typ -> String

showList :: [EnumElem typ] -> ShowS

Pretty a => Pretty (EnumElem a)

Defined in Data.XCB.Pretty

Methods

toDoc :: EnumElem a -> Doc

pretty :: EnumElem a -> String

data Expression typ

Declarations may contain expressions from this small language

Constructors

Value Int

A literal value

Bit Int

A log-base-2 literal value

FieldRef Name

A reference to a field in the same declaration

EnumRef typ Name

A reference to a member of an enum.

PopCount (Expression typ)

Calculate the number of set bits in the argument

SumOf Name

Note sure. The argument should be a reference to a list

Op Binop (Expression typ) (Expression typ)

A binary opeation

Unop Unop (Expression typ)

A unary operation

ParamRef Name

I think this is the name of an argument passed to the request. See fffbd04d63 in xcb-proto.

Instances

Functor Expression

Defined in Data.XCB.Types

Methods

fmap :: (a -> b) -> Expression a -> Expression b

(<$) :: a -> Expression b -> Expression a

Show typ => Show (Expression typ)

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> Expression typ -> ShowS

show :: Expression typ -> String

showList :: [Expression typ] -> ShowS

Pretty a => Pretty (Expression a)

Defined in Data.XCB.Pretty

Methods

toDoc :: Expression a -> Doc

pretty :: Expression a -> String

data Binop

Supported Binary operations.

Constructors

Add

Sub

Mult

Div

And

RShift

Instances

Show Binop

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> Binop -> ShowS

show :: Binop -> String

showList :: [Binop] -> ShowS

Pretty Binop

Defined in Data.XCB.Pretty

Methods

toDoc :: Binop -> Doc

pretty :: Binop -> String

data Unop

Constructors

Complement

Instances

Show Unop

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> Unop -> ShowS

show :: Unop -> String

showList :: [Unop] -> ShowS

Pretty Unop

Defined in Data.XCB.Pretty

Methods

toDoc :: Unop -> Doc

pretty :: Unop -> String

data Type

Types may include a reference to the containing module.

Constructors

UnQualType Name

QualType Name Name

Instances

Show Type

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Eq Type

Defined in Data.XCB.Types

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

Defined in Data.XCB.Types

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Pretty Type

Defined in Data.XCB.Pretty

Methods

toDoc :: Type -> Doc

pretty :: Type -> String

type EnumVals typ = typ

type MaskVals typ = typ

type Name = String

type Ref = String

type MaskName = Name

type ListName = Name

type MaskPadding = Int

data Alignment

Constructors

Alignment Int Int

Instances

Show Alignment

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> Alignment -> ShowS

show :: Alignment -> String

showList :: [Alignment] -> ShowS

Pretty Alignment

Defined in Data.XCB.Pretty

Methods

toDoc :: Alignment -> Doc

pretty :: Alignment -> String

data AllowedEvent

Constructors

AllowedEvent Name Bool Int Int

Instances

Show AllowedEvent

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> AllowedEvent -> ShowS

show :: AllowedEvent -> String

showList :: [AllowedEvent] -> ShowS

Pretty AllowedEvent

Defined in Data.XCB.Pretty

Methods

toDoc :: AllowedEvent -> Doc

pretty :: AllowedEvent -> String

data PadType

Constructors

PadBytes

PadAlignment

Instances

Show PadType

Defined in Data.XCB.Types

Methods

showsPrec :: Int -> PadType -> ShowS

show :: PadType -> String

showList :: [PadType] -> ShowS

Pretty PadType

Defined in Data.XCB.Pretty

Methods

toDoc :: PadType -> Doc

pretty :: PadType -> String