Safe Haskell	Safe
Language	Haskell2010

Language.CSharp.Syntax

Description

This module contains the abstract syntax tree of C#.

Synopsis

Documentation

data CompilationUnit Source #

A compilation unit is the top level definition of a C# program.

Constructors

CompilationUnit [Using] [Declaration]

Instances

Show CompilationUnit Source #
Methods showsPrec :: Int -> CompilationUnit -> ShowS # show :: CompilationUnit -> String # showList :: [CompilationUnit] -> ShowS #
Pretty CompilationUnit Source #
Methods pretty :: CompilationUnit -> Doc Source #

data Using Source #

A using declaration appears within a compilation unit to indicate which namespace to include.

Constructors

Using Name Bool

Instances

Show Using Source #
Methods showsPrec :: Int -> Using -> ShowS # show :: Using -> String # showList :: [Using] -> ShowS #
Pretty Using Source #
Methods pretty :: Using -> Doc Source #
Pretty [Using] Source #
Methods pretty :: [Using] -> Doc Source #

data Declaration Source #

A declaration appears within a compilation unit introducing a namespace, or a type declaration.

Constructors

NamespaceDeclaration [GlobalAttributeSection] Name [Declaration]	A namespace declaration.
TypeDeclaration TypeDeclaration	A type declaration.

Instances

Show Declaration Source #
Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Pretty Declaration Source #
Methods pretty :: Declaration -> Doc Source #
Pretty [Declaration] Source #
Methods pretty :: [Declaration] -> Doc Source #

data TypeDeclaration Source #

A type declaration appears withing a compilation unit, a namespace, or another type declaration. A type declaration introduces a new type which can be either a class, struct, enum, interface or delegate.

Constructors

ClassTypeDeclaration [AttributeSection] [Modifier] Identifier [TypeParameter] [TypeName] [TypeParameterConstraintClause] ClassBody	A class declaration containing its attributes, modifiers, identifier, type parameters, the types it inherits from, the type parameter constaints and its body.
StructTypeDeclaration [AttributeSection] [Modifier] Identifier [TypeParameter] [TypeName] [TypeParameterConstraintClause] StructBody	A struct declaration containing its attributes, modifiers, identifier, type parameters, the types it inherits from, the type parameter constraints and its body.
EnumTypeDeclaration [AttributeSection] [Modifier] Identifier (Maybe IntegralType) EnumBody	An enum declaration containing its attributes, modifiers, identifier, the type it inherits from and its body.
InterfaceTypeDeclaration [AttributeSection] [Modifier] Identifier [VariantTypeParameter] [TypeName] [TypeParameterConstraintClause] InterfaceBody	An interface declaration containing its attributes, modifiers, identifier, the type parameters, the types it inherits from, the type parameter constraints and its body.
DelegateTypeDeclaration [AttributeSection] [Modifier] (Maybe Type) Identifier [VariantTypeParameter] FormalParams [TypeParameterConstraintClause]	A delegate declaration containing its attributes, modifiers, return type, identifier, type parameters, formal parameters and type parameter constraints.

Instances

Show TypeDeclaration Source #
Methods showsPrec :: Int -> TypeDeclaration -> ShowS # show :: TypeDeclaration -> String # showList :: [TypeDeclaration] -> ShowS #
Pretty TypeDeclaration Source #
Methods pretty :: TypeDeclaration -> Doc Source #

newtype ClassBody Source #

A class body appears within a class type declaration.

Constructors

ClassBody [MemberDeclaration]

Instances

Show ClassBody Source #
Methods showsPrec :: Int -> ClassBody -> ShowS # show :: ClassBody -> String # showList :: [ClassBody] -> ShowS #
Pretty ClassBody Source #
Methods pretty :: ClassBody -> Doc Source #

newtype StructBody Source #

A struct body appears within a struct type declaration.

Constructors

StructBody [MemberDeclaration]

Instances

Show StructBody Source #
Methods showsPrec :: Int -> StructBody -> ShowS # show :: StructBody -> String # showList :: [StructBody] -> ShowS #
Pretty StructBody Source #
Methods pretty :: StructBody -> Doc Source #

newtype EnumBody Source #

An enum body appears within an enum type declaration.

Constructors

EnumBody [EnumMemberDeclaration]

Instances

Show EnumBody Source #
Methods showsPrec :: Int -> EnumBody -> ShowS # show :: EnumBody -> String # showList :: [EnumBody] -> ShowS #
Pretty EnumBody Source #
Methods pretty :: EnumBody -> Doc Source #

data EnumMemberDeclaration Source #

An enum member declaration appears within an enum body.

Constructors

EnumMemberDeclaration Identifier (Maybe Expression)

An enum member declaration containing the identifier and its value.

Instances

Show EnumMemberDeclaration Source #
Methods showsPrec :: Int -> EnumMemberDeclaration -> ShowS # show :: EnumMemberDeclaration -> String # showList :: [EnumMemberDeclaration] -> ShowS #
Pretty EnumMemberDeclaration Source #
Methods pretty :: EnumMemberDeclaration -> Doc Source #

newtype InterfaceBody Source #

An interface body appears within an interface type declaration.

Constructors

InterfaceBody [InterfaceMemberDeclaration]

Instances

Show InterfaceBody Source #
Methods showsPrec :: Int -> InterfaceBody -> ShowS # show :: InterfaceBody -> String # showList :: [InterfaceBody] -> ShowS #
Pretty InterfaceBody Source #
Methods pretty :: InterfaceBody -> Doc Source #

data InterfaceMemberDeclaration Source #

An interface member declaration appears within an interface body.

Constructors

InterfaceMethodMemberDeclaration [AttributeSection] [Modifier] (Maybe Type) Identifier [TypeParameter] FormalParams [TypeParameterConstraintClause]	A method declaration containing its attributes, modifiers, return type identifier, type parameters, formal parameters and type parameter constraints.
InterfacePropertyMemberDeclaration [AttributeSection] [Modifier] Type Identifier (Maybe InterfaceAccessor) (Maybe InterfaceAccessor)	A property declaration containing its attributes, modifiers, type identifier and accessor(s). At least one accessor is defined and they can appear in any order.
InterfaceEventMemberDeclaration [AttributeSection] [Modifier] Type Identifier	An event declaration containing its attributes, modifiers, type and identifier.
InterfaceIndexerMemberDeclaration [AttributeSection] [Modifier] Type FormalParams (Maybe InterfaceAccessor) (Maybe InterfaceAccessor)	An indexer declaration containing its attributes, modifiers, type, formal parameters and accessor(s). At least one accessor is defined and they can appear in any order.

Instances

Show InterfaceMemberDeclaration Source #
Methods showsPrec :: Int -> InterfaceMemberDeclaration -> ShowS # show :: InterfaceMemberDeclaration -> String # showList :: [InterfaceMemberDeclaration] -> ShowS #
Pretty InterfaceMemberDeclaration Source #
Methods pretty :: InterfaceMemberDeclaration -> Doc Source #

data MemberDeclaration Source #

A member declaration appears within a class- or struct body.

Constructors

FieldMemberDeclaration [AttributeSection] [Modifier] Type [VariableDeclarator]	A field declaration containing its attributes, modifiers, type and declarator(s).
MethodMemberDeclaration [AttributeSection] [Modifier] (Maybe Type) Name [TypeParameter] FormalParams [TypeParameterConstraintClause] MethodBody	A method declaration containing its attributes, modifiers, return type name, type parameters, formal parameters, type parameter constraints and body.
PropertyMemberDeclaration [AttributeSection] [Modifier] Type Name PropertyBody	A property declaration containing its attributes, modifiers, type, name and body.
EventVariableMemberDeclaration [AttributeSection] [Modifier] Type [VariableDeclarator]	An event declaration containing its attributes, modifiers, type and declarator(s).
EventAccessorMemberDeclaration [AttributeSection] [Modifier] Type Name EventAccessor EventAccessor	An event declaration containing its attributes, modifiers, type, name and accessors. The accessors can appear in any order.
IndexerMemberDeclaration [AttributeSection] [Modifier] IndexerDeclarator IndexerBody	An indexer declaration containing its attributes, modifiers, declarator and body.
OperatorMemberDeclaration [AttributeSection] [Modifier] OperatorDeclarator OperatorBody	An operator declaration containing its attributes, modifiers, declarator and body.
ConstructorMemberDeclaration [AttributeSection] [Modifier] Identifier FormalParams (Maybe ConstructorInitializer) ConstructorBody	A constructor declaration containing its attributes, identifier, formal parameters, the base/this constructor call and body.
DestructorMemberDeclaration [AttributeSection] [Modifier] Identifier DestructorBody	A destructor declaration containing its attributes, modifiers, identifier and body.
TypeMemberDeclaration TypeDeclaration	A nested type declaration.

Instances

Show MemberDeclaration Source #
Methods showsPrec :: Int -> MemberDeclaration -> ShowS # show :: MemberDeclaration -> String # showList :: [MemberDeclaration] -> ShowS #
Pretty MemberDeclaration Source #
Methods pretty :: MemberDeclaration -> Doc Source #

data InterfaceAccessor Source #

A property accessor appears within an property declaration of an interface declaration.

Constructors

GetInterfaceAccessor [AttributeSection]
SetInterfaceAccessor [AttributeSection]

Instances

Show InterfaceAccessor Source #
Methods showsPrec :: Int -> InterfaceAccessor -> ShowS # show :: InterfaceAccessor -> String # showList :: [InterfaceAccessor] -> ShowS #
Pretty InterfaceAccessor Source #
Methods pretty :: InterfaceAccessor -> Doc Source #

data EventAccessor Source #

An event acessor appears within an event declaration.

Constructors

AddEventAccessor [AttributeSection] [Statement]	An add event accessor containing its attributes and statements.
RemoveEventAccessor [AttributeSection] [Statement]	A remove event accessor containing its attributes and statements.

Instances

Show EventAccessor Source #
Methods showsPrec :: Int -> EventAccessor -> ShowS # show :: EventAccessor -> String # showList :: [EventAccessor] -> ShowS #
Pretty EventAccessor Source #
Methods pretty :: EventAccessor -> Doc Source #

data ConstructorInitializer Source #

A constructor initializer appears within a constructor declaration.

Constructors

ConstructorBaseCall [Argument]
ConstructorThisCall [Argument]

Instances

Show ConstructorInitializer Source #
Methods showsPrec :: Int -> ConstructorInitializer -> ShowS # show :: ConstructorInitializer -> String # showList :: [ConstructorInitializer] -> ShowS #
Pretty ConstructorInitializer Source #
Methods pretty :: ConstructorInitializer -> Doc Source #

data Argument Source #

An argument appears within any kind of method invocation.

Constructors

Argument (Maybe Identifier) Expression	An argument containing its identifier and expression.
RefArgument (Maybe Identifier) Expression	A ref argument containing its identifier and expression.
OutArgument (Maybe Identifier) Expression	An out argument containing its identifier and expression.

Instances

Show Argument Source #
Methods showsPrec :: Int -> Argument -> ShowS # show :: Argument -> String # showList :: [Argument] -> ShowS #
Pretty Argument Source #
Methods pretty :: Argument -> Doc Source #
Pretty [Argument] Source #
Methods pretty :: [Argument] -> Doc Source #

data OperatorDeclarator Source #

An operator declarator appears within a operator declaration.

Constructors

UnaryOperatorDeclarator Type OverloadableUnaryOperator Type Identifier	An unary operator declaration containing its return type, operator, and formal parameter type and identifier.
BinaryOperatorDeclarator Type BinaryOperator Type Identifier Type Identifier	A binary operator declaration containing its return type, operator, first formal parameter type and identifier, and second formal parameter type and identifier.
ImplicitConversionOperatorDeclarator Type Type Identifier	An implicit conversion declarator containing its return type, and formal parameter type and identifier.
ExplicitConversionOperatorDeclarator Type Type Identifier	An explicit conversion declarator containing its return type, and formal parameter type and identifier.

Instances

Show OperatorDeclarator Source #
Methods showsPrec :: Int -> OperatorDeclarator -> ShowS # show :: OperatorDeclarator -> String # showList :: [OperatorDeclarator] -> ShowS #
Pretty OperatorDeclarator Source #
Methods pretty :: OperatorDeclarator -> Doc Source #

data OverloadableUnaryOperator Source #

An overloadable unary operator appears within a unary operator declarator.

Constructors

OverloadableUnaryPlus
OverloadableUnaryMinus
OverloadableUnaryNot
OverloadableUnaryBitwiseNot
OverloadableUnaryPlusPlus
OverloadableUnaryMinusMinus
OverloadableUnaryTrue
OverloadableUnaryFalse

Instances

Show OverloadableUnaryOperator Source #
Methods showsPrec :: Int -> OverloadableUnaryOperator -> ShowS # show :: OverloadableUnaryOperator -> String # showList :: [OverloadableUnaryOperator] -> ShowS #
Pretty OverloadableUnaryOperator Source #
Methods pretty :: OverloadableUnaryOperator -> Doc Source #

data OperatorBody Source #

An operator body appears within a operator declaration.

Constructors

OperatorStatementBody [Statement]	An operator body containing its statements.
OperatorExpressionBody Expression	An operator body containing its expression.
OperatorNoBody	An operator body without an implementation.

Instances

Show OperatorBody Source #
Methods showsPrec :: Int -> OperatorBody -> ShowS # show :: OperatorBody -> String # showList :: [OperatorBody] -> ShowS #
Pretty OperatorBody Source #
Methods pretty :: OperatorBody -> Doc Source #

newtype ConstructorBody Source #

A constructor body appears within a constructor declaration.

Constructors

ConstructorStatementBody [Statement]

Instances

Show ConstructorBody Source #
Methods showsPrec :: Int -> ConstructorBody -> ShowS # show :: ConstructorBody -> String # showList :: [ConstructorBody] -> ShowS #
Pretty ConstructorBody Source #
Methods pretty :: ConstructorBody -> Doc Source #

newtype DestructorBody Source #

A destructor body appears within a destructor declaration.

Constructors

DestructorStatementBody [Statement]

Instances

Show DestructorBody Source #
Methods showsPrec :: Int -> DestructorBody -> ShowS # show :: DestructorBody -> String # showList :: [DestructorBody] -> ShowS #
Pretty DestructorBody Source #
Methods pretty :: DestructorBody -> Doc Source #

data IndexerBody Source #

A indexer body appears within an indexer declaration.

Constructors

IndexerAccessor (Maybe AccessorDeclaration) (Maybe AccessorDeclaration)	An indexer body containing its accessor(s). At least one accessor is defined and they can appear in any order.
IndexerLambda Expression	An indexer body containing its expression.

Instances

Show IndexerBody Source #
Methods showsPrec :: Int -> IndexerBody -> ShowS # show :: IndexerBody -> String # showList :: [IndexerBody] -> ShowS #
Pretty IndexerBody Source #
Methods pretty :: IndexerBody -> Doc Source #

data IndexerDeclarator Source #

An indexer declarator appears within an indexer declaration.

Constructors

IndexerDeclaratorThis Type FormalParams	An indexer declarator containing its return type and formal parameters.
IndexerDeclaratorInterface Type Type FormalParams	An indexer declarator containing its return type, interface type and formal parameters.

Instances

Show IndexerDeclarator Source #
Methods showsPrec :: Int -> IndexerDeclarator -> ShowS # show :: IndexerDeclarator -> String # showList :: [IndexerDeclarator] -> ShowS #
Pretty IndexerDeclarator Source #
Methods pretty :: IndexerDeclarator -> Doc Source #

data PropertyBody Source #

A property body appears within a property declaration.

Constructors

PropertyBody (Maybe AccessorDeclaration) (Maybe AccessorDeclaration) (Maybe VariableInitializer)	A property body containing its accessor(s) and variable initializer. At least one accessor is defined an they can appear in any order.
PropertyLambda Expression	A propety body containing its expression.

Instances

Show PropertyBody Source #
Methods showsPrec :: Int -> PropertyBody -> ShowS # show :: PropertyBody -> String # showList :: [PropertyBody] -> ShowS #
Pretty PropertyBody Source #
Methods pretty :: PropertyBody -> Doc Source #

data AccessorDeclaration Source #

An accessor declaration appears within a property body.

Constructors

GetAccessorDeclaration [AttributeSection] [Modifier] (Maybe [Statement])	A get propety declaration containing its attributes, modifiers and body.
SetAccessorDeclaration [AttributeSection] [Modifier] (Maybe [Statement])	A set propety declaration containing its attributes, modifiers and body.

Instances

Show AccessorDeclaration Source #
Methods showsPrec :: Int -> AccessorDeclaration -> ShowS # show :: AccessorDeclaration -> String # showList :: [AccessorDeclaration] -> ShowS #
Pretty AccessorDeclaration Source #
Methods pretty :: AccessorDeclaration -> Doc Source #

data MethodBody Source #

A method body appears within a method declaration.

Constructors

MethodStatementBody [Statement]	An method body containing its statements.
MethodExpressionBody Expression	An method body containing its expression.
MethodNoBody	An method body without an implementation.

Instances

Show MethodBody Source #
Methods showsPrec :: Int -> MethodBody -> ShowS # show :: MethodBody -> String # showList :: [MethodBody] -> ShowS #
Pretty MethodBody Source #
Methods pretty :: MethodBody -> Doc Source #

data FormalParams Source #

A formal parameters containing the formal parameters and a params array.

Constructors

FormalParams [FormalParam] (Maybe ParamArray)

Instances

Show FormalParams Source #
Methods showsPrec :: Int -> FormalParams -> ShowS # show :: FormalParams -> String # showList :: [FormalParams] -> ShowS #
Pretty FormalParams Source #
Methods pretty :: FormalParams -> Doc Source #

data FormalParam Source #

A formal parameter containing its modifier ty identifier and default value.

Constructors

FormalParam (Maybe ParameterModifier) Type Identifier (Maybe Expression)

Instances

Show FormalParam Source #
Methods showsPrec :: Int -> FormalParam -> ShowS # show :: FormalParam -> String # showList :: [FormalParam] -> ShowS #
Pretty FormalParam Source #
Methods pretty :: FormalParam -> Doc Source #

data ParamArray Source #

A formal params array containing its array type and identifier.

Constructors

ParamArray ArrayType Identifier

Instances

Show ParamArray Source #
Methods showsPrec :: Int -> ParamArray -> ShowS # show :: ParamArray -> String # showList :: [ParamArray] -> ShowS #
Pretty ParamArray Source #
Methods pretty :: ParamArray -> Doc Source #

data ParameterModifier Source #

A formal parameter modifier.

Constructors

RefParam
OutParam
ThisParam

Instances

Show ParameterModifier Source #
Methods showsPrec :: Int -> ParameterModifier -> ShowS # show :: ParameterModifier -> String # showList :: [ParameterModifier] -> ShowS #
Pretty ParameterModifier Source #
Methods pretty :: ParameterModifier -> Doc Source #

data Statement Source #

A statement.

Constructors

Labeled Identifier Statement	A labeled statement containing its label and statement.
Declaration LocalVarDeclaration	A declaration containing its variable declaration.
Block [Statement]	A block statement.
Empty	An empty statement.
ExpressionStatement Expression	An expression statement.
IfThenElse Expression Statement (Maybe Statement)	An if then else statement containing its guard, true body and false body.
Switch Expression [SwitchBlock]	A switch statement containing its guard and switch blocks.
While Expression Statement	A while statement containing its guard and body.
Do Statement Expression	A do while statement containing its body and guard.
For (Maybe ForInitializer) (Maybe Expression) (Maybe [Expression]) Statement	A for statement containing its initializer, guard, increment expression and body.
ForEach LocalVarType Identifier Expression Statement	A foreach statement containing its variable type name and expression, and body.
Break	A break statement.
Continue	A continue statement.
Goto GotoTarget	A goto statement.
Return (Maybe Expression)	A return statement.
Throw (Maybe Expression)	A throw statement.
Try [Statement] [Catch] [Statement]	A try catch finally statement containing the try body, catches and finally body.
CheckedStatement [Statement]	A checked statement.
UncheckedStatement [Statement]	An unchecked statement.
Lock Expression Statement	A lock statement containing its locking object and body.
UsingStatement ResourceAcquisition Statement	An using statement containing its resource and body.
Yield (Maybe Expression)	A yield statement containing its return expression.

Instances

Show Statement Source #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Pretty Statement Source #
Methods pretty :: Statement -> Doc Source #
Pretty [Statement] Source #
Methods pretty :: [Statement] -> Doc Source #

data LocalVarDeclaration Source #

A local variable declaration appears within a local declaration or for initializer.

Constructors

LocalVarDeclaration LocalVarType [VariableDeclarator]

A local variable declaration containing its type and declarators.

Instances

Show LocalVarDeclaration Source #
Methods showsPrec :: Int -> LocalVarDeclaration -> ShowS # show :: LocalVarDeclaration -> String # showList :: [LocalVarDeclaration] -> ShowS #
Pretty LocalVarDeclaration Source #
Methods pretty :: LocalVarDeclaration -> Doc Source #

data GotoTarget Source #

A goto target appears within a goto statement.

Constructors

GotoLabel Identifier
GotoCase Expression
GotoDefault

Instances

Show GotoTarget Source #
Methods showsPrec :: Int -> GotoTarget -> ShowS # show :: GotoTarget -> String # showList :: [GotoTarget] -> ShowS #
Pretty GotoTarget Source #
Methods pretty :: GotoTarget -> Doc Source #

data SwitchBlock Source #

A switch block appears within a switch statement.

Constructors

LabeledBlock Expression [Statement]	A labeled block containing its label and body.
DefaultBlock [Statement]	A default block containing its body.

Instances

Show SwitchBlock Source #
Methods showsPrec :: Int -> SwitchBlock -> ShowS # show :: SwitchBlock -> String # showList :: [SwitchBlock] -> ShowS #
Pretty SwitchBlock Source #
Methods pretty :: SwitchBlock -> Doc Source #
Pretty [SwitchBlock] Source #
Methods pretty :: [SwitchBlock] -> Doc Source #

data ResourceAcquisition Source #

A resource acquisition appears within an using statement.

Constructors

ResourceAcquisitionVariable [VariableDeclarator]	A resource acquisition containing its variable declarators.
ResourceAcquisitionExpression Expression	A resource acquisition containing its expression.

Instances

Show ResourceAcquisition Source #
Methods showsPrec :: Int -> ResourceAcquisition -> ShowS # show :: ResourceAcquisition -> String # showList :: [ResourceAcquisition] -> ShowS #
Pretty ResourceAcquisition Source #
Methods pretty :: ResourceAcquisition -> Doc Source #

data VariableDeclarator Source #

A variable declarator containing its identifier and initializer.

Constructors

VariableDeclarator Identifier (Maybe VariableInitializer)

Instances

Show VariableDeclarator Source #
Methods showsPrec :: Int -> VariableDeclarator -> ShowS # show :: VariableDeclarator -> String # showList :: [VariableDeclarator] -> ShowS #
Pretty VariableDeclarator Source #
Methods pretty :: VariableDeclarator -> Doc Source #
Pretty [VariableDeclarator] Source #
Methods pretty :: [VariableDeclarator] -> Doc Source #

data VariableInitializer Source #

A variable initializer.

Constructors

VariableInitializerExpression Expression	A variable initializer containing its expression.
VariableInitializerArray ArrayInitializer	A variable initializer containing its array initializer.

Instances

Show VariableInitializer Source #
Methods showsPrec :: Int -> VariableInitializer -> ShowS # show :: VariableInitializer -> String # showList :: [VariableInitializer] -> ShowS #
Pretty VariableInitializer Source #
Methods pretty :: VariableInitializer -> Doc Source #

data LocalVarType Source #

A local variable type.

Constructors

VarType Type
Var

Instances

Show LocalVarType Source #
Methods showsPrec :: Int -> LocalVarType -> ShowS # show :: LocalVarType -> String # showList :: [LocalVarType] -> ShowS #
Pretty LocalVarType Source #
Methods pretty :: LocalVarType -> Doc Source #

newtype ArrayInitializer Source #

An array initializer containing its variable initializers.

Constructors

ArrayInitializer [VariableInitializer]

Instances

Show ArrayInitializer Source #
Methods showsPrec :: Int -> ArrayInitializer -> ShowS # show :: ArrayInitializer -> String # showList :: [ArrayInitializer] -> ShowS #
Pretty ArrayInitializer Source #
Methods pretty :: ArrayInitializer -> Doc Source #

data ForInitializer Source #

A for initializer appears within a for statement.

Constructors

ForInitializerDeclaration LocalVarDeclaration	A for initializer containing its variable declaration.
ForInitializerExpressions [Expression]	A for initializer containing its expressions.

Instances

Show ForInitializer Source #
Methods showsPrec :: Int -> ForInitializer -> ShowS # show :: ForInitializer -> String # showList :: [ForInitializer] -> ShowS #
Pretty ForInitializer Source #
Methods pretty :: ForInitializer -> Doc Source #

data Catch Source #

A catch block appears within a try statement.

Constructors

Catch (Maybe ExceptionSpecifier) (Maybe Expression) [Statement]

A catch block containing its exception specifier, exception filter and body.

Instances

Show Catch Source #
Methods showsPrec :: Int -> Catch -> ShowS # show :: Catch -> String # showList :: [Catch] -> ShowS #
Pretty Catch Source #
Methods pretty :: Catch -> Doc Source #
Pretty [Catch] Source #
Methods pretty :: [Catch] -> Doc Source #

data ExceptionSpecifier Source #

An exception specifier containing its type and identifier.

Constructors

ExceptionSpecifier Type (Maybe Identifier)

Instances

Show ExceptionSpecifier Source #
Methods showsPrec :: Int -> ExceptionSpecifier -> ShowS # show :: ExceptionSpecifier -> String # showList :: [ExceptionSpecifier] -> ShowS #
Pretty ExceptionSpecifier Source #
Methods pretty :: ExceptionSpecifier -> Doc Source #

data Expression Source #

An expression.

Constructors

Literal Literal	A literal.
SimpleName Identifier [TypeArgument]	A named value containing its identifer and type arguments.
Parenthesized Expression	A parenthesized expression.
Assign Expression AssignmentOperator Expression	An assignment containing its left-hand side, operator and right-hand side..
MemberAccess MemberAccess	An member access.
Invocation Expression [Argument]	An method invocation containing its method and arguments.
ElementAccess Expression [Expression]	An element access containing its array and indices.
This	A this access expression.
Base	A base access expression.
ObjectCreationExpression Type [Argument] (Maybe ObjectCreationInitializer)	An object creation containing its type, arguments and initializer. e.g. `new Object(a, b)`.
ObjectCreationTypeInitializer Type ObjectCreationInitializer	An object creation containing its type and initializer. e.g. `new Object { A = a, B = b }`.
ArrayCreationExpression Type [Expression] [RankSpecifier] (Maybe ArrayCreationInitializer)	An array creation containing its type, rank specifiers and initialier.
ArrayCreationTypeInitializer Type ArrayCreationInitializer	An array creation containing its type and intializer.
ArrayCreationRankInitializer RankSpecifier ArrayCreationInitializer	An array creation containing its rank specifier and initializer.
Sizeof Type	A sizeof expression.
Typeof TypeOfExpression	A typeof expression.
Checked Expression	A checked expression.
Unchecked Expression	An unchecked expression.
Default Type	A default expression.
BinaryOperator BinaryOperator Expression Expression	A binary operator containing its operator, left expression and right expression.
Conditional Expression Expression Expression	A conditional expression containing its guard, first expression and second expression,
Nameof NameofEntity	A nameof expression.
Delegate (Maybe AnonymousFunctionSignature) [Statement]	A delegate expression containing its signature and body.
Lambda AnonymousFunctionSignature AnonymousFunctionBody	A lambda expression containing its signature and body.
UnaryPlus Expression	An unary `+` expression.
UnaryMinus Expression	An unary `-` expression.
UnaryNot Expression	An unary `!` expression.
UnaryBitwiseNot Expression	An unary `~` expression.
UnaryPreIncrement Expression	An unary `++` expression appearing in front of its expression.
UnaryPreDecrement Expression	An unary `--` expression appearing in front of its expression.
UnaryPostIncrement Expression	An unary `++` expression appearing after its expression.
UnaryPostDecrement Expression	An unary `--` expression appearing after its expression.
UnaryCast Type Expression	A cast containing its target type and expression.
UnaryAwait Expression	An await expression.

Instances

Show Expression Source #
Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Pretty Expression Source #
Methods pretty :: Expression -> Doc Source #

data AnonymousFunctionSignature Source #

An anonymous function signature appears within a delegate- or lambda expression.

Constructors

ExplicitAnonymousFunctionSignature [AnonymousFunctionParameter]	An explicit anonymous function signature containing its formal parameters.
ImplicitAnonymousFunctionSignature [Identifier]	An implicit anonymous function signature containing its formal parameters.

Instances

Show AnonymousFunctionSignature Source #
Methods showsPrec :: Int -> AnonymousFunctionSignature -> ShowS # show :: AnonymousFunctionSignature -> String # showList :: [AnonymousFunctionSignature] -> ShowS #
Pretty AnonymousFunctionSignature Source #
Methods pretty :: AnonymousFunctionSignature -> Doc Source #

data AnonymousFunctionBody Source #

An anonymous function body appears within a lambda expression.

Constructors

AnonymousFunctionStatementBody [Statement]	A anonymous function body containing its statements.
AnonymousFunctionExpressionBody Expression	A anonymous function body containing its expression.

Instances

Show AnonymousFunctionBody Source #
Methods showsPrec :: Int -> AnonymousFunctionBody -> ShowS # show :: AnonymousFunctionBody -> String # showList :: [AnonymousFunctionBody] -> ShowS #
Pretty AnonymousFunctionBody Source #
Methods pretty :: AnonymousFunctionBody -> Doc Source #

data AnonymousFunctionParameter Source #

An anonymous function parameter containing its modifier, type and identifier.

Constructors

ExplicitAnonymousFunctionParameter (Maybe ParameterModifier) Type Identifier

Instances

Show AnonymousFunctionParameter Source #
Methods showsPrec :: Int -> AnonymousFunctionParameter -> ShowS # show :: AnonymousFunctionParameter -> String # showList :: [AnonymousFunctionParameter] -> ShowS #
Pretty AnonymousFunctionParameter Source #
Methods pretty :: AnonymousFunctionParameter -> Doc Source #

data NameofEntity Source #

A nameof entity appears within a nameof expression.

Constructors

NameofIdentifier Identifier	A nameof containing its identifier.
NameofThis Identifier	A nameof this containing its identifier.
NameofBase Identifier	A nameof base containing its identifier.
NameofEntity NameofEntity Identifier	A nameof containing its entity and identifier.
NameofPredefinedType SimpleType Identifier	A nameof containing its simple type and identifier.

Instances

Show NameofEntity Source #
Methods showsPrec :: Int -> NameofEntity -> ShowS # show :: NameofEntity -> String # showList :: [NameofEntity] -> ShowS #
Pretty NameofEntity Source #
Methods pretty :: NameofEntity -> Doc Source #

newtype TypeOfExpression Source #

A typeof expression containing its type where Nothing represents void.

Constructors

TypeofType (Maybe Type)

Instances

Show TypeOfExpression Source #
Methods showsPrec :: Int -> TypeOfExpression -> ShowS # show :: TypeOfExpression -> String # showList :: [TypeOfExpression] -> ShowS #
Pretty TypeOfExpression Source #
Methods pretty :: TypeOfExpression -> Doc Source #

data ArrayCreationInitializer Source #

An array creation initializer appears withing an array creation expression.

Constructors

ArrayCreationInitializerExpression [Expression]	An array creation initializer containing its values.
ArrayCreationInitializerInitializers [ArrayCreationInitializer]	An array creation initializer containing its nested initializers.

Instances

Show ArrayCreationInitializer Source #
Methods showsPrec :: Int -> ArrayCreationInitializer -> ShowS # show :: ArrayCreationInitializer -> String # showList :: [ArrayCreationInitializer] -> ShowS #
Pretty ArrayCreationInitializer Source #
Methods pretty :: ArrayCreationInitializer -> Doc Source #

data ObjectCreationInitializer Source #

An object creation initializer appears within an object creation expression.

Constructors

ObjectInitializer [MemberInitializer]	An object initializer containing its member initializers.
CollectionInitializer ArrayCreationInitializer	A collection initializer containing its initializers.

Instances

Show ObjectCreationInitializer Source #
Methods showsPrec :: Int -> ObjectCreationInitializer -> ShowS # show :: ObjectCreationInitializer -> String # showList :: [ObjectCreationInitializer] -> ShowS #
Pretty ObjectCreationInitializer Source #
Methods pretty :: ObjectCreationInitializer -> Doc Source #

data MemberInitializer Source #

A member initializer containing its target and value.

Constructors

MemberInitializer InitializerTarget InitializerValue

Instances

Show MemberInitializer Source #
Methods showsPrec :: Int -> MemberInitializer -> ShowS # show :: MemberInitializer -> String # showList :: [MemberInitializer] -> ShowS #
Pretty MemberInitializer Source #
Methods pretty :: MemberInitializer -> Doc Source #

data InitializerTarget Source #

An initialization target appears within a member initializer.

Constructors

InitializerTargetIdentifier Identifier	An initializer target containing its identifier.
InitializerTargetList [Argument]	An initializer target containing its values.

Instances

Show InitializerTarget Source #
Methods showsPrec :: Int -> InitializerTarget -> ShowS # show :: InitializerTarget -> String # showList :: [InitializerTarget] -> ShowS #
Pretty InitializerTarget Source #
Methods pretty :: InitializerTarget -> Doc Source #

data InitializerValue Source #

An initialization value appears within a member initializer.

Constructors

InitializerValueExpression Expression	An initializer value containing its value.
InitializerValueInitializer ObjectCreationInitializer	An initializer value containing its nested values.

Instances

Show InitializerValue Source #
Methods showsPrec :: Int -> InitializerValue -> ShowS # show :: InitializerValue -> String # showList :: [InitializerValue] -> ShowS #
Pretty InitializerValue Source #
Methods pretty :: InitializerValue -> Doc Source #

data MemberAccess Source #

A member access appearing within an member access expression.

Constructors

PrimaryMemberAccess Expression Identifier [TypeArgument]	A member access containing its expression, identifier and type arguments.
PredefinedMemberAccess SimpleType Identifier [TypeArgument]	A member access containing its simple type, identifier and type arguments.
QualifiedMemberAccess Identifier Identifier Identifier	A member access containing its namespace, identifier, and identifier.

Instances

Show MemberAccess Source #
Methods showsPrec :: Int -> MemberAccess -> ShowS # show :: MemberAccess -> String # showList :: [MemberAccess] -> ShowS #
Pretty MemberAccess Source #
Methods pretty :: MemberAccess -> Doc Source #

data Literal Source #

A literal.

Instances

Show Literal Source #
Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Pretty Literal Source #
Methods pretty :: Literal -> Doc Source #

data AssignmentOperator Source #

An assignment operator.

Constructors

OpAssign
OpAssignPlus
OpAssignMinus
OpAssignMultiply
OpAssignDivide
OpAssignModulo
OpAssignBitwiseAnd
OpAssignBitwiseOr
OpAssignBitwiseXor
OpAssignBitwiseLeftShift
OpAssignBitwiseRightShift

Instances

Show AssignmentOperator Source #
Methods showsPrec :: Int -> AssignmentOperator -> ShowS # show :: AssignmentOperator -> String # showList :: [AssignmentOperator] -> ShowS #
Pretty AssignmentOperator Source #
Methods pretty :: AssignmentOperator -> Doc Source #

data BinaryOperator Source #

A binary operator.

Instances

Show BinaryOperator Source #
Methods showsPrec :: Int -> BinaryOperator -> ShowS # show :: BinaryOperator -> String # showList :: [BinaryOperator] -> ShowS #
Pretty BinaryOperator Source #
Methods pretty :: BinaryOperator -> Doc Source #

newtype TypeParameter Source #

A type parameter containing its identifier.

Constructors

TypeParameter Identifier

Instances

Show TypeParameter Source #
Methods showsPrec :: Int -> TypeParameter -> ShowS # show :: TypeParameter -> String # showList :: [TypeParameter] -> ShowS #
Pretty TypeParameter Source #
Methods pretty :: TypeParameter -> Doc Source #
Pretty [TypeParameter] Source #
Methods pretty :: [TypeParameter] -> Doc Source #

data TypeParameterConstraintClause Source #

A type parameter constraint clause containing its type parameter and constraints.

Constructors

TypeParameterConstraintClause TypeParameter [TypeParameterConstraint]

Instances

Show TypeParameterConstraintClause Source #
Methods showsPrec :: Int -> TypeParameterConstraintClause -> ShowS # show :: TypeParameterConstraintClause -> String # showList :: [TypeParameterConstraintClause] -> ShowS #
Pretty TypeParameterConstraintClause Source #
Methods pretty :: TypeParameterConstraintClause -> Doc Source #

data VariantTypeParameter Source #

A variant type parameter containing its variance and identifier.

Constructors

VariantTypeParameter (Maybe Variance) Identifier

Instances

Show VariantTypeParameter Source #
Methods showsPrec :: Int -> VariantTypeParameter -> ShowS # show :: VariantTypeParameter -> String # showList :: [VariantTypeParameter] -> ShowS #
Pretty VariantTypeParameter Source #
Methods pretty :: VariantTypeParameter -> Doc Source #
Pretty [VariantTypeParameter] Source #
Methods pretty :: [VariantTypeParameter] -> Doc Source #

data Variance Source #

A variance appears within a variant type parameter.

Constructors

VarianceIn
VarianceOut

Instances

Show Variance Source #
Methods showsPrec :: Int -> Variance -> ShowS # show :: Variance -> String # showList :: [Variance] -> ShowS #
Pretty Variance Source #
Methods pretty :: Variance -> Doc Source #

data TypeParameterConstraint Source #

A type parameter constraint appears within a type parameter constraints clause.

Constructors

TypeConstraint Type	A type constraint containing its type.
ClassConstraint	A class constraint.
StructConstraint	A struct constraint.
NewConstraint	A new() constraint.

Instances

Show TypeParameterConstraint Source #
Methods showsPrec :: Int -> TypeParameterConstraint -> ShowS # show :: TypeParameterConstraint -> String # showList :: [TypeParameterConstraint] -> ShowS #
Pretty TypeParameterConstraint Source #
Methods pretty :: TypeParameterConstraint -> Doc Source #

newtype TypeArgument Source #

A type argument containing its type.

Constructors

TypeArgument Type

Instances

Show TypeArgument Source #
Methods showsPrec :: Int -> TypeArgument -> ShowS # show :: TypeArgument -> String # showList :: [TypeArgument] -> ShowS #
Pretty TypeArgument Source #
Methods pretty :: TypeArgument -> Doc Source #
Pretty [TypeArgument] Source #
Methods pretty :: [TypeArgument] -> Doc Source #

data Type Source #

A type.

Constructors

TypeNamed TypeName	A named type containing its name.
TypeArray ArrayType	An array type containing its array type.
TypeSimple SimpleType	A simple type containing its simple type.
TypeDynamic	A dynamic type.
TypeNullable Type	A nullable type containing its type.

Instances

Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type Source #
Methods pretty :: Type -> Doc Source #
Pretty (Maybe Type) Source #
Methods pretty :: Maybe Type -> Doc Source #

data SimpleType Source #

A simple type can be one of the standard types.

Constructors

IntegralType IntegralType
FloatingPointType FloatingPointType
Char
Bool
Object
String

Instances

Show SimpleType Source #
Methods showsPrec :: Int -> SimpleType -> ShowS # show :: SimpleType -> String # showList :: [SimpleType] -> ShowS #
Pretty SimpleType Source #
Methods pretty :: SimpleType -> Doc Source #

data IntegralType Source #

An intergral type.

Constructors

SByte
Byte
Short
UShort
Int
UInt
Long
ULong

Instances

Show IntegralType Source #
Methods showsPrec :: Int -> IntegralType -> ShowS # show :: IntegralType -> String # showList :: [IntegralType] -> ShowS #
Pretty IntegralType Source #
Methods pretty :: IntegralType -> Doc Source #

data FloatingPointType Source #

A floating point type.

Constructors

Float
Double
Decimal

Instances

Show FloatingPointType Source #
Methods showsPrec :: Int -> FloatingPointType -> ShowS # show :: FloatingPointType -> String # showList :: [FloatingPointType] -> ShowS #
Pretty FloatingPointType Source #
Methods pretty :: FloatingPointType -> Doc Source #

data ArrayType Source #

An array type containing its base type and rank specifiers.

Constructors

ArrayType Type [RankSpecifier]

Instances

Show ArrayType Source #
Methods showsPrec :: Int -> ArrayType -> ShowS # show :: ArrayType -> String # showList :: [ArrayType] -> ShowS #
Pretty ArrayType Source #
Methods pretty :: ArrayType -> Doc Source #

newtype RankSpecifier Source #

A rank specifier containing the number of ranks.

Constructors

RankSpecifier Int

Instances

Show RankSpecifier Source #
Methods showsPrec :: Int -> RankSpecifier -> ShowS # show :: RankSpecifier -> String # showList :: [RankSpecifier] -> ShowS #
Pretty RankSpecifier Source #
Methods pretty :: RankSpecifier -> Doc Source #

data TypeName Source #

A type name.

Constructors

TypeName Name [TypeArgument]	A type name containing its name and type arguments.
TypeAlias Identifier Identifier [TypeArgument]	A type alias containing its namespace, identifier and type arguments.

Instances

Show TypeName Source #
Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #
Pretty TypeName Source #
Methods pretty :: TypeName -> Doc Source #

data AttributeSection Source #

An attribute section containing the attribute target and attributes.

Constructors

AttributeSection (Maybe AttributeTarget) [Attribute]

Instances

Show AttributeSection Source #
Methods showsPrec :: Int -> AttributeSection -> ShowS # show :: AttributeSection -> String # showList :: [AttributeSection] -> ShowS #
Pretty AttributeSection Source #
Methods pretty :: AttributeSection -> Doc Source #
Pretty [AttributeSection] Source #
Methods pretty :: [AttributeSection] -> Doc Source #

data GlobalAttributeSection Source #

A global attribute section containing the attribute target and attributes.

Constructors

GlobalAttributeSection (Maybe GlobalAttributeTarget) [Attribute]

Instances

Show GlobalAttributeSection Source #
Methods showsPrec :: Int -> GlobalAttributeSection -> ShowS # show :: GlobalAttributeSection -> String # showList :: [GlobalAttributeSection] -> ShowS #
Pretty GlobalAttributeSection Source #
Methods pretty :: GlobalAttributeSection -> Doc Source #
Pretty [GlobalAttributeSection] Source #
Methods pretty :: [GlobalAttributeSection] -> Doc Source #

data GlobalAttributeTarget Source #

A global attribute target appears within a global attribute section.

Constructors

AttributeTargetAssembly
AttributeTargetModule

Instances

Show GlobalAttributeTarget Source #
Methods showsPrec :: Int -> GlobalAttributeTarget -> ShowS # show :: GlobalAttributeTarget -> String # showList :: [GlobalAttributeTarget] -> ShowS #
Pretty GlobalAttributeTarget Source #
Methods pretty :: GlobalAttributeTarget -> Doc Source #

data AttributeTarget Source #

An attribute target appears within a attribute section.

Constructors

AttributeTargetField
AttributeTargetEvent
AttributeTargetMethod
AttributeTargetParam
AttributeTargetProperty
AttributeTargetReturn
AttributeTargetType

Instances

Show AttributeTarget Source #
Methods showsPrec :: Int -> AttributeTarget -> ShowS # show :: AttributeTarget -> String # showList :: [AttributeTarget] -> ShowS #
Pretty AttributeTarget Source #
Methods pretty :: AttributeTarget -> Doc Source #

data Attribute Source #

An attribute containing its type name and attribute arguments.

Constructors

Attribute TypeName [AttributeArgument]

Instances

Show Attribute Source #
Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Pretty Attribute Source #
Methods pretty :: Attribute -> Doc Source #

data AttributeArgument Source #

An attribute argument appears within an attribute.

Constructors

AttributeArgumentExpression Expression	An expression attribute argument containing its expression.
AttributeArgumentNamed Identifier Expression	An named attribute argument containing its name and expression.

Instances

Show AttributeArgument Source #
Methods showsPrec :: Int -> AttributeArgument -> ShowS # show :: AttributeArgument -> String # showList :: [AttributeArgument] -> ShowS #
Pretty AttributeArgument Source #
Methods pretty :: AttributeArgument -> Doc Source #

data Modifier Source #

A modifier specifying properties of declarations on different levels.

Constructors

Public
Private
Internal
Protected
Abstract
Async
Const
Event
Extern
New
Override
Readonly
Sealed
Static
Unsafe
Virtual
Volatile
Partial

Instances

Show Modifier Source #
Methods showsPrec :: Int -> Modifier -> ShowS # show :: Modifier -> String # showList :: [Modifier] -> ShowS #
Pretty Modifier Source #
Methods pretty :: Modifier -> Doc Source #
Pretty [Modifier] Source #
Methods pretty :: [Modifier] -> Doc Source #

newtype Identifier Source #

An identifier.

Constructors

Identifier String

Instances

Show Identifier Source #
Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Pretty Identifier Source #
Methods pretty :: Identifier -> Doc Source #

newtype Name Source #

A name is a sequence of identifiers chained with periods.

Constructors

Name [Identifier]

Instances

Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Pretty Name Source #
Methods pretty :: Name -> Doc Source #

BooleanLit Bool
IntLit Integer
UIntLit Integer
LongLit Integer
ULongLit Integer
FloatLit Double
DoubleLit Double
DecimalLit Double
CharLit String
StringLit String
VerbatimStringLit String
NullLit

BinaryPlus
BinaryMinus
BinaryMultiply
BinaryDivide
BinaryModulo
BinaryShiftLeft
BinaryShiftRight
BinaryEquals
BinaryNotEquals
BinaryLessThan
BinaryLessThanEqual
BinaryGreaterThan
BinaryGreaterThanEqual
BinaryBitwiseAnd
BinaryBitwiseXor
BinaryBitwiseOr
BinaryAnd
BinaryOr
BinaryIs
BinaryAs
BinaryNullCoalescing