Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SpirV.Reflect.TypeDescription

Documentation

data TypeDescription Source #

Constructors

TypeDescription
Fields id :: Maybe Word32 op :: Maybe Op type_name :: Maybe Text struct_member_name :: Maybe Text storage_class :: StorageClass type_flags :: TypeFlags traits :: Maybe Traits members :: Vector TypeDescription

Instances

Instances details

Generic TypeDescription Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Associated Types type Rep TypeDescription :: Type -> Type # Methods from :: TypeDescription -> Rep TypeDescription x # to :: Rep TypeDescription x -> TypeDescription #
Show TypeDescription Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Methods showsPrec :: Int -> TypeDescription -> ShowS # show :: TypeDescription -> String # showList :: [TypeDescription] -> ShowS #
Eq TypeDescription Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Methods (==) :: TypeDescription -> TypeDescription -> Bool # (/=) :: TypeDescription -> TypeDescription -> Bool #
type Rep TypeDescription Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription type Rep TypeDescription = D1 ('MetaData "TypeDescription" "Data.SpirV.Reflect.TypeDescription" "spirv-reflect-types-0.2-4qH5LVRcOpML0ZdVMzyXs4" 'False) (C1 ('MetaCons "TypeDescription" 'PrefixI 'True) (((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word32)) :: S1 ('MetaSel ('Just "op") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Op))) :: (S1 ('MetaSel ('Just "type_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "struct_member_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))) :: ((S1 ('MetaSel ('Just "storage_class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StorageClass) :: S1 ('MetaSel ('Just "type_flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TypeFlags)) :: (S1 ('MetaSel ('Just "traits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Traits)) :*: S1 ('MetaSel ('Just "members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector TypeDescription))))))

data Traits Source #

Constructors

Traits
Fields numeric :: Numeric image :: Image array :: Array

Instances

Instances details

Generic Traits Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Associated Types type Rep Traits :: Type -> Type # Methods from :: Traits -> Rep Traits x # to :: Rep Traits x -> Traits #
Show Traits Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Methods showsPrec :: Int -> Traits -> ShowS # show :: Traits -> String # showList :: [Traits] -> ShowS #
Eq Traits Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription Methods (==) :: Traits -> Traits -> Bool # (/=) :: Traits -> Traits -> Bool #
type Rep Traits Source #
Instance details Defined in Data.SpirV.Reflect.TypeDescription type Rep Traits = D1 ('MetaData "Traits" "Data.SpirV.Reflect.TypeDescription" "spirv-reflect-types-0.2-4qH5LVRcOpML0ZdVMzyXs4" 'False) (C1 ('MetaCons "Traits" 'PrefixI 'True) (S1 ('MetaSel ('Just "numeric") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Numeric) :: (S1 ('MetaSel ('Just "image") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Image) :: S1 ('MetaSel ('Just "array") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Array))))