ogma-language-copilot-1.3.0: Ogma: Runtime Monitor translator: Copilot Language Endpoints
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Copilot.CStruct

Contents

Description

Copilot's representation and conversion of C Structs from C's AST.

Synopsis

CStruct

data CStruct Source #

A C struct is a name and fields with different types.

Constructors

CStruct 

Instances

Instances details
Show CStruct Source # 
Instance details

Defined in Language.Copilot.CStruct

Eq CStruct Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

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

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

data CField Source #

A field may have a name and a type, or be an array with a name, type and length. Pointers are not currently supported.

Instances

Instances details
Show CField Source # 
Instance details

Defined in Language.Copilot.CStruct

Eq CField Source # 
Instance details

Defined in Language.Copilot.CStruct

Methods

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

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