Language.Thrift.Types

Documentation

data Program srcAnnot

Constructors

Program

Fields

programHeaders :: [Header]

programDefinitions :: [Definition srcAnnot]

Instances

Eq srcAnnot => Eq (Program srcAnnot)

Data srcAnnot => Data (Program srcAnnot)

Ord srcAnnot => Ord (Program srcAnnot)

Show srcAnnot => Show (Program srcAnnot)

Generic (Program srcAnnot)

Typeable (* -> *) Program

type Rep (Program srcAnnot)

data Header

Constructors

Include

Fields

includePath :: Text

Namespace

Fields

namespaceLanguage :: Text

namespaceName :: Text

Instances

Eq Header

Data Header

Ord Header

Show Header

Generic Header

Typeable * Header

type Rep Header

data Definition srcAnnot

Constructors

ConstDefinition

Fields

constType :: FieldType

constName :: Text

constValue :: ConstValue

constSrcAnnot :: srcAnnot

TypeDefinition

Fields

typeDefinition :: Type srcAnnot

typeAnnotations :: [TypeAnnotation]

ServiceDefinition

Fields

serviceName :: Text

serviceExtends :: Maybe Text

serviceFunctions :: [Function srcAnnot]

serviceAnnotations :: [TypeAnnotation]

serviceSrcAnnot :: srcAnnot

Instances

Eq srcAnnot => Eq (Definition srcAnnot)

Data srcAnnot => Data (Definition srcAnnot)

Ord srcAnnot => Ord (Definition srcAnnot)

Show srcAnnot => Show (Definition srcAnnot)

Generic (Definition srcAnnot)

Typeable (* -> *) Definition

type Rep (Definition srcAnnot)

data Type srcAnnot

Constructors

Typedef

Fields

typedefType :: FieldType

typedefName :: Text

typedefSrcAnnot :: srcAnnot

Enum

Fields

enumName :: Text

enumValues :: [EnumDef srcAnnot]

enumSrcAnnot :: srcAnnot

Struct

Fields

structName :: Text

structFields :: [Field srcAnnot]

structSrcAnnot :: srcAnnot

Union

Fields

unionName :: Text

unionFields :: [Field srcAnnot]

unionSrcAnnot :: srcAnnot

Exception

Fields

exceptionName :: Text

exceptionFields :: [Field srcAnnot]

exceptionSrcAnnot :: srcAnnot

Senum

Fields

senumName :: Text

senumValues :: [Text]

senumSrcAnnot :: srcAnnot

Instances

Eq srcAnnot => Eq (Type srcAnnot)

Data srcAnnot => Data (Type srcAnnot)

Ord srcAnnot => Ord (Type srcAnnot)

Show srcAnnot => Show (Type srcAnnot)

Generic (Type srcAnnot)

Typeable (* -> *) Type

type Rep (Type srcAnnot)

data FieldRequiredness

Constructors

Required

Optional

Instances

Eq FieldRequiredness

Data FieldRequiredness

Ord FieldRequiredness

Show FieldRequiredness

Generic FieldRequiredness

Typeable * FieldRequiredness

type Rep FieldRequiredness

data Field srcAnnot

Constructors

Field

Fields

fieldIdentifier :: Maybe Integer

fieldRequiredNess :: Maybe FieldRequiredness

fieldType :: FieldType

fieldName :: Text

fieldDefault :: Maybe ConstValue

fieldAnnotations :: [TypeAnnotation]

fieldSrcAnnot :: srcAnnot

Instances

Eq srcAnnot => Eq (Field srcAnnot)

Data srcAnnot => Data (Field srcAnnot)

Ord srcAnnot => Ord (Field srcAnnot)

Show srcAnnot => Show (Field srcAnnot)

Generic (Field srcAnnot)

Typeable (* -> *) Field

type Rep (Field srcAnnot)

data EnumDef srcAnnot

Constructors

EnumDef

Fields

enumDefName :: Text

enumDefValue :: Maybe Integer

enumDefAnnotations :: [TypeAnnotation]

enumDefSrcAnnot :: srcAnnot

Instances

Eq srcAnnot => Eq (EnumDef srcAnnot)

Data srcAnnot => Data (EnumDef srcAnnot)

Ord srcAnnot => Ord (EnumDef srcAnnot)

Show srcAnnot => Show (EnumDef srcAnnot)

Generic (EnumDef srcAnnot)

Typeable (* -> *) EnumDef

type Rep (EnumDef srcAnnot)

data ConstValue

Constructors

ConstInt Integer

ConstFloat Double

ConstLiteral Text

ConstIdentifier Text

ConstList [ConstValue]

ConstMap [(ConstValue, ConstValue)]

Instances

Eq ConstValue

Data ConstValue

Ord ConstValue

Show ConstValue

Generic ConstValue

Typeable * ConstValue

type Rep ConstValue

data FieldType

Constructors

DefinedType Text

StringType [TypeAnnotation]

BinaryType [TypeAnnotation]

SListType [TypeAnnotation]

BoolType [TypeAnnotation]

ByteType [TypeAnnotation]

I16Type [TypeAnnotation]

I32Type [TypeAnnotation]

I64Type [TypeAnnotation]

DoubleType [TypeAnnotation]

MapType FieldType FieldType [TypeAnnotation]

SetType FieldType [TypeAnnotation]

ListType FieldType [TypeAnnotation]

Instances

Eq FieldType

Data FieldType

Ord FieldType

Show FieldType

Generic FieldType

Typeable * FieldType

type Rep FieldType

data Function srcAnnot

Constructors

Function

Fields

functionOneWay :: Bool

functionReturnType :: Maybe FieldType

functionName :: Text

functionParameters :: [Field srcAnnot]

functionExceptions :: Maybe [Field srcAnnot]

functionAnnotations :: [TypeAnnotation]

functionSrcAnnot :: srcAnnot

Instances

Eq srcAnnot => Eq (Function srcAnnot)

Data srcAnnot => Data (Function srcAnnot)

Ord srcAnnot => Ord (Function srcAnnot)

Show srcAnnot => Show (Function srcAnnot)

Generic (Function srcAnnot)

Typeable (* -> *) Function

type Rep (Function srcAnnot)

data TypeAnnotation

Constructors

TypeAnnotation

Fields

typeAnnotationName :: Text

typeAnnotationValue :: Text

Instances

Eq TypeAnnotation

Data TypeAnnotation

Ord TypeAnnotation

Show TypeAnnotation

Generic TypeAnnotation

Typeable * TypeAnnotation

type Rep TypeAnnotation

type Docstring = Maybe Text