language-dart-0.2.0.0: Manipulating Dart source: abstract syntax and pretty-printer

Safe HaskellSafe
LanguageHaskell2010

Language.Dart.Syntax

Synopsis

Documentation

data AnnotatedNode Source #

An AST node that can be annotated with both a documentation comment and a list of annotations.

Instances

Eq AnnotatedNode Source # 
Data AnnotatedNode Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnotatedNode -> c AnnotatedNode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnotatedNode #

toConstr :: AnnotatedNode -> Constr #

dataTypeOf :: AnnotatedNode -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AnnotatedNode) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnotatedNode) #

gmapT :: (forall b. Data b => b -> b) -> AnnotatedNode -> AnnotatedNode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnotatedNode -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnotatedNode -> r #

gmapQ :: (forall d. Data d => d -> u) -> AnnotatedNode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnotatedNode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnotatedNode -> m AnnotatedNode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnotatedNode -> m AnnotatedNode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnotatedNode -> m AnnotatedNode #

Show AnnotatedNode Source # 
Generic AnnotatedNode Source # 

Associated Types

type Rep AnnotatedNode :: * -> * #

type Rep AnnotatedNode Source # 

data Annotation Source #

An annotation that can be associated with an AST node.

metadata ::= annotation*

annotation ::= '@' [Identifier] (. [SimpleIdentifier])? [ArgumentList]?

Instances

Eq Annotation Source # 
Data Annotation Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation -> c Annotation #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotation #

toConstr :: Annotation -> Constr #

dataTypeOf :: Annotation -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Annotation) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotation) #

gmapT :: (forall b. Data b => b -> b) -> Annotation -> Annotation #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r #

gmapQ :: (forall d. Data d => d -> u) -> Annotation -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation #

Show Annotation Source # 
Generic Annotation Source # 

Associated Types

type Rep Annotation :: * -> * #

Pretty Annotation Source # 
type Rep Annotation Source # 

newtype ArgumentList Source #

A list of arguments in the invocation of an executable element (that is, a function, method, or constructor).

argumentList ::= '(' arguments? ')'

arguments ::= [NamedExpression] (',' [NamedExpression])* | [Expression] (',' [Expression])* (',' [NamedExpression])*

Constructors

ArgumentList [Expression] 

Instances

Eq ArgumentList Source # 
Data ArgumentList Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArgumentList -> c ArgumentList #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArgumentList #

toConstr :: ArgumentList -> Constr #

dataTypeOf :: ArgumentList -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ArgumentList) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArgumentList) #

gmapT :: (forall b. Data b => b -> b) -> ArgumentList -> ArgumentList #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArgumentList -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArgumentList -> r #

gmapQ :: (forall d. Data d => d -> u) -> ArgumentList -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArgumentList -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArgumentList -> m ArgumentList #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgumentList -> m ArgumentList #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArgumentList -> m ArgumentList #

Show ArgumentList Source # 
Generic ArgumentList Source # 

Associated Types

type Rep ArgumentList :: * -> * #

Pretty ArgumentList Source # 
type Rep ArgumentList Source # 
type Rep ArgumentList = D1 (MetaData "ArgumentList" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "ArgumentList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expression])))

data AstNode Source #

A node in the AST structure for a Dart program.

Instances

Eq AstNode Source # 

Methods

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

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

Data AstNode Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AstNode -> c AstNode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AstNode #

toConstr :: AstNode -> Constr #

dataTypeOf :: AstNode -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AstNode) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AstNode) #

gmapT :: (forall b. Data b => b -> b) -> AstNode -> AstNode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AstNode -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AstNode -> r #

gmapQ :: (forall d. Data d => d -> u) -> AstNode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AstNode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AstNode -> m AstNode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AstNode -> m AstNode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AstNode -> m AstNode #

Show AstNode Source # 
Generic AstNode Source # 

Associated Types

type Rep AstNode :: * -> * #

Methods

from :: AstNode -> Rep AstNode x #

to :: Rep AstNode x -> AstNode #

type Rep AstNode Source # 
type Rep AstNode = D1 (MetaData "AstNode" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "SwitchMember" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SwitchMember))) ((:+:) (C1 (MetaCons "Statement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement))) (C1 (MetaCons "CatchClause'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CatchClause))))) ((:+:) (C1 (MetaCons "TypeNameNode" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) ((:+:) (C1 (MetaCons "TypeArgumentList'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeArgumentList))) (C1 (MetaCons "Label'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Label)))))) ((:+:) ((:+:) (C1 (MetaCons "Annotation'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Annotation))) ((:+:) (C1 (MetaCons "Comment'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comment))) (C1 (MetaCons "CommentReference'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CommentReference))))) ((:+:) (C1 (MetaCons "ArgumentList'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList))) ((:+:) (C1 (MetaCons "TypeParameterList'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeParameterList))) (C1 (MetaCons "FormalParameterList'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FormalParameterList))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "AnnotatedNode'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AnnotatedNode))) ((:+:) (C1 (MetaCons "WithClause'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 WithClause))) (C1 (MetaCons "ExtendsClause'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExtendsClause))))) ((:+:) (C1 (MetaCons "ConstructorName'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConstructorName))) ((:+:) (C1 (MetaCons "InterpolationElement'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InterpolationElement))) (C1 (MetaCons "ConstructorInitializer" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConstructorInitializer)))))) ((:+:) ((:+:) (C1 (MetaCons "Combinator" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Combinator))) ((:+:) (C1 (MetaCons "Configuration'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Configuration))) (C1 (MetaCons "DottedName'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DottedName))))) ((:+:) (C1 (MetaCons "ScriptTag'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ScriptTag))) ((:+:) (C1 (MetaCons "NativeClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral))) (C1 (MetaCons "MapLiteralEntry'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MapLiteralEntry))))))))

data AsyncModifier Source #

Constructors

Async 
Sync 
AsyncStar 
SyncStar 

Instances

Eq AsyncModifier Source # 
Data AsyncModifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsyncModifier -> c AsyncModifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AsyncModifier #

toConstr :: AsyncModifier -> Constr #

dataTypeOf :: AsyncModifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AsyncModifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AsyncModifier) #

gmapT :: (forall b. Data b => b -> b) -> AsyncModifier -> AsyncModifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsyncModifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsyncModifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> AsyncModifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AsyncModifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsyncModifier -> m AsyncModifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsyncModifier -> m AsyncModifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsyncModifier -> m AsyncModifier #

Show AsyncModifier Source # 
Generic AsyncModifier Source # 

Associated Types

type Rep AsyncModifier :: * -> * #

Pretty AsyncModifier Source # 
type Rep AsyncModifier Source # 
type Rep AsyncModifier = D1 (MetaData "AsyncModifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "Async" PrefixI False) U1) (C1 (MetaCons "Sync" PrefixI False) U1)) ((:+:) (C1 (MetaCons "AsyncStar" PrefixI False) U1) (C1 (MetaCons "SyncStar" PrefixI False) U1)))

data Block Source #

A sequence of statements.

block ::= '{' statement* '}'

Constructors

Block [Statement] 

Instances

Eq Block Source # 

Methods

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

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

Data Block Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block #

toConstr :: Block -> Constr #

dataTypeOf :: Block -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Block) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) #

gmapT :: (forall b. Data b => b -> b) -> Block -> Block #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r #

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block #

Show Block Source # 

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

Generic Block Source # 

Associated Types

type Rep Block :: * -> * #

Methods

from :: Block -> Rep Block x #

to :: Rep Block x -> Block #

Pretty Block Source # 

Methods

pretty :: Block -> Doc

prettyPrec :: Int -> Block -> Doc

type Rep Block Source # 
type Rep Block = D1 (MetaData "Block" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "Block" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Statement])))

data CatchClause Source #

A catch clause within a try statement.

onPart ::= catchPart [Block] | on type catchPart? [Block]

catchPart ::= catch '(' [SimpleIdentifier] (',' [SimpleIdentifier])? ')'

Instances

Eq CatchClause Source # 
Data CatchClause Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CatchClause -> c CatchClause #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CatchClause #

toConstr :: CatchClause -> Constr #

dataTypeOf :: CatchClause -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CatchClause) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CatchClause) #

gmapT :: (forall b. Data b => b -> b) -> CatchClause -> CatchClause #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CatchClause -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CatchClause -> r #

gmapQ :: (forall d. Data d => d -> u) -> CatchClause -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CatchClause -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CatchClause -> m CatchClause #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CatchClause -> m CatchClause #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CatchClause -> m CatchClause #

Show CatchClause Source # 
Generic CatchClause Source # 

Associated Types

type Rep CatchClause :: * -> * #

Pretty CatchClause Source # 
type Rep CatchClause Source # 

data ClassMember Source #

A node that declares a name within the scope of a class.

Constructors

ConstructorDeclaration (Maybe Comment) [Annotation] Bool Bool Bool Identifier (Maybe SimpleIdentifier) FormalParameterList [ConstructorInitializer] (Maybe ConstructorName) (Maybe FunctionBody) 
MethodDeclaration (Maybe Comment) [Annotation] Bool (Maybe MethodModifier) (Maybe TypeName) PropertyKeyword Bool SimpleIdentifier (Maybe TypeParameterList) (Maybe FormalParameterList) FunctionBody

A method declaration.

methodDeclaration ::= methodSignature [FunctionBody]

methodSignature ::= external? (abstract | static)? [Type]? (get | set)? methodName [TypeParameterList] [FormalParameterList]

methodName ::= [SimpleIdentifier] | operator [SimpleIdentifier]

FieldDeclaration (Maybe Comment) [Annotation] Bool VariableDeclarationList

The declaration of one or more fields of the same type.

fieldDeclaration ::= static? [VariableDeclarationList] ';'

Instances

Eq ClassMember Source # 
Data ClassMember Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassMember -> c ClassMember #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassMember #

toConstr :: ClassMember -> Constr #

dataTypeOf :: ClassMember -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ClassMember) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassMember) #

gmapT :: (forall b. Data b => b -> b) -> ClassMember -> ClassMember #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassMember -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassMember -> r #

gmapQ :: (forall d. Data d => d -> u) -> ClassMember -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassMember -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassMember -> m ClassMember #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassMember -> m ClassMember #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassMember -> m ClassMember #

Show ClassMember Source # 
Generic ClassMember Source # 

Associated Types

type Rep ClassMember :: * -> * #

Pretty ClassMember Source # 
type Rep ClassMember Source # 
type Rep ClassMember = D1 (MetaData "ClassMember" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "ConstructorDeclaration" PrefixI False) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FormalParameterList)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ConstructorInitializer])) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ConstructorName))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FunctionBody)))))))) ((:+:) (C1 (MetaCons "MethodDeclaration" PrefixI False) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MethodModifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeName)))))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PropertyKeyword)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeParameterList))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FormalParameterList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionBody))))))) (C1 (MetaCons "FieldDeclaration" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VariableDeclarationList)))))))

data Combinator Source #

A combinator associated with an import or export directive.

combinator ::= [HideCombinator] | [ShowCombinator]

Constructors

ShowCombinator [SimpleIdentifier]

A combinator that restricts the names being imported to those in a given list.

showCombinator ::= show [SimpleIdentifier] (',' [SimpleIdentifier])*

HideCombinator [SimpleIdentifier]

A combinator that restricts the names being imported to those that are not in a given list.

hideCombinator ::= hide [SimpleIdentifier] (',' [SimpleIdentifier])*

Instances

Eq Combinator Source # 
Data Combinator Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Combinator -> c Combinator #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Combinator #

toConstr :: Combinator -> Constr #

dataTypeOf :: Combinator -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Combinator) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Combinator) #

gmapT :: (forall b. Data b => b -> b) -> Combinator -> Combinator #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Combinator -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Combinator -> r #

gmapQ :: (forall d. Data d => d -> u) -> Combinator -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Combinator -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Combinator -> m Combinator #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Combinator -> m Combinator #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Combinator -> m Combinator #

Show Combinator Source # 
Generic Combinator Source # 

Associated Types

type Rep Combinator :: * -> * #

Pretty Combinator Source # 
type Rep Combinator Source # 
type Rep Combinator = D1 (MetaData "Combinator" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "ShowCombinator" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SimpleIdentifier]))) (C1 (MetaCons "HideCombinator" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SimpleIdentifier]))))

data Comment Source #

A comment within the source code.

comment ::= endOfLineComment | blockComment | documentationComment

endOfLineComment ::= // (CHARACTER - EOL)* EOL

blockComment ::= '-- ' CHARACTER* '*'

documentationComment ::= '-- *' (CHARACTER | [CommentReference])* '*' | (/// (CHARACTER - EOL)* EOL)+

Instances

Eq Comment Source # 

Methods

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

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

Data Comment Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Comment -> c Comment #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Comment #

toConstr :: Comment -> Constr #

dataTypeOf :: Comment -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Comment) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Comment) #

gmapT :: (forall b. Data b => b -> b) -> Comment -> Comment #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Comment -> r #

gmapQ :: (forall d. Data d => d -> u) -> Comment -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Comment -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Comment -> m Comment #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Comment -> m Comment #

Show Comment Source # 
Generic Comment Source # 

Associated Types

type Rep Comment :: * -> * #

Methods

from :: Comment -> Rep Comment x #

to :: Rep Comment x -> Comment #

type Rep Comment Source # 

data CommentReference Source #

A reference to a Dart element that is found within a documentation comment.

commentReference ::= '[' new? [Identifier] ']'

Instances

Eq CommentReference Source # 
Data CommentReference Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CommentReference -> c CommentReference #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CommentReference #

toConstr :: CommentReference -> Constr #

dataTypeOf :: CommentReference -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CommentReference) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CommentReference) #

gmapT :: (forall b. Data b => b -> b) -> CommentReference -> CommentReference #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CommentReference -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CommentReference -> r #

gmapQ :: (forall d. Data d => d -> u) -> CommentReference -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CommentReference -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CommentReference -> m CommentReference #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CommentReference -> m CommentReference #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CommentReference -> m CommentReference #

Show CommentReference Source # 
Generic CommentReference Source # 
type Rep CommentReference Source # 
type Rep CommentReference = D1 (MetaData "CommentReference" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "CommentReference" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier))))

data CommentType Source #

Instances

Eq CommentType Source # 
Data CommentType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CommentType -> c CommentType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CommentType #

toConstr :: CommentType -> Constr #

dataTypeOf :: CommentType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CommentType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CommentType) #

gmapT :: (forall b. Data b => b -> b) -> CommentType -> CommentType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CommentType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CommentType -> r #

gmapQ :: (forall d. Data d => d -> u) -> CommentType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CommentType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CommentType -> m CommentType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CommentType -> m CommentType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CommentType -> m CommentType #

Show CommentType Source # 
Generic CommentType Source # 

Associated Types

type Rep CommentType :: * -> * #

type Rep CommentType Source # 
type Rep CommentType = D1 (MetaData "CommentType" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "BlockComment" PrefixI False) U1) ((:+:) (C1 (MetaCons "DocumentationComment" PrefixI False) U1) (C1 (MetaCons "EndOfLineComment" PrefixI False) U1)))

data CompilationUnit Source #

A compilation unit.

While the grammar restricts the order of the directives and declarations within a compilation unit, this class does not enforce those restrictions. In particular, the children of a compilation unit will be visited in lexical order even if lexical order does not conform to the restrictions of the grammar.

compilationUnit ::= directives declarations

directives ::= [ScriptTag]? [LibraryDirective]? namespaceDirective* [PartDirective]* | [PartOfDirective]

namespaceDirective ::= [ImportDirective] | [ExportDirective]

declarations ::= [CompilationUnitMember]*

Instances

Eq CompilationUnit Source # 
Data CompilationUnit Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompilationUnit -> c CompilationUnit #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompilationUnit #

toConstr :: CompilationUnit -> Constr #

dataTypeOf :: CompilationUnit -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CompilationUnit) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompilationUnit) #

gmapT :: (forall b. Data b => b -> b) -> CompilationUnit -> CompilationUnit #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompilationUnit -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompilationUnit -> r #

gmapQ :: (forall d. Data d => d -> u) -> CompilationUnit -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompilationUnit -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompilationUnit -> m CompilationUnit #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompilationUnit -> m CompilationUnit #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompilationUnit -> m CompilationUnit #

Show CompilationUnit Source # 
Generic CompilationUnit Source # 
Pretty CompilationUnit Source # 
type Rep CompilationUnit Source # 

data CompilationUnitMember Source #

A node that declares one or more names within the scope of a compilation unit.

compilationUnitMember ::= [ClassDeclaration] | [TypeAlias] | [FunctionDeclaration] | [MethodDeclaration] | [VariableDeclaration] | [VariableDeclaration]

Constructors

TopLevelVariableDeclaration (Maybe Comment) [Annotation] VariableDeclarationList

The declaration of one or more top-level variables of the same type.

topLevelVariableDeclaration ::= (final | const) type? staticFinalDeclarationList ';' | variableDeclaration ';'

NamedCompilationUnitMember NamedCompilationUnitMember 

Instances

Eq CompilationUnitMember Source # 
Data CompilationUnitMember Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompilationUnitMember -> c CompilationUnitMember #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompilationUnitMember #

toConstr :: CompilationUnitMember -> Constr #

dataTypeOf :: CompilationUnitMember -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CompilationUnitMember) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompilationUnitMember) #

gmapT :: (forall b. Data b => b -> b) -> CompilationUnitMember -> CompilationUnitMember #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompilationUnitMember -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompilationUnitMember -> r #

gmapQ :: (forall d. Data d => d -> u) -> CompilationUnitMember -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompilationUnitMember -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompilationUnitMember -> m CompilationUnitMember #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompilationUnitMember -> m CompilationUnitMember #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompilationUnitMember -> m CompilationUnitMember #

Show CompilationUnitMember Source # 
Generic CompilationUnitMember Source # 
Pretty CompilationUnitMember Source # 
type Rep CompilationUnitMember Source # 

data Configuration Source #

A configuration in either an import or export directive.

configuration ::= 'if' '(' test ')' uri

test ::= dottedName (== stringLiteral)?

dottedName ::= identifier (. identifier)*

Instances

Eq Configuration Source # 
Data Configuration Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Configuration -> c Configuration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Configuration #

toConstr :: Configuration -> Constr #

dataTypeOf :: Configuration -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Configuration) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Configuration) #

gmapT :: (forall b. Data b => b -> b) -> Configuration -> Configuration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Configuration -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Configuration -> r #

gmapQ :: (forall d. Data d => d -> u) -> Configuration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Configuration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Configuration -> m Configuration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Configuration -> m Configuration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Configuration -> m Configuration #

Show Configuration Source # 
Generic Configuration Source # 

Associated Types

type Rep Configuration :: * -> * #

type Rep Configuration Source # 

data ConstructorInitializer Source #

A node that can occur in the initializer list of a constructor declaration.

constructorInitializer ::= [SuperConstructorInvocation] | [ConstructorFieldInitializer] | [RedirectingConstructorInvocation]

Constructors

RedirectingConstructorInvocation (Maybe SimpleIdentifier) ArgumentList

The invocation of a constructor in the same class from within a constructor's initialization list.

redirectingConstructorInvocation ::= this (. identifier)? arguments

ConstructorFieldInitializer Bool SimpleIdentifier Expression

The initialization of a field within a constructor's initialization list.

fieldInitializer ::= (this .)? [SimpleIdentifier] '=' [Expression]

SuperConstructorInvocation (Maybe SimpleIdentifier) ArgumentList

The invocation of a superclass' constructor from within a constructor's initialization list.

superInvocation ::= super (. [SimpleIdentifier])? [ArgumentList]

Instances

Eq ConstructorInitializer Source # 
Data ConstructorInitializer Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstructorInitializer -> c ConstructorInitializer #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstructorInitializer #

toConstr :: ConstructorInitializer -> Constr #

dataTypeOf :: ConstructorInitializer -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ConstructorInitializer) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstructorInitializer) #

gmapT :: (forall b. Data b => b -> b) -> ConstructorInitializer -> ConstructorInitializer #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstructorInitializer -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstructorInitializer -> r #

gmapQ :: (forall d. Data d => d -> u) -> ConstructorInitializer -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstructorInitializer -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstructorInitializer -> m ConstructorInitializer #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructorInitializer -> m ConstructorInitializer #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructorInitializer -> m ConstructorInitializer #

Show ConstructorInitializer Source # 
Generic ConstructorInitializer Source # 
Pretty ConstructorInitializer Source # 
type Rep ConstructorInitializer Source # 

data ConstructorName Source #

The name of a constructor.

constructorName ::= type (. identifier)?

Instances

Eq ConstructorName Source # 
Data ConstructorName Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstructorName -> c ConstructorName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstructorName #

toConstr :: ConstructorName -> Constr #

dataTypeOf :: ConstructorName -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ConstructorName) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstructorName) #

gmapT :: (forall b. Data b => b -> b) -> ConstructorName -> ConstructorName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstructorName -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstructorName -> r #

gmapQ :: (forall d. Data d => d -> u) -> ConstructorName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstructorName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstructorName -> m ConstructorName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructorName -> m ConstructorName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstructorName -> m ConstructorName #

Show ConstructorName Source # 
Generic ConstructorName Source # 
Pretty ConstructorName Source # 
type Rep ConstructorName Source # 
type Rep ConstructorName = D1 (MetaData "ConstructorName" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "ConstructorName" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier)))))

data Declaration Source #

A node that represents the declaration of one or more names. Each declared name is visible within a name scope.

Instances

Eq Declaration Source # 
Data Declaration Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Declaration -> c Declaration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Declaration #

toConstr :: Declaration -> Constr #

dataTypeOf :: Declaration -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Declaration) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Declaration) #

gmapT :: (forall b. Data b => b -> b) -> Declaration -> Declaration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Declaration -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Declaration -> r #

gmapQ :: (forall d. Data d => d -> u) -> Declaration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Declaration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration -> m Declaration #

Show Declaration Source # 
Generic Declaration Source # 

Associated Types

type Rep Declaration :: * -> * #

type Rep Declaration Source # 

data DeclaredIdentifier Source #

The declaration of a single identifier.

declaredIdentifier ::= [Annotation] finalConstVarOrType [SimpleIdentifier]

Instances

Eq DeclaredIdentifier Source # 
Data DeclaredIdentifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeclaredIdentifier -> c DeclaredIdentifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeclaredIdentifier #

toConstr :: DeclaredIdentifier -> Constr #

dataTypeOf :: DeclaredIdentifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DeclaredIdentifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeclaredIdentifier) #

gmapT :: (forall b. Data b => b -> b) -> DeclaredIdentifier -> DeclaredIdentifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeclaredIdentifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeclaredIdentifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> DeclaredIdentifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DeclaredIdentifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeclaredIdentifier -> m DeclaredIdentifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclaredIdentifier -> m DeclaredIdentifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeclaredIdentifier -> m DeclaredIdentifier #

Show DeclaredIdentifier Source # 
Generic DeclaredIdentifier Source # 
Pretty DeclaredIdentifier Source # 
type Rep DeclaredIdentifier Source # 

data Directive Source #

A node that represents a directive.

directive ::= [ExportDirective] | [ImportDirective] | [LibraryDirective] | [PartDirective] | [PartOfDirective]

Constructors

UriBasedDirective UriBasedDirective 
PartOfDirective (Maybe Comment) [Annotation] LibraryIdentifier

A part-of directive.

partOfDirective ::= [Annotation] part 'of' [Identifier] ';'

LibraryDirective (Maybe Comment) [Annotation] LibraryIdentifier

A library directive.

libraryDirective ::= [Annotation] library [Identifier] ';'

Instances

Eq Directive Source # 
Data Directive Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Directive -> c Directive #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Directive #

toConstr :: Directive -> Constr #

dataTypeOf :: Directive -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Directive) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Directive) #

gmapT :: (forall b. Data b => b -> b) -> Directive -> Directive #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Directive -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Directive -> r #

gmapQ :: (forall d. Data d => d -> u) -> Directive -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Directive -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Directive -> m Directive #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Directive -> m Directive #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Directive -> m Directive #

Show Directive Source # 
Generic Directive Source # 

Associated Types

type Rep Directive :: * -> * #

Pretty Directive Source # 
type Rep Directive Source # 

newtype DottedName Source #

A dotted name, used in a configuration within an import or export directive.

dottedName ::= [SimpleIdentifier] (. [SimpleIdentifier])*

Instances

Eq DottedName Source # 
Data DottedName Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DottedName -> c DottedName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DottedName #

toConstr :: DottedName -> Constr #

dataTypeOf :: DottedName -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DottedName) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DottedName) #

gmapT :: (forall b. Data b => b -> b) -> DottedName -> DottedName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DottedName -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DottedName -> r #

gmapQ :: (forall d. Data d => d -> u) -> DottedName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DottedName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DottedName -> m DottedName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DottedName -> m DottedName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DottedName -> m DottedName #

Show DottedName Source # 
Generic DottedName Source # 

Associated Types

type Rep DottedName :: * -> * #

type Rep DottedName Source # 
type Rep DottedName = D1 (MetaData "DottedName" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "DottedName" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SimpleIdentifier])))

data EnumConstantDeclaration Source #

The declaration of an enum constant.

Instances

Eq EnumConstantDeclaration Source # 
Data EnumConstantDeclaration Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumConstantDeclaration -> c EnumConstantDeclaration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumConstantDeclaration #

toConstr :: EnumConstantDeclaration -> Constr #

dataTypeOf :: EnumConstantDeclaration -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnumConstantDeclaration) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumConstantDeclaration) #

gmapT :: (forall b. Data b => b -> b) -> EnumConstantDeclaration -> EnumConstantDeclaration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumConstantDeclaration -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumConstantDeclaration -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumConstantDeclaration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumConstantDeclaration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumConstantDeclaration -> m EnumConstantDeclaration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumConstantDeclaration -> m EnumConstantDeclaration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumConstantDeclaration -> m EnumConstantDeclaration #

Show EnumConstantDeclaration Source # 
Generic EnumConstantDeclaration Source # 
Pretty EnumConstantDeclaration Source # 
type Rep EnumConstantDeclaration Source # 

data Expression Source #

A node that represents an expression.

expression ::= [AssignmentExpression] | [ConditionalExpression] cascadeSection* | [ThrowExpression]

Constructors

Literal' Literal 
Identifier' Identifier 
PrefixExpression Token Expression

A prefix unary expression.

prefixExpression ::= [Token] [Expression]

PostfixExpression Expression Token

A postfix unary expression.

postfixExpression ::= [Expression] [Token]

BinaryExpression Expression Token Expression

A binary (infix) expression.

binaryExpression ::= [Expression] [Token] [Expression]

AssignmentExpression Expression Token Expression

An assignment expression.

assignmentExpression ::= [Expression] operator [Expression]

FunctionExpression' FunctionExpression 
InstanceCreationExpression NewOrConst ConstructorName ArgumentList

An instance creation expression.

newExpression ::= (new | const) [TypeName] (. [SimpleIdentifier])? [ArgumentList]

AsExpression Expression TypeName

An as expression.

asExpression ::= [Expression] as [TypeName]

IsExpression Expression Bool TypeName

An is expression.

isExpression ::= [Expression] is !? [TypeName]

ThrowExpression Expression

A throw expression.

throwExpression ::= throw [Expression]

RethrowExpression

A rethrow expression.

rethrowExpression ::= rethrow

ThisExpression

A this expression.

thisExpression ::= this

SuperExpression

A super expression.

superExpression ::= super

ParenthesizedExpression Expression

A parenthesized expression.

parenthesizedExpression ::= '(' [Expression] ')'

PropertyAccess Expression SimpleIdentifier

The access of a property of an object.

Note, however, that accesses to properties of objects can also be represented as [PrefixedIdentifier] nodes in cases where the target is also a simple identifier.

propertyAccess ::= [Expression] . [SimpleIdentifier]

NamedExpression Label Expression

An expression that has a name associated with it. They are used in method invocations when there are named parameters.

namedExpression ::= [Label] [Expression]

InvocationExpression InvocationExpression 
ConditionalExpression Expression Expression Expression

A conditional expression.

conditionalExpression ::= [Expression] ? [Expression] : [Expression]

CascadeExpression Expression [Expression]

A sequence of cascaded expressions: expressions that share a common target. There are three kinds of expressions that can be used in a cascade expression: [IndexExpression], [MethodInvocation] and [PropertyAccess].

cascadeExpression ::= [Expression] cascadeSection*

cascadeSection ::= '..' (cascadeSelector arguments*) (assignableSelector arguments*)* (assignmentOperator expressionWithoutCascade)?

cascadeSelector ::= '[ ' expression '] ' | identifier

IndexExpressionForCasecade Expression

An index expression.

indexExpression ::= [Expression] '[' [Expression] ']'

IndexExpressionForTarget Expression Expression 
AwaitExpression Expression

An await expression.

awaitExpression ::= await [Expression]

Instances

Eq Expression Source # 
Data Expression Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression -> c Expression #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expression #

toConstr :: Expression -> Constr #

dataTypeOf :: Expression -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Expression) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expression) #

gmapT :: (forall b. Data b => b -> b) -> Expression -> Expression #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression -> r #

gmapQ :: (forall d. Data d => d -> u) -> Expression -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression -> m Expression #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression -> m Expression #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression -> m Expression #

Show Expression Source # 
Generic Expression Source # 

Associated Types

type Rep Expression :: * -> * #

Pretty Expression Source # 
type Rep Expression Source # 
type Rep Expression = D1 (MetaData "Expression" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Literal'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Literal))) (C1 (MetaCons "Identifier'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier)))) ((:+:) (C1 (MetaCons "PrefixExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))) ((:+:) (C1 (MetaCons "PostfixExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))) (C1 (MetaCons "BinaryExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))))))) ((:+:) ((:+:) (C1 (MetaCons "AssignmentExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))) ((:+:) (C1 (MetaCons "FunctionExpression'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionExpression))) (C1 (MetaCons "InstanceCreationExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NewOrConst)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConstructorName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList))))))) ((:+:) (C1 (MetaCons "AsExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName)))) ((:+:) (C1 (MetaCons "IsExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))))) (C1 (MetaCons "ThrowExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "RethrowExpression" PrefixI False) U1) ((:+:) (C1 (MetaCons "ThisExpression" PrefixI False) U1) (C1 (MetaCons "SuperExpression" PrefixI False) U1))) ((:+:) (C1 (MetaCons "ParenthesizedExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))) ((:+:) (C1 (MetaCons "PropertyAccess" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))) (C1 (MetaCons "NamedExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Label)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))))) ((:+:) ((:+:) (C1 (MetaCons "InvocationExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InvocationExpression))) ((:+:) (C1 (MetaCons "ConditionalExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))) (C1 (MetaCons "CascadeExpression" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expression])))))) ((:+:) (C1 (MetaCons "IndexExpressionForCasecade" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))) ((:+:) (C1 (MetaCons "IndexExpressionForTarget" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))) (C1 (MetaCons "AwaitExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))))))

newtype ExtendsClause Source #

The "extends" clause in a class declaration.

extendsClause ::= extends [TypeName]

Constructors

ExtendsClause TypeName 

Instances

Eq ExtendsClause Source # 
Data ExtendsClause Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtendsClause -> c ExtendsClause #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtendsClause #

toConstr :: ExtendsClause -> Constr #

dataTypeOf :: ExtendsClause -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ExtendsClause) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtendsClause) #

gmapT :: (forall b. Data b => b -> b) -> ExtendsClause -> ExtendsClause #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtendsClause -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtendsClause -> r #

gmapQ :: (forall d. Data d => d -> u) -> ExtendsClause -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtendsClause -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtendsClause -> m ExtendsClause #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtendsClause -> m ExtendsClause #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtendsClause -> m ExtendsClause #

Show ExtendsClause Source # 
Generic ExtendsClause Source # 

Associated Types

type Rep ExtendsClause :: * -> * #

Pretty ExtendsClause Source # 
type Rep ExtendsClause Source # 
type Rep ExtendsClause = D1 (MetaData "ExtendsClause" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "ExtendsClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName)))

data FinalConstVarOrType Source #

Instances

Eq FinalConstVarOrType Source # 
Data FinalConstVarOrType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FinalConstVarOrType -> c FinalConstVarOrType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FinalConstVarOrType #

toConstr :: FinalConstVarOrType -> Constr #

dataTypeOf :: FinalConstVarOrType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FinalConstVarOrType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FinalConstVarOrType) #

gmapT :: (forall b. Data b => b -> b) -> FinalConstVarOrType -> FinalConstVarOrType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FinalConstVarOrType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FinalConstVarOrType -> r #

gmapQ :: (forall d. Data d => d -> u) -> FinalConstVarOrType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FinalConstVarOrType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FinalConstVarOrType -> m FinalConstVarOrType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FinalConstVarOrType -> m FinalConstVarOrType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FinalConstVarOrType -> m FinalConstVarOrType #

Show FinalConstVarOrType Source # 
Generic FinalConstVarOrType Source # 
Pretty FinalConstVarOrType Source # 
type Rep FinalConstVarOrType Source # 

data FinalVarOrType Source #

Instances

Eq FinalVarOrType Source # 
Data FinalVarOrType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FinalVarOrType -> c FinalVarOrType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FinalVarOrType #

toConstr :: FinalVarOrType -> Constr #

dataTypeOf :: FinalVarOrType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FinalVarOrType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FinalVarOrType) #

gmapT :: (forall b. Data b => b -> b) -> FinalVarOrType -> FinalVarOrType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FinalVarOrType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FinalVarOrType -> r #

gmapQ :: (forall d. Data d => d -> u) -> FinalVarOrType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FinalVarOrType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FinalVarOrType -> m FinalVarOrType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FinalVarOrType -> m FinalVarOrType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FinalVarOrType -> m FinalVarOrType #

Show FinalVarOrType Source # 
Generic FinalVarOrType Source # 

Associated Types

type Rep FinalVarOrType :: * -> * #

Pretty FinalVarOrType Source # 
type Rep FinalVarOrType Source # 
type Rep FinalVarOrType = D1 (MetaData "FinalVarOrType" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "FVTFinal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) ((:+:) (C1 (MetaCons "FVTType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) (C1 (MetaCons "FVTVar" PrefixI False) U1)))

data FormalParameter Source #

A node representing a parameter to a function.

formalParameter ::= [NormalFormalParameter] | [DefaultFormalParameter]

Instances

Eq FormalParameter Source # 
Data FormalParameter Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormalParameter -> c FormalParameter #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FormalParameter #

toConstr :: FormalParameter -> Constr #

dataTypeOf :: FormalParameter -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FormalParameter) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FormalParameter) #

gmapT :: (forall b. Data b => b -> b) -> FormalParameter -> FormalParameter #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameter -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameter -> r #

gmapQ :: (forall d. Data d => d -> u) -> FormalParameter -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FormalParameter -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormalParameter -> m FormalParameter #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameter -> m FormalParameter #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameter -> m FormalParameter #

Show FormalParameter Source # 
Generic FormalParameter Source # 
Pretty FormalParameter Source # 
type Rep FormalParameter Source # 

newtype FormalParameterList Source #

The formal parameter list of a method declaration, function declaration, or function type alias.

While the grammar requires all optional formal parameters to follow all of the normal formal parameters and at most one grouping of optional formal parameters, this class does not enforce those constraints. All parameters are flattened into a single list, which can have any or all kinds of parameters (normal, named, and positional) in any order.

formalParameterList ::= '(' ')' | '(' normalFormalParameters (',' optionalFormalParameters)? ')' | '(' optionalFormalParameters ')'

normalFormalParameters ::= [NormalFormalParameter] (',' [NormalFormalParameter])*

optionalFormalParameters ::= optionalPositionalFormalParameters | namedFormalParameters

optionalPositionalFormalParameters ::= '[' [DefaultFormalParameter] (',' [DefaultFormalParameter])* ']'

namedFormalParameters ::= '{' [DefaultFormalParameter] (',' [DefaultFormalParameter])* '}'

Instances

Eq FormalParameterList Source # 
Data FormalParameterList Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormalParameterList -> c FormalParameterList #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FormalParameterList #

toConstr :: FormalParameterList -> Constr #

dataTypeOf :: FormalParameterList -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FormalParameterList) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FormalParameterList) #

gmapT :: (forall b. Data b => b -> b) -> FormalParameterList -> FormalParameterList #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameterList -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameterList -> r #

gmapQ :: (forall d. Data d => d -> u) -> FormalParameterList -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FormalParameterList -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormalParameterList -> m FormalParameterList #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameterList -> m FormalParameterList #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameterList -> m FormalParameterList #

Show FormalParameterList Source # 
Generic FormalParameterList Source # 
Pretty FormalParameterList Source # 
type Rep FormalParameterList Source # 
type Rep FormalParameterList = D1 (MetaData "FormalParameterList" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "FormalParameterList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FormalParameter])))

data FunctionBody Source #

A node representing the body of a function or method.

functionBody ::= [BlockFunctionBody] | [EmptyFunctionBody] | [ExpressionFunctionBody]

Constructors

BlockFunctionBody AsyncModifier Block

A function body that consists of a block of statements.

blockFunctionBody ::= (async | async * | sync *)? [Block]

EmptyFunctionBody

An empty function body, which can only appear in constructors or abstract methods.

emptyFunctionBody ::= ';'

ExpressionFunctionBody Bool Expression

A function body consisting of a single expression.

expressionFunctionBody ::= async? '=>' [Expression] ';'

NativeFunctionBody StringLiteral

A function body that consists of a native keyword followed by a string literal.

nativeFunctionBody ::= native [SimpleStringLiteral] ';'

Instances

Eq FunctionBody Source # 
Data FunctionBody Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionBody -> c FunctionBody #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionBody #

toConstr :: FunctionBody -> Constr #

dataTypeOf :: FunctionBody -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionBody) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionBody) #

gmapT :: (forall b. Data b => b -> b) -> FunctionBody -> FunctionBody #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionBody -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionBody -> r #

gmapQ :: (forall d. Data d => d -> u) -> FunctionBody -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionBody -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionBody -> m FunctionBody #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionBody -> m FunctionBody #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionBody -> m FunctionBody #

Show FunctionBody Source # 
Generic FunctionBody Source # 

Associated Types

type Rep FunctionBody :: * -> * #

Pretty FunctionBody Source # 
type Rep FunctionBody Source # 

data FunctionDeclaration Source #

A top-level declaration.

functionDeclaration ::= external functionSignature | functionSignature [FunctionBody]

functionSignature ::= [Type]? (get | set)? [SimpleIdentifier] [FormalParameterList]

Instances

Eq FunctionDeclaration Source # 
Data FunctionDeclaration Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionDeclaration -> c FunctionDeclaration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionDeclaration #

toConstr :: FunctionDeclaration -> Constr #

dataTypeOf :: FunctionDeclaration -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionDeclaration) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionDeclaration) #

gmapT :: (forall b. Data b => b -> b) -> FunctionDeclaration -> FunctionDeclaration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionDeclaration -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionDeclaration -> r #

gmapQ :: (forall d. Data d => d -> u) -> FunctionDeclaration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionDeclaration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionDeclaration -> m FunctionDeclaration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionDeclaration -> m FunctionDeclaration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionDeclaration -> m FunctionDeclaration #

Show FunctionDeclaration Source # 
Generic FunctionDeclaration Source # 
Pretty FunctionDeclaration Source # 
type Rep FunctionDeclaration Source # 

data FunctionExpression Source #

A function expression.

functionExpression ::= [TypeParameterList]? [FormalParameterList] [FunctionBody]

Instances

Eq FunctionExpression Source # 
Data FunctionExpression Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionExpression -> c FunctionExpression #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionExpression #

toConstr :: FunctionExpression -> Constr #

dataTypeOf :: FunctionExpression -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionExpression) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionExpression) #

gmapT :: (forall b. Data b => b -> b) -> FunctionExpression -> FunctionExpression #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionExpression -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionExpression -> r #

gmapQ :: (forall d. Data d => d -> u) -> FunctionExpression -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionExpression -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionExpression -> m FunctionExpression #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionExpression -> m FunctionExpression #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionExpression -> m FunctionExpression #

Show FunctionExpression Source # 
Generic FunctionExpression Source # 
Pretty FunctionExpression Source # 
type Rep FunctionExpression Source # 

data Identifier Source #

A node that represents an identifier.

identifier ::= [SimpleIdentifier] | [PrefixedIdentifier]

Constructors

SimpleIdentifier' SimpleIdentifier 
PrefixedIdentifier SimpleIdentifier SimpleIdentifier

An identifier that is prefixed or an access to an object property where the target of the property access is a simple identifier.

prefixedIdentifier ::= [SimpleIdentifier] . [SimpleIdentifier]

LibraryIdentifier' LibraryIdentifier 

Instances

Eq Identifier Source # 
Data Identifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier #

toConstr :: Identifier -> Constr #

dataTypeOf :: Identifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) #

gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #

Show Identifier Source # 
Generic Identifier Source # 

Associated Types

type Rep Identifier :: * -> * #

Pretty Identifier Source # 
type Rep Identifier Source # 

newtype ImplementsClause Source #

The "implements" clause in an class declaration.

implementsClause ::= implements [TypeName] (',' [TypeName])*

Constructors

ImplementsClause [TypeName] 

Instances

Eq ImplementsClause Source # 
Data ImplementsClause Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImplementsClause -> c ImplementsClause #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImplementsClause #

toConstr :: ImplementsClause -> Constr #

dataTypeOf :: ImplementsClause -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ImplementsClause) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImplementsClause) #

gmapT :: (forall b. Data b => b -> b) -> ImplementsClause -> ImplementsClause #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImplementsClause -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImplementsClause -> r #

gmapQ :: (forall d. Data d => d -> u) -> ImplementsClause -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImplementsClause -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImplementsClause -> m ImplementsClause #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplementsClause -> m ImplementsClause #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplementsClause -> m ImplementsClause #

Show ImplementsClause Source # 
Generic ImplementsClause Source # 
Pretty ImplementsClause Source # 
type Rep ImplementsClause Source # 
type Rep ImplementsClause = D1 (MetaData "ImplementsClause" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "ImplementsClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))

data InterpolationElement Source #

A node within a [StringInterpolation].

interpolationElement ::= [InterpolationExpression] | [InterpolationString]

Constructors

InterpolationExpression Expression

An expression embedded in a string interpolation.

interpolationExpression ::= $ [SimpleIdentifier] | $ '{' [Expression] '}'

InterpolationString String

A non-empty substring of an interpolated string.

interpolationString ::= characters

Instances

Eq InterpolationElement Source # 
Data InterpolationElement Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InterpolationElement -> c InterpolationElement #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InterpolationElement #

toConstr :: InterpolationElement -> Constr #

dataTypeOf :: InterpolationElement -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c InterpolationElement) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InterpolationElement) #

gmapT :: (forall b. Data b => b -> b) -> InterpolationElement -> InterpolationElement #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InterpolationElement -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InterpolationElement -> r #

gmapQ :: (forall d. Data d => d -> u) -> InterpolationElement -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InterpolationElement -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InterpolationElement -> m InterpolationElement #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InterpolationElement -> m InterpolationElement #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InterpolationElement -> m InterpolationElement #

Show InterpolationElement Source # 
Generic InterpolationElement Source # 
Pretty InterpolationElement Source # 
type Rep InterpolationElement Source # 
type Rep InterpolationElement = D1 (MetaData "InterpolationElement" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "InterpolationExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))) (C1 (MetaCons "InterpolationString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data InvocationExpression Source #

The invocation of a function or method; either a [FunctionExpressionInvocation] or a [MethodInvocation].

Constructors

FunctionExpressionInvocation Expression (Maybe TypeArgumentList) ArgumentList

The invocation of a function resulting from evaluating an expression. Invocations of methods and other forms of functions are represented by [MethodInvocation] nodes. Invocations of getters and setters are represented by either [PrefixedIdentifier] or [PropertyAccess] nodes.

functionExpressionInvocation ::= [Expression] [TypeArgumentList]? [ArgumentList]

MethodInvocation (Maybe Expression) SimpleIdentifier (Maybe TypeArgumentList) ArgumentList

The invocation of either a function or a method. Invocations of functions resulting from evaluating an expression are represented by [FunctionExpressionInvocation] nodes. Invocations of getters and setters are represented by either [PrefixedIdentifier] or [PropertyAccess] nodes.

methodInvocation ::= ([Expression] .)? [SimpleIdentifier] [TypeArgumentList]? [ArgumentList]

Instances

Eq InvocationExpression Source # 
Data InvocationExpression Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InvocationExpression -> c InvocationExpression #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InvocationExpression #

toConstr :: InvocationExpression -> Constr #

dataTypeOf :: InvocationExpression -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c InvocationExpression) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InvocationExpression) #

gmapT :: (forall b. Data b => b -> b) -> InvocationExpression -> InvocationExpression #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InvocationExpression -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InvocationExpression -> r #

gmapQ :: (forall d. Data d => d -> u) -> InvocationExpression -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InvocationExpression -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InvocationExpression -> m InvocationExpression #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InvocationExpression -> m InvocationExpression #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InvocationExpression -> m InvocationExpression #

Show InvocationExpression Source # 
Generic InvocationExpression Source # 
Pretty InvocationExpression Source # 
type Rep InvocationExpression Source # 

newtype Label Source #

A label on either a [LabeledStatement] or a [NamedExpression].

label ::= [SimpleIdentifier] :

Constructors

Label SimpleIdentifier 

Instances

Eq Label Source # 

Methods

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

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

Data Label Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Label -> c Label #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Label #

toConstr :: Label -> Constr #

dataTypeOf :: Label -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Label) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Label) #

gmapT :: (forall b. Data b => b -> b) -> Label -> Label #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r #

gmapQ :: (forall d. Data d => d -> u) -> Label -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Label -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Label -> m Label #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label #

Show Label Source # 

Methods

showsPrec :: Int -> Label -> ShowS #

show :: Label -> String #

showList :: [Label] -> ShowS #

Generic Label Source # 

Associated Types

type Rep Label :: * -> * #

Methods

from :: Label -> Rep Label x #

to :: Rep Label x -> Label #

Pretty Label Source # 

Methods

pretty :: Label -> Doc

prettyPrec :: Int -> Label -> Doc

type Rep Label Source # 
type Rep Label = D1 (MetaData "Label" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "Label" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))

newtype LibraryIdentifier Source #

The identifier for a library.

libraryIdentifier ::= [SimpleIdentifier] (. [SimpleIdentifier])*

Instances

Eq LibraryIdentifier Source # 
Data LibraryIdentifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LibraryIdentifier -> c LibraryIdentifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LibraryIdentifier #

toConstr :: LibraryIdentifier -> Constr #

dataTypeOf :: LibraryIdentifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c LibraryIdentifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LibraryIdentifier) #

gmapT :: (forall b. Data b => b -> b) -> LibraryIdentifier -> LibraryIdentifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LibraryIdentifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LibraryIdentifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> LibraryIdentifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LibraryIdentifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LibraryIdentifier -> m LibraryIdentifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LibraryIdentifier -> m LibraryIdentifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LibraryIdentifier -> m LibraryIdentifier #

Show LibraryIdentifier Source # 
Generic LibraryIdentifier Source # 
Pretty LibraryIdentifier Source # 
type Rep LibraryIdentifier Source # 
type Rep LibraryIdentifier = D1 (MetaData "LibraryIdentifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "LibraryIdentifier" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SimpleIdentifier])))

data Literal Source #

A node that represents a literal expression.

literal ::= [BooleanLiteral] | [DoubleLiteral] | [IntegerLiteral] | [ListLiteral] | [MapLiteral] | [NullLiteral] | [StringLiteral]

Constructors

BooleanLiteral Bool 
DoubleLiteral Double 
TypedLiteral TypedLiteral 
IntegerLiteral Integer

An integer literal expression.

integerLiteral ::= decimalIntegerLiteral | hexadecimalIntegerLiteral

decimalIntegerLiteral ::= decimalDigit+

hexadecimalIntegerLiteral ::= '0x' hexadecimalDigit+ | '0X' hexadecimalDigit+

NullLiteral

A null literal expression.

nullLiteral ::= null

StringLiteral' StringLiteral 
SymbolLiteral [Token]

A symbol literal expression.

symbolLiteral ::= # (operator | (identifier (. identifier)*))

Instances

Eq Literal Source # 

Methods

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

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

Data Literal Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Literal -> c Literal #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal #

toConstr :: Literal -> Constr #

dataTypeOf :: Literal -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Literal) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal) #

gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r #

gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

Show Literal Source # 
Generic Literal Source # 

Associated Types

type Rep Literal :: * -> * #

Methods

from :: Literal -> Rep Literal x #

to :: Rep Literal x -> Literal #

Pretty Literal Source # 

Methods

pretty :: Literal -> Doc

prettyPrec :: Int -> Literal -> Doc

type Rep Literal Source # 

data MapLiteralEntry Source #

A single key/value pair in a map literal.

mapLiteralEntry ::= [Expression] : [Expression]

Instances

Eq MapLiteralEntry Source # 
Data MapLiteralEntry Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MapLiteralEntry -> c MapLiteralEntry #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MapLiteralEntry #

toConstr :: MapLiteralEntry -> Constr #

dataTypeOf :: MapLiteralEntry -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MapLiteralEntry) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MapLiteralEntry) #

gmapT :: (forall b. Data b => b -> b) -> MapLiteralEntry -> MapLiteralEntry #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MapLiteralEntry -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MapLiteralEntry -> r #

gmapQ :: (forall d. Data d => d -> u) -> MapLiteralEntry -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MapLiteralEntry -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MapLiteralEntry -> m MapLiteralEntry #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MapLiteralEntry -> m MapLiteralEntry #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MapLiteralEntry -> m MapLiteralEntry #

Show MapLiteralEntry Source # 
Generic MapLiteralEntry Source # 
Pretty MapLiteralEntry Source # 
type Rep MapLiteralEntry Source # 
type Rep MapLiteralEntry = D1 (MetaData "MapLiteralEntry" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "MapLiteralEntry" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression))))

data MethodModifier Source #

Constructors

Abstract 
Static 

Instances

Eq MethodModifier Source # 
Data MethodModifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodModifier -> c MethodModifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodModifier #

toConstr :: MethodModifier -> Constr #

dataTypeOf :: MethodModifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MethodModifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodModifier) #

gmapT :: (forall b. Data b => b -> b) -> MethodModifier -> MethodModifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodModifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodModifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> MethodModifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodModifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodModifier -> m MethodModifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodModifier -> m MethodModifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodModifier -> m MethodModifier #

Show MethodModifier Source # 
Generic MethodModifier Source # 

Associated Types

type Rep MethodModifier :: * -> * #

Pretty MethodModifier Source # 
type Rep MethodModifier Source # 
type Rep MethodModifier = D1 (MetaData "MethodModifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "Abstract" PrefixI False) U1) (C1 (MetaCons "Static" PrefixI False) U1))

data NamedCompilationUnitMember Source #

A node that declares a single name within the scope of a compilation unit.

Constructors

FunctionDeclaration' FunctionDeclaration 
TypeAlias TypeAlias 
ClassDeclaration (Maybe Comment) [Annotation] Bool SimpleIdentifier (Maybe TypeParameterList) (Maybe ExtendsClause) (Maybe WithClause) (Maybe ImplementsClause) [ClassMember]

The declaration of a class.

classDeclaration ::= abstract? 'class' [SimpleIdentifier] [TypeParameterList]? ([ExtendsClause] [WithClause]?)? [ImplementsClause]? '{' [ClassMember]* '}'

EnumDeclaration (Maybe Comment) [Annotation] SimpleIdentifier [EnumConstantDeclaration]

The declaration of an enumeration.

enumType ::= metadata enum [SimpleIdentifier] '{' [SimpleIdentifier] (',' [SimpleIdentifier])* (',')? '}'

Instances

Eq NamedCompilationUnitMember Source # 
Data NamedCompilationUnitMember Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedCompilationUnitMember -> c NamedCompilationUnitMember #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedCompilationUnitMember #

toConstr :: NamedCompilationUnitMember -> Constr #

dataTypeOf :: NamedCompilationUnitMember -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NamedCompilationUnitMember) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedCompilationUnitMember) #

gmapT :: (forall b. Data b => b -> b) -> NamedCompilationUnitMember -> NamedCompilationUnitMember #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedCompilationUnitMember -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedCompilationUnitMember -> r #

gmapQ :: (forall d. Data d => d -> u) -> NamedCompilationUnitMember -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedCompilationUnitMember -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedCompilationUnitMember -> m NamedCompilationUnitMember #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedCompilationUnitMember -> m NamedCompilationUnitMember #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedCompilationUnitMember -> m NamedCompilationUnitMember #

Show NamedCompilationUnitMember Source # 
Generic NamedCompilationUnitMember Source # 
Pretty NamedCompilationUnitMember Source # 
type Rep NamedCompilationUnitMember Source # 
type Rep NamedCompilationUnitMember = D1 (MetaData "NamedCompilationUnitMember" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "FunctionDeclaration'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionDeclaration))) (C1 (MetaCons "TypeAlias" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAlias)))) ((:+:) (C1 (MetaCons "ClassDeclaration" PrefixI False) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeParameterList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ExtendsClause)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe WithClause))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ImplementsClause))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ClassMember]))))))) (C1 (MetaCons "EnumDeclaration" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnumConstantDeclaration])))))))

data NamespaceDirective Source #

A node that represents a directive that impacts the namespace of a library.

directive ::= [ExportDirective] | [ImportDirective]

Constructors

ExportDirective (Maybe Comment) [Annotation] StringLiteral [Configuration] [Combinator]

An export directive.

exportDirective ::= [Annotation] export [StringLiteral] [Combinator]* ';'

ImportDirective (Maybe Comment) [Annotation] StringLiteral [Configuration] Bool (Maybe SimpleIdentifier) [Combinator]

An import directive.

importDirective ::= [Annotation] 'import' [StringLiteral] (as identifier)? [Combinator]* ';' | [Annotation] 'import' [StringLiteral] deferred as identifier [Combinator]* ';'

Instances

Eq NamespaceDirective Source # 
Data NamespaceDirective Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamespaceDirective -> c NamespaceDirective #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamespaceDirective #

toConstr :: NamespaceDirective -> Constr #

dataTypeOf :: NamespaceDirective -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NamespaceDirective) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamespaceDirective) #

gmapT :: (forall b. Data b => b -> b) -> NamespaceDirective -> NamespaceDirective #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceDirective -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceDirective -> r #

gmapQ :: (forall d. Data d => d -> u) -> NamespaceDirective -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NamespaceDirective -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamespaceDirective -> m NamespaceDirective #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceDirective -> m NamespaceDirective #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceDirective -> m NamespaceDirective #

Show NamespaceDirective Source # 
Generic NamespaceDirective Source # 
Pretty NamespaceDirective Source # 
type Rep NamespaceDirective Source # 
type Rep NamespaceDirective = D1 (MetaData "NamespaceDirective" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "ExportDirective" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Configuration])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Combinator])))))) (C1 (MetaCons "ImportDirective" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Configuration])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Combinator])))))))

data NewOrConst Source #

Constructors

NCNew 
NCConst 

Instances

Eq NewOrConst Source # 
Data NewOrConst Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NewOrConst -> c NewOrConst #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NewOrConst #

toConstr :: NewOrConst -> Constr #

dataTypeOf :: NewOrConst -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NewOrConst) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NewOrConst) #

gmapT :: (forall b. Data b => b -> b) -> NewOrConst -> NewOrConst #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NewOrConst -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NewOrConst -> r #

gmapQ :: (forall d. Data d => d -> u) -> NewOrConst -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NewOrConst -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NewOrConst -> m NewOrConst #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NewOrConst -> m NewOrConst #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NewOrConst -> m NewOrConst #

Show NewOrConst Source # 
Generic NewOrConst Source # 

Associated Types

type Rep NewOrConst :: * -> * #

Pretty NewOrConst Source # 
type Rep NewOrConst Source # 
type Rep NewOrConst = D1 (MetaData "NewOrConst" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "NCNew" PrefixI False) U1) (C1 (MetaCons "NCConst" PrefixI False) U1))

data NormalFormalParameter Source #

A formal parameter that is required (is not optional).

normalFormalParameter ::= [FunctionTypedFormalParameter] | [FieldFormalParameter] | [SimpleFormalParameter]

Constructors

FunctionTypedFormalParameter (Maybe Comment) [Annotation] (Maybe TypeName) SimpleIdentifier (Maybe TypeParameterList) FormalParameterList

A function-typed formal parameter.

functionSignature ::= [TypeName]? [SimpleIdentifier] [TypeParameterList]? [FormalParameterList]

FieldFormalParameter (Maybe Comment) [Annotation] (Maybe FinalConstVarOrType) Bool SimpleIdentifier

A field formal parameter.

fieldFormalParameter ::= (final [TypeName] | const [TypeName] | var | [TypeName])? this . [SimpleIdentifier]

SimpleFormalParameter (Maybe Comment) [Annotation] (Maybe FinalVarOrType) SimpleIdentifier

A simple formal parameter.

simpleFormalParameter ::= (final [TypeName] | var | [TypeName])? [SimpleIdentifier]

Instances

Eq NormalFormalParameter Source # 
Data NormalFormalParameter Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NormalFormalParameter -> c NormalFormalParameter #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NormalFormalParameter #

toConstr :: NormalFormalParameter -> Constr #

dataTypeOf :: NormalFormalParameter -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NormalFormalParameter) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NormalFormalParameter) #

gmapT :: (forall b. Data b => b -> b) -> NormalFormalParameter -> NormalFormalParameter #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NormalFormalParameter -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NormalFormalParameter -> r #

gmapQ :: (forall d. Data d => d -> u) -> NormalFormalParameter -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NormalFormalParameter -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NormalFormalParameter -> m NormalFormalParameter #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NormalFormalParameter -> m NormalFormalParameter #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NormalFormalParameter -> m NormalFormalParameter #

Show NormalFormalParameter Source # 
Generic NormalFormalParameter Source # 
Pretty NormalFormalParameter Source # 
type Rep NormalFormalParameter Source # 
type Rep NormalFormalParameter = D1 (MetaData "NormalFormalParameter" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "FunctionTypedFormalParameter" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeName))))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeParameterList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FormalParameterList)))))) ((:+:) (C1 (MetaCons "FieldFormalParameter" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FinalConstVarOrType))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))))) (C1 (MetaCons "SimpleFormalParameter" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Comment))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Annotation]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FinalVarOrType))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))))))

data ParameterKind Source #

Constructors

Required 
Positional 
Named 

Instances

Eq ParameterKind Source # 
Data ParameterKind Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParameterKind -> c ParameterKind #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParameterKind #

toConstr :: ParameterKind -> Constr #

dataTypeOf :: ParameterKind -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ParameterKind) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParameterKind) #

gmapT :: (forall b. Data b => b -> b) -> ParameterKind -> ParameterKind #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParameterKind -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParameterKind -> r #

gmapQ :: (forall d. Data d => d -> u) -> ParameterKind -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ParameterKind -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParameterKind -> m ParameterKind #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterKind -> m ParameterKind #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterKind -> m ParameterKind #

Show ParameterKind Source # 
Generic ParameterKind Source # 

Associated Types

type Rep ParameterKind :: * -> * #

type Rep ParameterKind Source # 
type Rep ParameterKind = D1 (MetaData "ParameterKind" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "Required" PrefixI False) U1) ((:+:) (C1 (MetaCons "Positional" PrefixI False) U1) (C1 (MetaCons "Named" PrefixI False) U1)))

data PropertyKeyword Source #

Constructors

Get 
Set 
Empty 

Instances

Eq PropertyKeyword Source # 
Data PropertyKeyword Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PropertyKeyword -> c PropertyKeyword #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PropertyKeyword #

toConstr :: PropertyKeyword -> Constr #

dataTypeOf :: PropertyKeyword -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PropertyKeyword) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PropertyKeyword) #

gmapT :: (forall b. Data b => b -> b) -> PropertyKeyword -> PropertyKeyword #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PropertyKeyword -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PropertyKeyword -> r #

gmapQ :: (forall d. Data d => d -> u) -> PropertyKeyword -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PropertyKeyword -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PropertyKeyword -> m PropertyKeyword #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyKeyword -> m PropertyKeyword #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PropertyKeyword -> m PropertyKeyword #

Show PropertyKeyword Source # 
Generic PropertyKeyword Source # 
Pretty PropertyKeyword Source # 
type Rep PropertyKeyword Source # 
type Rep PropertyKeyword = D1 (MetaData "PropertyKeyword" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "Get" PrefixI False) U1) ((:+:) (C1 (MetaCons "Set" PrefixI False) U1) (C1 (MetaCons "Empty" PrefixI False) U1)))

newtype ScriptTag Source #

Constructors

ScriptTag Token 

Instances

Eq ScriptTag Source # 
Data ScriptTag Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScriptTag -> c ScriptTag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScriptTag #

toConstr :: ScriptTag -> Constr #

dataTypeOf :: ScriptTag -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ScriptTag) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScriptTag) #

gmapT :: (forall b. Data b => b -> b) -> ScriptTag -> ScriptTag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScriptTag -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScriptTag -> r #

gmapQ :: (forall d. Data d => d -> u) -> ScriptTag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ScriptTag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScriptTag -> m ScriptTag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptTag -> m ScriptTag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScriptTag -> m ScriptTag #

Show ScriptTag Source # 
Generic ScriptTag Source # 

Associated Types

type Rep ScriptTag :: * -> * #

Pretty ScriptTag Source # 
type Rep ScriptTag Source # 
type Rep ScriptTag = D1 (MetaData "ScriptTag" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "ScriptTag" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))

newtype SimpleIdentifier Source #

A simple identifier.

simpleIdentifier ::= initialCharacter internalCharacter*

initialCharacter ::= '_' | $ | letter

internalCharacter ::= '_' | $ | letter | digit

Constructors

SimpleIdentifier Token 

Instances

Eq SimpleIdentifier Source # 
Data SimpleIdentifier Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleIdentifier -> c SimpleIdentifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleIdentifier #

toConstr :: SimpleIdentifier -> Constr #

dataTypeOf :: SimpleIdentifier -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleIdentifier) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleIdentifier) #

gmapT :: (forall b. Data b => b -> b) -> SimpleIdentifier -> SimpleIdentifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleIdentifier -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleIdentifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> SimpleIdentifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleIdentifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleIdentifier -> m SimpleIdentifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleIdentifier -> m SimpleIdentifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleIdentifier -> m SimpleIdentifier #

Show SimpleIdentifier Source # 
Generic SimpleIdentifier Source # 
Pretty SimpleIdentifier Source # 
type Rep SimpleIdentifier Source # 
type Rep SimpleIdentifier = D1 (MetaData "SimpleIdentifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "SimpleIdentifier" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))

data SingleStringLiteral Source #

A single string literal expression.

singleStringLiteral ::= [SimpleStringLiteral] | [StringInterpolation]

Constructors

SimpleStringLiteral String

A string literal expression that does not contain any interpolations.

simpleStringLiteral ::= rawStringLiteral | basicStringLiteral

rawStringLiteral ::= r basicStringLiteral

simpleStringLiteral ::= multiLineStringLiteral | singleLineStringLiteral

multiLineStringLiteral ::= "'''" characters "'''" | '"""' characters '"""'

singleLineStringLiteral ::= "'" characters "'" | '"' characters '"'

StringInterpolation [InterpolationElement]

A string interpolation literal.

stringInterpolation ::= ''' [InterpolationElement]* ''' | '"' [InterpolationElement]* '"'

Instances

Eq SingleStringLiteral Source # 
Data SingleStringLiteral Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SingleStringLiteral -> c SingleStringLiteral #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SingleStringLiteral #

toConstr :: SingleStringLiteral -> Constr #

dataTypeOf :: SingleStringLiteral -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SingleStringLiteral) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SingleStringLiteral) #

gmapT :: (forall b. Data b => b -> b) -> SingleStringLiteral -> SingleStringLiteral #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SingleStringLiteral -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SingleStringLiteral -> r #

gmapQ :: (forall d. Data d => d -> u) -> SingleStringLiteral -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SingleStringLiteral -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SingleStringLiteral -> m SingleStringLiteral #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SingleStringLiteral -> m SingleStringLiteral #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SingleStringLiteral -> m SingleStringLiteral #

Show SingleStringLiteral Source # 
Generic SingleStringLiteral Source # 
Pretty SingleStringLiteral Source # 
type Rep SingleStringLiteral Source # 
type Rep SingleStringLiteral = D1 (MetaData "SingleStringLiteral" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "SimpleStringLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "StringInterpolation" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InterpolationElement]))))

data Statement Source #

A node that represents a statement.

statement ::= [Block] | [VariableDeclarationStatement] | [ForStatement] | [ForEachStatement] | [WhileStatement] | [DoStatement] | [SwitchStatement] | [IfStatement] | [TryStatement] | [BreakStatement] | [ContinueStatement] | [ReturnStatement] | [ExpressionStatement] | [FunctionDeclarationStatement]

Constructors

Block' Block 
VariableDeclarationStatement VariableDeclarationList

A list of variables that are being declared in a context where a statement is required.

variableDeclarationStatement ::= [VariableDeclarationList] ';'

ForStatement (Maybe VariableDeclarationList) (Maybe Expression) (Maybe Expression) [Expression] Statement

A for statement.

forStatement ::= for '(' forLoopParts ')' [Statement]

forLoopParts ::= forInitializerStatement ';' [Expression]? ';' [Expression]?

forInitializerStatement ::= [DefaultFormalParameter] | [Expression]?

ForEachStatementWithDeclaration Bool DeclaredIdentifier Expression Statement

A for-each statement.

forEachStatement ::= await? for '(' [DeclaredIdentifier] 'in' [Expression] ')' [Block] | await? for '(' [SimpleIdentifier] 'in' [Expression] ')' [Block]

ForEachStatementWithReference Bool SimpleIdentifier Expression Statement 
WhileStatement Expression Statement

A while statement.

whileStatement ::= while '(' [Expression] ')' [Statement]

DoStatement Statement Expression

A do statement.

doStatement ::= 'do' [Statement] while '(' [Expression] ')' ';'

SwitchStatement Expression [SwitchMember]

A switch statement.

switchStatement ::= switch '(' [Expression] ')' '{' [SwitchCase]* [SwitchDefault]? '}'

IfStatement Expression Statement (Maybe Statement)

An if statement.

ifStatement ::= 'if' '(' [Expression] ')' [Statement] ('else' [Statement])?

TryStatement Block [CatchClause] (Maybe Block)

A try statement.

tryStatement ::= try [Block] ([CatchClause]+ finallyClause? | finallyClause)

finallyClause ::= finally [Block]

BreakStatement (Maybe SimpleIdentifier) 
ContinueStatement (Maybe SimpleIdentifier)

A continue statement.

continueStatement ::= continue [SimpleIdentifier]? ';'

ReturnStatement (Maybe Expression)

A return statement.

returnStatement ::= return [Expression]? ';'

ExpressionStatement Expression

An expression used as a statement.

expressionStatement ::= [Expression]? ';'

FunctionDeclarationStatement FunctionDeclaration

A [FunctionDeclaration] used as a statement.

AssertStatement Expression (Maybe Expression)

An assert statement.

assertStatement ::= assert '(' [Expression] ')' ';'

YieldStatement Bool Expression

A yield statement.

yieldStatement ::= yield *? [Expression] ‘;’

EmptyStatement

An empty statement.

emptyStatement ::= ';'

LabeledStatement [Label] Statement

A statement that has a label associated with them.

labeledStatement ::= [Label]+ [Statement]

Instances

Eq Statement Source # 
Data Statement Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement #

toConstr :: Statement -> Constr #

dataTypeOf :: Statement -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Statement) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement) #

gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r #

gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement #

Show Statement Source # 
Generic Statement Source # 

Associated Types

type Rep Statement :: * -> * #