Safe Haskell	Safe
Language	Haskell2010

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.

Constructors

VariableDeclarationList' VariableDeclarationList
Declaration' Declaration
Directive Directive

Instances

Eq AnnotatedNode Source #
Methods (==) :: AnnotatedNode -> AnnotatedNode -> Bool # (/=) :: AnnotatedNode -> AnnotatedNode -> Bool #
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 #
Methods showsPrec :: Int -> AnnotatedNode -> ShowS # show :: AnnotatedNode -> String # showList :: [AnnotatedNode] -> ShowS #
Generic AnnotatedNode Source #
Associated Types type Rep AnnotatedNode :: * -> * # Methods from :: AnnotatedNode -> Rep AnnotatedNode x # to :: Rep AnnotatedNode x -> AnnotatedNode #
type Rep AnnotatedNode Source #
type Rep AnnotatedNode = D1 (MetaData "AnnotatedNode" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "VariableDeclarationList'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VariableDeclarationList))) ((:+:) (C1 (MetaCons "Declaration'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Declaration))) (C1 (MetaCons "Directive" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Directive)))))

data Annotation Source #

An annotation that can be associated with an AST node.

metadata ::= annotation*

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

Constructors

Annotation Identifier (Maybe SimpleIdentifier) (Maybe ArgumentList)

Instances

Eq Annotation Source #
Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
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 #
Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Generic Annotation Source #
Associated Types type Rep Annotation :: * -> * # Methods from :: Annotation -> Rep Annotation x # to :: Rep Annotation x -> Annotation #
Pretty Annotation Source #
Methods pretty :: Annotation -> Doc prettyPrec :: Int -> Annotation -> Doc
type Rep Annotation Source #
type Rep Annotation = D1 (MetaData "Annotation" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "Annotation" PrefixI False) ((::) (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 (Maybe ArgumentList))))))

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 #
Methods (==) :: ArgumentList -> ArgumentList -> Bool # (/=) :: ArgumentList -> ArgumentList -> Bool #
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 #
Methods showsPrec :: Int -> ArgumentList -> ShowS # show :: ArgumentList -> String # showList :: [ArgumentList] -> ShowS #
Generic ArgumentList Source #
Associated Types type Rep ArgumentList :: * -> * # Methods from :: ArgumentList -> Rep ArgumentList x # to :: Rep ArgumentList x -> ArgumentList #
Pretty ArgumentList Source #
Methods pretty :: ArgumentList -> Doc prettyPrec :: Int -> ArgumentList -> Doc
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 #
Methods showsPrec :: Int -> AstNode -> ShowS # show :: AstNode -> String # showList :: [AstNode] -> ShowS #
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 #
Methods (==) :: AsyncModifier -> AsyncModifier -> Bool # (/=) :: AsyncModifier -> AsyncModifier -> Bool #
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 #
Methods showsPrec :: Int -> AsyncModifier -> ShowS # show :: AsyncModifier -> String # showList :: [AsyncModifier] -> ShowS #
Generic AsyncModifier Source #
Associated Types type Rep AsyncModifier :: * -> * # Methods from :: AsyncModifier -> Rep AsyncModifier x # to :: Rep AsyncModifier x -> AsyncModifier #
Pretty AsyncModifier Source #
Methods pretty :: AsyncModifier -> Doc prettyPrec :: Int -> AsyncModifier -> Doc
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])? ')'

Constructors

CatchClause (Maybe TypeName) SimpleIdentifier (Maybe SimpleIdentifier) Block

Instances

Eq CatchClause Source #
Methods (==) :: CatchClause -> CatchClause -> Bool # (/=) :: CatchClause -> CatchClause -> Bool #
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 #
Methods showsPrec :: Int -> CatchClause -> ShowS # show :: CatchClause -> String # showList :: [CatchClause] -> ShowS #
Generic CatchClause Source #
Associated Types type Rep CatchClause :: * -> * # Methods from :: CatchClause -> Rep CatchClause x # to :: Rep CatchClause x -> CatchClause #
Pretty CatchClause Source #
Methods pretty :: CatchClause -> Doc prettyPrec :: Int -> CatchClause -> Doc
type Rep CatchClause Source #
type Rep CatchClause = D1 (MetaData "CatchClause" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "CatchClause" PrefixI False) ((::) ((::) (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 SimpleIdentifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)))))

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 #
Methods (==) :: ClassMember -> ClassMember -> Bool # (/=) :: ClassMember -> ClassMember -> Bool #
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 #
Methods showsPrec :: Int -> ClassMember -> ShowS # show :: ClassMember -> String # showList :: [ClassMember] -> ShowS #
Generic ClassMember Source #
Associated Types type Rep ClassMember :: * -> * # Methods from :: ClassMember -> Rep ClassMember x # to :: Rep ClassMember x -> ClassMember #
Pretty ClassMember Source #
Methods pretty :: ClassMember -> Doc prettyPrec :: Int -> ClassMember -> Doc
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 #
Methods (==) :: Combinator -> Combinator -> Bool # (/=) :: Combinator -> Combinator -> Bool #
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 #
Methods showsPrec :: Int -> Combinator -> ShowS # show :: Combinator -> String # showList :: [Combinator] -> ShowS #
Generic Combinator Source #
Associated Types type Rep Combinator :: * -> * # Methods from :: Combinator -> Rep Combinator x # to :: Rep Combinator x -> Combinator #
Pretty Combinator Source #
Methods pretty :: Combinator -> Doc prettyPrec :: Int -> Combinator -> Doc
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)+

Constructors

Comment [Token] CommentType [CommentReference]

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 #
Methods showsPrec :: Int -> Comment -> ShowS # show :: Comment -> String # showList :: [Comment] -> ShowS #
Generic Comment Source #
Associated Types type Rep Comment :: * -> * # Methods from :: Comment -> Rep Comment x # to :: Rep Comment x -> Comment #
type Rep Comment Source #
type Rep Comment = D1 (MetaData "Comment" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "Comment" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Token])) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CommentType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CommentReference])))))

data CommentReference Source #

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

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

Constructors

CommentReference Bool Identifier

Instances

Eq CommentReference Source #
Methods (==) :: CommentReference -> CommentReference -> Bool # (/=) :: CommentReference -> CommentReference -> Bool #
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 #
Methods showsPrec :: Int -> CommentReference -> ShowS # show :: CommentReference -> String # showList :: [CommentReference] -> ShowS #
Generic CommentReference Source #
Associated Types type Rep CommentReference :: * -> * # Methods from :: CommentReference -> Rep CommentReference x # to :: Rep CommentReference x -> CommentReference #
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 #

Constructors

BlockComment
DocumentationComment
EndOfLineComment

Instances

Eq CommentType Source #
Methods (==) :: CommentType -> CommentType -> Bool # (/=) :: CommentType -> CommentType -> Bool #
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 #
Methods showsPrec :: Int -> CommentType -> ShowS # show :: CommentType -> String # showList :: [CommentType] -> ShowS #
Generic CommentType Source #
Associated Types type Rep CommentType :: * -> * # Methods from :: CommentType -> Rep CommentType x # to :: Rep CommentType x -> 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]*

Constructors

CompilationUnit (Maybe ScriptTag) [Directive] [CompilationUnitMember]

Instances

Eq CompilationUnit Source #
Methods (==) :: CompilationUnit -> CompilationUnit -> Bool # (/=) :: CompilationUnit -> CompilationUnit -> Bool #
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 #
Methods showsPrec :: Int -> CompilationUnit -> ShowS # show :: CompilationUnit -> String # showList :: [CompilationUnit] -> ShowS #
Generic CompilationUnit Source #
Associated Types type Rep CompilationUnit :: * -> * # Methods from :: CompilationUnit -> Rep CompilationUnit x # to :: Rep CompilationUnit x -> CompilationUnit #
Pretty CompilationUnit Source #
Methods pretty :: CompilationUnit -> Doc prettyPrec :: Int -> CompilationUnit -> Doc
type Rep CompilationUnit Source #
type Rep CompilationUnit = D1 (MetaData "CompilationUnit" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "CompilationUnit" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ScriptTag))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Directive])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CompilationUnitMember])))))

data CompilationUnitMember Source #

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

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 #
Methods (==) :: CompilationUnitMember -> CompilationUnitMember -> Bool # (/=) :: CompilationUnitMember -> CompilationUnitMember -> Bool #
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 #
Methods showsPrec :: Int -> CompilationUnitMember -> ShowS # show :: CompilationUnitMember -> String # showList :: [CompilationUnitMember] -> ShowS #
Generic CompilationUnitMember Source #
Associated Types type Rep CompilationUnitMember :: * -> * # Methods from :: CompilationUnitMember -> Rep CompilationUnitMember x # to :: Rep CompilationUnitMember x -> CompilationUnitMember #
Pretty CompilationUnitMember Source #
Methods pretty :: CompilationUnitMember -> Doc prettyPrec :: Int -> CompilationUnitMember -> Doc
type Rep CompilationUnitMember Source #
type Rep CompilationUnitMember = D1 (MetaData "CompilationUnitMember" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "TopLevelVariableDeclaration" 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 VariableDeclarationList))))) (C1 (MetaCons "NamedCompilationUnitMember" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NamedCompilationUnitMember))))

data Configuration Source #

A configuration in either an import or export directive.

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

test ::= dottedName (== stringLiteral)?

dottedName ::= identifier (. identifier)*

Constructors

Configuration DottedName StringLiteral StringLiteral

Instances

Eq Configuration Source #
Methods (==) :: Configuration -> Configuration -> Bool # (/=) :: Configuration -> Configuration -> Bool #
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 #
Methods showsPrec :: Int -> Configuration -> ShowS # show :: Configuration -> String # showList :: [Configuration] -> ShowS #
Generic Configuration Source #
Associated Types type Rep Configuration :: * -> * # Methods from :: Configuration -> Rep Configuration x # to :: Rep Configuration x -> Configuration #
type Rep Configuration Source #
type Rep Configuration = D1 (MetaData "Configuration" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "Configuration" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DottedName)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral)))))

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 #
Methods (==) :: ConstructorInitializer -> ConstructorInitializer -> Bool # (/=) :: ConstructorInitializer -> ConstructorInitializer -> Bool #
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 #
Methods showsPrec :: Int -> ConstructorInitializer -> ShowS # show :: ConstructorInitializer -> String # showList :: [ConstructorInitializer] -> ShowS #
Generic ConstructorInitializer Source #
Associated Types type Rep ConstructorInitializer :: * -> * # Methods from :: ConstructorInitializer -> Rep ConstructorInitializer x # to :: Rep ConstructorInitializer x -> ConstructorInitializer #
Pretty ConstructorInitializer Source #
Methods pretty :: ConstructorInitializer -> Doc prettyPrec :: Int -> ConstructorInitializer -> Doc
type Rep ConstructorInitializer Source #
type Rep ConstructorInitializer = D1 (MetaData "ConstructorInitializer" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "RedirectingConstructorInvocation" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList)))) ((:+:) (C1 (MetaCons "ConstructorFieldInitializer" PrefixI False) ((::) (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 Expression))))) (C1 (MetaCons "SuperConstructorInvocation" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList))))))

data ConstructorName Source #

The name of a constructor.

constructorName ::= type (. identifier)?

Constructors

ConstructorName TypeName (Maybe SimpleIdentifier)

Instances

Eq ConstructorName Source #
Methods (==) :: ConstructorName -> ConstructorName -> Bool # (/=) :: ConstructorName -> ConstructorName -> Bool #
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 #
Methods showsPrec :: Int -> ConstructorName -> ShowS # show :: ConstructorName -> String # showList :: [ConstructorName] -> ShowS #
Generic ConstructorName Source #
Associated Types type Rep ConstructorName :: * -> * # Methods from :: ConstructorName -> Rep ConstructorName x # to :: Rep ConstructorName x -> ConstructorName #
Pretty ConstructorName Source #
Methods pretty :: ConstructorName -> Doc prettyPrec :: Int -> ConstructorName -> Doc
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.

Constructors

VariableDeclaration' VariableDeclaration
TypeParameter' TypeParameter
ClassMember ClassMember
DeclaredIdentifier' DeclaredIdentifier
EnumConstantDeclaration' EnumConstantDeclaration
CompilationUnitMember' CompilationUnitMember

Instances

Eq Declaration Source #
Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #
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 #
Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Generic Declaration Source #
Associated Types type Rep Declaration :: * -> * # Methods from :: Declaration -> Rep Declaration x # to :: Rep Declaration x -> Declaration #
type Rep Declaration Source #
type Rep Declaration = D1 (MetaData "Declaration" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "VariableDeclaration'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VariableDeclaration))) ((:+:) (C1 (MetaCons "TypeParameter'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeParameter))) (C1 (MetaCons "ClassMember" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClassMember))))) ((:+:) (C1 (MetaCons "DeclaredIdentifier'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeclaredIdentifier))) ((:+:) (C1 (MetaCons "EnumConstantDeclaration'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EnumConstantDeclaration))) (C1 (MetaCons "CompilationUnitMember'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CompilationUnitMember))))))

data DeclaredIdentifier Source #

The declaration of a single identifier.

declaredIdentifier ::= [Annotation] finalConstVarOrType [SimpleIdentifier]

Constructors

DeclaredIdentifier (Maybe Comment) [Annotation] FinalConstVarOrType SimpleIdentifier

Instances

Eq DeclaredIdentifier Source #
Methods (==) :: DeclaredIdentifier -> DeclaredIdentifier -> Bool # (/=) :: DeclaredIdentifier -> DeclaredIdentifier -> Bool #
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 #
Methods showsPrec :: Int -> DeclaredIdentifier -> ShowS # show :: DeclaredIdentifier -> String # showList :: [DeclaredIdentifier] -> ShowS #
Generic DeclaredIdentifier Source #
Associated Types type Rep DeclaredIdentifier :: * -> * # Methods from :: DeclaredIdentifier -> Rep DeclaredIdentifier x # to :: Rep DeclaredIdentifier x -> DeclaredIdentifier #
Pretty DeclaredIdentifier Source #
Methods pretty :: DeclaredIdentifier -> Doc prettyPrec :: Int -> DeclaredIdentifier -> Doc
type Rep DeclaredIdentifier Source #
type Rep DeclaredIdentifier = D1 (MetaData "DeclaredIdentifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "DeclaredIdentifier" 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 FinalConstVarOrType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))))

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 #
Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #
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 #
Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #
Generic Directive Source #
Associated Types type Rep Directive :: * -> * # Methods from :: Directive -> Rep Directive x # to :: Rep Directive x -> Directive #
Pretty Directive Source #
Methods pretty :: Directive -> Doc prettyPrec :: Int -> Directive -> Doc
type Rep Directive Source #
type Rep Directive = D1 (MetaData "Directive" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "UriBasedDirective" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UriBasedDirective))) ((:+:) (C1 (MetaCons "PartOfDirective" 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 LibraryIdentifier))))) (C1 (MetaCons "LibraryDirective" 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 LibraryIdentifier)))))))

newtype DottedName Source #

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

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

Constructors

DottedName [SimpleIdentifier]

Instances

Eq DottedName Source #
Methods (==) :: DottedName -> DottedName -> Bool # (/=) :: DottedName -> DottedName -> Bool #
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 #
Methods showsPrec :: Int -> DottedName -> ShowS # show :: DottedName -> String # showList :: [DottedName] -> ShowS #
Generic DottedName Source #
Associated Types type Rep DottedName :: * -> * # Methods from :: DottedName -> Rep DottedName x # to :: Rep DottedName x -> 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.

Constructors

EnumConstantDeclaration (Maybe Comment) [Annotation] SimpleIdentifier

Instances

Eq EnumConstantDeclaration Source #
Methods (==) :: EnumConstantDeclaration -> EnumConstantDeclaration -> Bool # (/=) :: EnumConstantDeclaration -> EnumConstantDeclaration -> Bool #
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 #
Methods showsPrec :: Int -> EnumConstantDeclaration -> ShowS # show :: EnumConstantDeclaration -> String # showList :: [EnumConstantDeclaration] -> ShowS #
Generic EnumConstantDeclaration Source #
Associated Types type Rep EnumConstantDeclaration :: * -> * # Methods from :: EnumConstantDeclaration -> Rep EnumConstantDeclaration x # to :: Rep EnumConstantDeclaration x -> EnumConstantDeclaration #
Pretty EnumConstantDeclaration Source #
Methods pretty :: EnumConstantDeclaration -> Doc prettyPrec :: Int -> EnumConstantDeclaration -> Doc
type Rep EnumConstantDeclaration Source #
type Rep EnumConstantDeclaration = D1 (MetaData "EnumConstantDeclaration" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "EnumConstantDeclaration" 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)))))

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 #
Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
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 #
Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Generic Expression Source #
Associated Types type Rep Expression :: * -> * # Methods from :: Expression -> Rep Expression x # to :: Rep Expression x -> Expression #
Pretty Expression Source #
Methods pretty :: Expression -> Doc prettyPrec :: Int -> Expression -> Doc
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 #
Methods (==) :: ExtendsClause -> ExtendsClause -> Bool # (/=) :: ExtendsClause -> ExtendsClause -> Bool #
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 #
Methods showsPrec :: Int -> ExtendsClause -> ShowS # show :: ExtendsClause -> String # showList :: [ExtendsClause] -> ShowS #
Generic ExtendsClause Source #
Associated Types type Rep ExtendsClause :: * -> * # Methods from :: ExtendsClause -> Rep ExtendsClause x # to :: Rep ExtendsClause x -> ExtendsClause #
Pretty ExtendsClause Source #
Methods pretty :: ExtendsClause -> Doc prettyPrec :: Int -> ExtendsClause -> Doc
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 #

Constructors

FCVTFinal TypeName
FCVTConst TypeName
FCVTType TypeName
FCVTVar

Instances

Eq FinalConstVarOrType Source #
Methods (==) :: FinalConstVarOrType -> FinalConstVarOrType -> Bool # (/=) :: FinalConstVarOrType -> FinalConstVarOrType -> Bool #
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 #
Methods showsPrec :: Int -> FinalConstVarOrType -> ShowS # show :: FinalConstVarOrType -> String # showList :: [FinalConstVarOrType] -> ShowS #
Generic FinalConstVarOrType Source #
Associated Types type Rep FinalConstVarOrType :: * -> * # Methods from :: FinalConstVarOrType -> Rep FinalConstVarOrType x # to :: Rep FinalConstVarOrType x -> FinalConstVarOrType #
Pretty FinalConstVarOrType Source #
Methods pretty :: FinalConstVarOrType -> Doc prettyPrec :: Int -> FinalConstVarOrType -> Doc
type Rep FinalConstVarOrType Source #
type Rep FinalConstVarOrType = D1 (MetaData "FinalConstVarOrType" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "FCVTFinal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) (C1 (MetaCons "FCVTConst" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName)))) ((:+:) (C1 (MetaCons "FCVTType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) (C1 (MetaCons "FCVTVar" PrefixI False) U1)))

data FinalVarOrType Source #

Constructors

FVTFinal TypeName
FVTType TypeName
FVTVar

Instances

Eq FinalVarOrType Source #
Methods (==) :: FinalVarOrType -> FinalVarOrType -> Bool # (/=) :: FinalVarOrType -> FinalVarOrType -> Bool #
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 #
Methods showsPrec :: Int -> FinalVarOrType -> ShowS # show :: FinalVarOrType -> String # showList :: [FinalVarOrType] -> ShowS #
Generic FinalVarOrType Source #
Associated Types type Rep FinalVarOrType :: * -> * # Methods from :: FinalVarOrType -> Rep FinalVarOrType x # to :: Rep FinalVarOrType x -> FinalVarOrType #
Pretty FinalVarOrType Source #
Methods pretty :: FinalVarOrType -> Doc prettyPrec :: Int -> FinalVarOrType -> Doc
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]

Constructors

NormalFormalParameter' NormalFormalParameter
DefaultFormalParameter NormalFormalParameter ParameterKind (Maybe Expression)

Instances

Eq FormalParameter Source #
Methods (==) :: FormalParameter -> FormalParameter -> Bool # (/=) :: FormalParameter -> FormalParameter -> Bool #
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 #
Methods showsPrec :: Int -> FormalParameter -> ShowS # show :: FormalParameter -> String # showList :: [FormalParameter] -> ShowS #
Generic FormalParameter Source #
Associated Types type Rep FormalParameter :: * -> * # Methods from :: FormalParameter -> Rep FormalParameter x # to :: Rep FormalParameter x -> FormalParameter #
Pretty FormalParameter Source #
Methods pretty :: FormalParameter -> Doc prettyPrec :: Int -> FormalParameter -> Doc
type Rep FormalParameter Source #
type Rep FormalParameter = D1 (MetaData "FormalParameter" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "NormalFormalParameter'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NormalFormalParameter))) (C1 (MetaCons "DefaultFormalParameter" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NormalFormalParameter)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParameterKind)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression)))))))

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])* '}'

Constructors

FormalParameterList [FormalParameter]

Instances

Eq FormalParameterList Source #
Methods (==) :: FormalParameterList -> FormalParameterList -> Bool # (/=) :: FormalParameterList -> FormalParameterList -> Bool #
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 #
Methods showsPrec :: Int -> FormalParameterList -> ShowS # show :: FormalParameterList -> String # showList :: [FormalParameterList] -> ShowS #
Generic FormalParameterList Source #
Associated Types type Rep FormalParameterList :: * -> * # Methods from :: FormalParameterList -> Rep FormalParameterList x # to :: Rep FormalParameterList x -> FormalParameterList #
Pretty FormalParameterList Source #
Methods pretty :: FormalParameterList -> Doc prettyPrec :: Int -> FormalParameterList -> Doc
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 #
Methods (==) :: FunctionBody -> FunctionBody -> Bool # (/=) :: FunctionBody -> FunctionBody -> Bool #
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 #
Methods showsPrec :: Int -> FunctionBody -> ShowS # show :: FunctionBody -> String # showList :: [FunctionBody] -> ShowS #
Generic FunctionBody Source #
Associated Types type Rep FunctionBody :: * -> * # Methods from :: FunctionBody -> Rep FunctionBody x # to :: Rep FunctionBody x -> FunctionBody #
Pretty FunctionBody Source #
Methods pretty :: FunctionBody -> Doc prettyPrec :: Int -> FunctionBody -> Doc
type Rep FunctionBody Source #
type Rep FunctionBody = D1 (MetaData "FunctionBody" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "BlockFunctionBody" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AsyncModifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)))) (C1 (MetaCons "EmptyFunctionBody" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ExpressionFunctionBody" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))) (C1 (MetaCons "NativeFunctionBody" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral)))))

data FunctionDeclaration Source #

A top-level declaration.

functionDeclaration ::= external functionSignature | functionSignature [FunctionBody]

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

Constructors

FunctionDeclaration (Maybe Comment) [Annotation] Bool (Maybe TypeName) PropertyKeyword SimpleIdentifier FunctionExpression

Instances

Eq FunctionDeclaration Source #
Methods (==) :: FunctionDeclaration -> FunctionDeclaration -> Bool # (/=) :: FunctionDeclaration -> FunctionDeclaration -> Bool #
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 #
Methods showsPrec :: Int -> FunctionDeclaration -> ShowS # show :: FunctionDeclaration -> String # showList :: [FunctionDeclaration] -> ShowS #
Generic FunctionDeclaration Source #
Associated Types type Rep FunctionDeclaration :: * -> * # Methods from :: FunctionDeclaration -> Rep FunctionDeclaration x # to :: Rep FunctionDeclaration x -> FunctionDeclaration #
Pretty FunctionDeclaration Source #
Methods pretty :: FunctionDeclaration -> Doc prettyPrec :: Int -> FunctionDeclaration -> Doc
type Rep FunctionDeclaration Source #
type Rep FunctionDeclaration = D1 (MetaData "FunctionDeclaration" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "FunctionDeclaration" 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 TypeName))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PropertyKeyword))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionExpression))))))

data FunctionExpression Source #

A function expression.

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

Constructors

FunctionExpression (Maybe TypeParameterList) FormalParameterList FunctionBody

Instances

Eq FunctionExpression Source #
Methods (==) :: FunctionExpression -> FunctionExpression -> Bool # (/=) :: FunctionExpression -> FunctionExpression -> Bool #
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 #
Methods showsPrec :: Int -> FunctionExpression -> ShowS # show :: FunctionExpression -> String # showList :: [FunctionExpression] -> ShowS #
Generic FunctionExpression Source #
Associated Types type Rep FunctionExpression :: * -> * # Methods from :: FunctionExpression -> Rep FunctionExpression x # to :: Rep FunctionExpression x -> FunctionExpression #
Pretty FunctionExpression Source #
Methods pretty :: FunctionExpression -> Doc prettyPrec :: Int -> FunctionExpression -> Doc
type Rep FunctionExpression Source #
type Rep FunctionExpression = D1 (MetaData "FunctionExpression" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "FunctionExpression" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeParameterList))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FormalParameterList)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionBody)))))

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 #
Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
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 #
Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Generic Identifier Source #
Associated Types type Rep Identifier :: * -> * # Methods from :: Identifier -> Rep Identifier x # to :: Rep Identifier x -> Identifier #
Pretty Identifier Source #
Methods pretty :: Identifier -> Doc prettyPrec :: Int -> Identifier -> Doc
type Rep Identifier Source #
type Rep Identifier = D1 (MetaData "Identifier" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "SimpleIdentifier'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier))) ((:+:) (C1 (MetaCons "PrefixedIdentifier" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))) (C1 (MetaCons "LibraryIdentifier'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LibraryIdentifier)))))

newtype ImplementsClause Source #

The "implements" clause in an class declaration.

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

Constructors

ImplementsClause [TypeName]

Instances

Eq ImplementsClause Source #
Methods (==) :: ImplementsClause -> ImplementsClause -> Bool # (/=) :: ImplementsClause -> ImplementsClause -> Bool #
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 #
Methods showsPrec :: Int -> ImplementsClause -> ShowS # show :: ImplementsClause -> String # showList :: [ImplementsClause] -> ShowS #
Generic ImplementsClause Source #
Associated Types type Rep ImplementsClause :: * -> * # Methods from :: ImplementsClause -> Rep ImplementsClause x # to :: Rep ImplementsClause x -> ImplementsClause #
Pretty ImplementsClause Source #
Methods pretty :: ImplementsClause -> Doc prettyPrec :: Int -> ImplementsClause -> Doc
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 #
Methods (==) :: InterpolationElement -> InterpolationElement -> Bool # (/=) :: InterpolationElement -> InterpolationElement -> Bool #
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 #
Methods showsPrec :: Int -> InterpolationElement -> ShowS # show :: InterpolationElement -> String # showList :: [InterpolationElement] -> ShowS #
Generic InterpolationElement Source #
Associated Types type Rep InterpolationElement :: * -> * # Methods from :: InterpolationElement -> Rep InterpolationElement x # to :: Rep InterpolationElement x -> InterpolationElement #
Pretty InterpolationElement Source #
Methods pretty :: InterpolationElement -> Doc prettyPrec :: Int -> InterpolationElement -> Doc
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 #
Methods (==) :: InvocationExpression -> InvocationExpression -> Bool # (/=) :: InvocationExpression -> InvocationExpression -> Bool #
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 #
Methods showsPrec :: Int -> InvocationExpression -> ShowS # show :: InvocationExpression -> String # showList :: [InvocationExpression] -> ShowS #
Generic InvocationExpression Source #
Associated Types type Rep InvocationExpression :: * -> * # Methods from :: InvocationExpression -> Rep InvocationExpression x # to :: Rep InvocationExpression x -> InvocationExpression #
Pretty InvocationExpression Source #
Methods pretty :: InvocationExpression -> Doc prettyPrec :: Int -> InvocationExpression -> Doc
type Rep InvocationExpression Source #
type Rep InvocationExpression = D1 (MetaData "InvocationExpression" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "FunctionExpressionInvocation" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeArgumentList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList))))) (C1 (MetaCons "MethodInvocation" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeArgumentList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArgumentList))))))

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])*

Constructors

LibraryIdentifier [SimpleIdentifier]

Instances

Eq LibraryIdentifier Source #
Methods (==) :: LibraryIdentifier -> LibraryIdentifier -> Bool # (/=) :: LibraryIdentifier -> LibraryIdentifier -> Bool #
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 #
Methods showsPrec :: Int -> LibraryIdentifier -> ShowS # show :: LibraryIdentifier -> String # showList :: [LibraryIdentifier] -> ShowS #
Generic LibraryIdentifier Source #
Associated Types type Rep LibraryIdentifier :: * -> * # Methods from :: LibraryIdentifier -> Rep LibraryIdentifier x # to :: Rep LibraryIdentifier x -> LibraryIdentifier #
Pretty LibraryIdentifier Source #
Methods pretty :: LibraryIdentifier -> Doc prettyPrec :: Int -> LibraryIdentifier -> Doc
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.

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 #
Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
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 #
type Rep Literal = D1 (MetaData "Literal" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) (C1 (MetaCons "BooleanLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:+:) (C1 (MetaCons "DoubleLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))) (C1 (MetaCons "TypedLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypedLiteral))))) ((:+:) ((:+:) (C1 (MetaCons "IntegerLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) (C1 (MetaCons "NullLiteral" PrefixI False) U1)) ((:+:) (C1 (MetaCons "StringLiteral'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StringLiteral))) (C1 (MetaCons "SymbolLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Token]))))))

data MapLiteralEntry Source #

A single key/value pair in a map literal.

mapLiteralEntry ::= [Expression] : [Expression]

Constructors

MapLiteralEntry Expression Expression

Instances

Eq MapLiteralEntry Source #
Methods (==) :: MapLiteralEntry -> MapLiteralEntry -> Bool # (/=) :: MapLiteralEntry -> MapLiteralEntry -> Bool #
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 #
Methods showsPrec :: Int -> MapLiteralEntry -> ShowS # show :: MapLiteralEntry -> String # showList :: [MapLiteralEntry] -> ShowS #
Generic MapLiteralEntry Source #
Associated Types type Rep MapLiteralEntry :: * -> * # Methods from :: MapLiteralEntry -> Rep MapLiteralEntry x # to :: Rep MapLiteralEntry x -> MapLiteralEntry #
Pretty MapLiteralEntry Source #
Methods pretty :: MapLiteralEntry -> Doc prettyPrec :: Int -> MapLiteralEntry -> Doc
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 #
Methods (==) :: MethodModifier -> MethodModifier -> Bool # (/=) :: MethodModifier -> MethodModifier -> Bool #
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 #
Methods showsPrec :: Int -> MethodModifier -> ShowS # show :: MethodModifier -> String # showList :: [MethodModifier] -> ShowS #
Generic MethodModifier Source #
Associated Types type Rep MethodModifier :: * -> * # Methods from :: MethodModifier -> Rep MethodModifier x # to :: Rep MethodModifier x -> MethodModifier #
Pretty MethodModifier Source #
Methods pretty :: MethodModifier -> Doc prettyPrec :: Int -> MethodModifier -> Doc
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 #
Methods (==) :: NamedCompilationUnitMember -> NamedCompilationUnitMember -> Bool # (/=) :: NamedCompilationUnitMember -> NamedCompilationUnitMember -> Bool #
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 #
Methods showsPrec :: Int -> NamedCompilationUnitMember -> ShowS # show :: NamedCompilationUnitMember -> String # showList :: [NamedCompilationUnitMember] -> ShowS #
Generic NamedCompilationUnitMember Source #
Associated Types type Rep NamedCompilationUnitMember :: * -> * # Methods from :: NamedCompilationUnitMember -> Rep NamedCompilationUnitMember x # to :: Rep NamedCompilationUnitMember x -> NamedCompilationUnitMember #
Pretty NamedCompilationUnitMember Source #
Methods pretty :: NamedCompilationUnitMember -> Doc prettyPrec :: Int -> NamedCompilationUnitMember -> Doc
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 #
Methods (==) :: NamespaceDirective -> NamespaceDirective -> Bool # (/=) :: NamespaceDirective -> NamespaceDirective -> Bool #
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 #
Methods showsPrec :: Int -> NamespaceDirective -> ShowS # show :: NamespaceDirective -> String # showList :: [NamespaceDirective] -> ShowS #
Generic NamespaceDirective Source #
Associated Types type Rep NamespaceDirective :: * -> * # Methods from :: NamespaceDirective -> Rep NamespaceDirective x # to :: Rep NamespaceDirective x -> NamespaceDirective #
Pretty NamespaceDirective Source #
Methods pretty :: NamespaceDirective -> Doc prettyPrec :: Int -> NamespaceDirective -> Doc
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 #
Methods (==) :: NewOrConst -> NewOrConst -> Bool # (/=) :: NewOrConst -> NewOrConst -> Bool #
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 #
Methods showsPrec :: Int -> NewOrConst -> ShowS # show :: NewOrConst -> String # showList :: [NewOrConst] -> ShowS #
Generic NewOrConst Source #
Associated Types type Rep NewOrConst :: * -> * # Methods from :: NewOrConst -> Rep NewOrConst x # to :: Rep NewOrConst x -> NewOrConst #
Pretty NewOrConst Source #
Methods pretty :: NewOrConst -> Doc prettyPrec :: Int -> NewOrConst -> Doc
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 #
Methods (==) :: NormalFormalParameter -> NormalFormalParameter -> Bool # (/=) :: NormalFormalParameter -> NormalFormalParameter -> Bool #
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 #
Methods showsPrec :: Int -> NormalFormalParameter -> ShowS # show :: NormalFormalParameter -> String # showList :: [NormalFormalParameter] -> ShowS #
Generic NormalFormalParameter Source #
Associated Types type Rep NormalFormalParameter :: * -> * # Methods from :: NormalFormalParameter -> Rep NormalFormalParameter x # to :: Rep NormalFormalParameter x -> NormalFormalParameter #
Pretty NormalFormalParameter Source #
Methods pretty :: NormalFormalParameter -> Doc prettyPrec :: Int -> NormalFormalParameter -> Doc
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 #
Methods (==) :: ParameterKind -> ParameterKind -> Bool # (/=) :: ParameterKind -> ParameterKind -> Bool #
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 #
Methods showsPrec :: Int -> ParameterKind -> ShowS # show :: ParameterKind -> String # showList :: [ParameterKind] -> ShowS #
Generic ParameterKind Source #
Associated Types type Rep ParameterKind :: * -> * # Methods from :: ParameterKind -> Rep ParameterKind x # to :: Rep ParameterKind x -> 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 #
Methods (==) :: PropertyKeyword -> PropertyKeyword -> Bool # (/=) :: PropertyKeyword -> PropertyKeyword -> Bool #
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 #
Methods showsPrec :: Int -> PropertyKeyword -> ShowS # show :: PropertyKeyword -> String # showList :: [PropertyKeyword] -> ShowS #
Generic PropertyKeyword Source #
Associated Types type Rep PropertyKeyword :: * -> * # Methods from :: PropertyKeyword -> Rep PropertyKeyword x # to :: Rep PropertyKeyword x -> PropertyKeyword #
Pretty PropertyKeyword Source #
Methods pretty :: PropertyKeyword -> Doc prettyPrec :: Int -> PropertyKeyword -> Doc
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 #
Methods (==) :: ScriptTag -> ScriptTag -> Bool # (/=) :: ScriptTag -> ScriptTag -> Bool #
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 #
Methods showsPrec :: Int -> ScriptTag -> ShowS # show :: ScriptTag -> String # showList :: [ScriptTag] -> ShowS #
Generic ScriptTag Source #
Associated Types type Rep ScriptTag :: * -> * # Methods from :: ScriptTag -> Rep ScriptTag x # to :: Rep ScriptTag x -> ScriptTag #
Pretty ScriptTag Source #
Methods pretty :: ScriptTag -> Doc prettyPrec :: Int -> ScriptTag -> Doc
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 #
Methods (==) :: SimpleIdentifier -> SimpleIdentifier -> Bool # (/=) :: SimpleIdentifier -> SimpleIdentifier -> Bool #
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 #
Methods showsPrec :: Int -> SimpleIdentifier -> ShowS # show :: SimpleIdentifier -> String # showList :: [SimpleIdentifier] -> ShowS #
Generic SimpleIdentifier Source #
Associated Types type Rep SimpleIdentifier :: * -> * # Methods from :: SimpleIdentifier -> Rep SimpleIdentifier x # to :: Rep SimpleIdentifier x -> SimpleIdentifier #
Pretty SimpleIdentifier Source #
Methods pretty :: SimpleIdentifier -> Doc prettyPrec :: Int -> SimpleIdentifier -> Doc
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 #
Methods (==) :: SingleStringLiteral -> SingleStringLiteral -> Bool # (/=) :: SingleStringLiteral -> SingleStringLiteral -> Bool #
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 #
Methods showsPrec :: Int -> SingleStringLiteral -> ShowS # show :: SingleStringLiteral -> String # showList :: [SingleStringLiteral] -> ShowS #
Generic SingleStringLiteral Source #
Associated Types type Rep SingleStringLiteral :: * -> * # Methods from :: SingleStringLiteral -> Rep SingleStringLiteral x # to :: Rep SingleStringLiteral x -> SingleStringLiteral #
Pretty SingleStringLiteral Source #
Methods pretty :: SingleStringLiteral -> Doc prettyPrec :: Int -> SingleStringLiteral -> Doc
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.

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 #
Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
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 #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Generic Statement Source #
Associated Types type Rep Statement :: * -> * # Methods from :: Statement -> Rep Statement x # to :: Rep Statement x -> Statement #
Pretty Statement Source #
Methods pretty :: Statement -> Doc prettyPrec :: Int -> Statement -> Doc
type Rep Statement Source #
type Rep Statement = D1 (MetaData "Statement" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Block'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block))) (C1 (MetaCons "VariableDeclarationStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VariableDeclarationList)))) ((:+:) (C1 (MetaCons "ForStatement" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe VariableDeclarationList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression)))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expression])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement)))))) (C1 (MetaCons "ForEachStatementWithDeclaration" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeclaredIdentifier))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement))))))) ((:+:) ((:+:) (C1 (MetaCons "ForEachStatementWithReference" PrefixI False) ((::) ((::) (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 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement))))) (C1 (MetaCons "WhileStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement))))) ((:+:) (C1 (MetaCons "DoStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))) ((:+:) (C1 (MetaCons "SwitchStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SwitchMember])))) (C1 (MetaCons "IfStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Statement)))))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "TryStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CatchClause])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Block)))))) (C1 (MetaCons "BreakStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier))))) ((:+:) (C1 (MetaCons "ContinueStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SimpleIdentifier)))) ((:+:) (C1 (MetaCons "ReturnStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression)))) (C1 (MetaCons "ExpressionStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))))) ((:+:) ((:+:) (C1 (MetaCons "FunctionDeclarationStatement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunctionDeclaration))) (C1 (MetaCons "AssertStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression)))))) ((:+:) (C1 (MetaCons "YieldStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)))) ((:+:) (C1 (MetaCons "EmptyStatement" PrefixI False) U1) (C1 (MetaCons "LabeledStatement" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Label])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Statement)))))))))

data StringLiteral Source #

Constructors

SingleStringLiteral' SingleStringLiteral

AdjacentStrings [StringLiteral]

Two or more string literals that are implicitly concatenated because of being adjacent (separated only by whitespace).

While the grammar only allows adjacent strings when all of the strings are of the same kind (single line or multi-line), this class doesn't enforce that restriction.

adjacentStrings ::= [StringLiteral] [StringLiteral]+

Instances

Eq StringLiteral Source #
Methods (==) :: StringLiteral -> StringLiteral -> Bool # (/=) :: StringLiteral -> StringLiteral -> Bool #
Data StringLiteral Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StringLiteral -> c StringLiteral # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StringLiteral # toConstr :: StringLiteral -> Constr # dataTypeOf :: StringLiteral -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c StringLiteral) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StringLiteral) # gmapT :: (forall b. Data b => b -> b) -> StringLiteral -> StringLiteral # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StringLiteral -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StringLiteral -> r # gmapQ :: (forall d. Data d => d -> u) -> StringLiteral -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> StringLiteral -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> StringLiteral -> m StringLiteral # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLiteral -> m StringLiteral # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLiteral -> m StringLiteral #
Show StringLiteral Source #
Methods showsPrec :: Int -> StringLiteral -> ShowS # show :: StringLiteral -> String # showList :: [StringLiteral] -> ShowS #
Generic StringLiteral Source #
Associated Types type Rep StringLiteral :: * -> * # Methods from :: StringLiteral -> Rep StringLiteral x # to :: Rep StringLiteral x -> StringLiteral #
Pretty StringLiteral Source #
Methods pretty :: StringLiteral -> Doc prettyPrec :: Int -> StringLiteral -> Doc
type Rep StringLiteral Source #
type Rep StringLiteral = D1 (MetaData "StringLiteral" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "SingleStringLiteral'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SingleStringLiteral))) (C1 (MetaCons "AdjacentStrings" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [StringLiteral]))))

data SwitchMember Source #

An element within a switch statement.

switchMember ::= switchCase | switchDefault

Constructors

SwitchDefault [Label] [Statement]

The default case in a switch statement.

switchDefault ::= [SimpleIdentifier]* 'default' : [Statement]*

SwitchCase [Label] Expression [Statement]

A case in a switch statement.

switchCase ::= [SimpleIdentifier]* 'case' [Expression] : [Statement]*

Instances

Eq SwitchMember Source #
Methods (==) :: SwitchMember -> SwitchMember -> Bool # (/=) :: SwitchMember -> SwitchMember -> Bool #
Data SwitchMember Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SwitchMember -> c SwitchMember # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SwitchMember # toConstr :: SwitchMember -> Constr # dataTypeOf :: SwitchMember -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SwitchMember) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SwitchMember) # gmapT :: (forall b. Data b => b -> b) -> SwitchMember -> SwitchMember # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SwitchMember -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SwitchMember -> r # gmapQ :: (forall d. Data d => d -> u) -> SwitchMember -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SwitchMember -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SwitchMember -> m SwitchMember # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SwitchMember -> m SwitchMember # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SwitchMember -> m SwitchMember #
Show SwitchMember Source #
Methods showsPrec :: Int -> SwitchMember -> ShowS # show :: SwitchMember -> String # showList :: [SwitchMember] -> ShowS #
Generic SwitchMember Source #
Associated Types type Rep SwitchMember :: * -> * # Methods from :: SwitchMember -> Rep SwitchMember x # to :: Rep SwitchMember x -> SwitchMember #
Pretty SwitchMember Source #
Methods pretty :: SwitchMember -> Doc prettyPrec :: Int -> SwitchMember -> Doc
type Rep SwitchMember Source #
type Rep SwitchMember = D1 (MetaData "SwitchMember" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "SwitchDefault" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Label])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Statement])))) (C1 (MetaCons "SwitchCase" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Label])) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expression)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Statement]))))))

type Token = String Source #

data TypeAlias Source #

The declaration of a type alias.

typeAlias ::= typedef typeAliasBody

typeAliasBody ::= classTypeAlias | functionTypeAlias

Constructors

ClassTypeAlias (Maybe Comment) [Annotation] SimpleIdentifier (Maybe TypeParameterList) Bool TypeName WithClause (Maybe ImplementsClause)

A class type alias.

classTypeAlias ::= [SimpleIdentifier] [TypeParameterList]? '=' abstract? mixinApplication

mixinApplication ::= [TypeName] [WithClause] [ImplementsClause]? ';'

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

A function type alias.

functionTypeAlias ::= functionPrefix [TypeParameterList]? [FormalParameterList] ';'

functionPrefix ::= [TypeName]? [SimpleIdentifier]

Instances

Eq TypeAlias Source #
Methods (==) :: TypeAlias -> TypeAlias -> Bool # (/=) :: TypeAlias -> TypeAlias -> Bool #
Data TypeAlias Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeAlias -> c TypeAlias # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeAlias # toConstr :: TypeAlias -> Constr # dataTypeOf :: TypeAlias -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeAlias) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeAlias) # gmapT :: (forall b. Data b => b -> b) -> TypeAlias -> TypeAlias # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeAlias -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeAlias -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeAlias -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeAlias -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeAlias -> m TypeAlias # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeAlias -> m TypeAlias # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeAlias -> m TypeAlias #
Show TypeAlias Source #
Methods showsPrec :: Int -> TypeAlias -> ShowS # show :: TypeAlias -> String # showList :: [TypeAlias] -> ShowS #
Generic TypeAlias Source #
Associated Types type Rep TypeAlias :: * -> * # Methods from :: TypeAlias -> Rep TypeAlias x # to :: Rep TypeAlias x -> TypeAlias #
Pretty TypeAlias Source #
Methods pretty :: TypeAlias -> Doc prettyPrec :: Int -> TypeAlias -> Doc
type Rep TypeAlias Source #
type Rep TypeAlias = D1 (MetaData "TypeAlias" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "ClassTypeAlias" 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 (Maybe TypeParameterList))))) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 WithClause)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ImplementsClause))))))) (C1 (MetaCons "FunctionTypeAlias" 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)))))))

data TypeArgumentList Source #

A list of type arguments.

typeArguments ::= < typeName (',' typeName)* >

Constructors

TypeArgumentList [TypeName]

Instances

Eq TypeArgumentList Source #
Methods (==) :: TypeArgumentList -> TypeArgumentList -> Bool # (/=) :: TypeArgumentList -> TypeArgumentList -> Bool #
Data TypeArgumentList Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeArgumentList -> c TypeArgumentList # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeArgumentList # toConstr :: TypeArgumentList -> Constr # dataTypeOf :: TypeArgumentList -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeArgumentList) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeArgumentList) # gmapT :: (forall b. Data b => b -> b) -> TypeArgumentList -> TypeArgumentList # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeArgumentList -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeArgumentList -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeArgumentList -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeArgumentList -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeArgumentList -> m TypeArgumentList # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeArgumentList -> m TypeArgumentList # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeArgumentList -> m TypeArgumentList #
Show TypeArgumentList Source #
Methods showsPrec :: Int -> TypeArgumentList -> ShowS # show :: TypeArgumentList -> String # showList :: [TypeArgumentList] -> ShowS #
Generic TypeArgumentList Source #
Associated Types type Rep TypeArgumentList :: * -> * # Methods from :: TypeArgumentList -> Rep TypeArgumentList x # to :: Rep TypeArgumentList x -> TypeArgumentList #
Pretty TypeArgumentList Source #
Methods pretty :: TypeArgumentList -> Doc prettyPrec :: Int -> TypeArgumentList -> Doc
type Rep TypeArgumentList Source #
type Rep TypeArgumentList = D1 (MetaData "TypeArgumentList" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "TypeArgumentList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))

data TypedLiteral Source #

A literal that has a type associated with it.

typedLiteral ::= [ListLiteral] | [MapLiteral]

Constructors

MapLiteral Bool (Maybe TypeArgumentList) [MapLiteralEntry]

A literal map.

mapLiteral ::= const? (< [TypeName] (',' [TypeName])* >)? '{' ([MapLiteralEntry] (',' [MapLiteralEntry])* ','?)? '}'

ListLiteral Bool (Maybe TypeArgumentList) [Expression]

A list literal.

listLiteral ::= const? (< [TypeName] >)? '[' ([Expression] ','?)? ']'

Instances

Eq TypedLiteral Source #
Methods (==) :: TypedLiteral -> TypedLiteral -> Bool # (/=) :: TypedLiteral -> TypedLiteral -> Bool #
Data TypedLiteral Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypedLiteral -> c TypedLiteral # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypedLiteral # toConstr :: TypedLiteral -> Constr # dataTypeOf :: TypedLiteral -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypedLiteral) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypedLiteral) # gmapT :: (forall b. Data b => b -> b) -> TypedLiteral -> TypedLiteral # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypedLiteral -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypedLiteral -> r # gmapQ :: (forall d. Data d => d -> u) -> TypedLiteral -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypedLiteral -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypedLiteral -> m TypedLiteral # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedLiteral -> m TypedLiteral # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedLiteral -> m TypedLiteral #
Show TypedLiteral Source #
Methods showsPrec :: Int -> TypedLiteral -> ShowS # show :: TypedLiteral -> String # showList :: [TypedLiteral] -> ShowS #
Generic TypedLiteral Source #
Associated Types type Rep TypedLiteral :: * -> * # Methods from :: TypedLiteral -> Rep TypedLiteral x # to :: Rep TypedLiteral x -> TypedLiteral #
Pretty TypedLiteral Source #
Methods pretty :: TypedLiteral -> Doc prettyPrec :: Int -> TypedLiteral -> Doc
type Rep TypedLiteral Source #
type Rep TypedLiteral = D1 (MetaData "TypedLiteral" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "MapLiteral" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeArgumentList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MapLiteralEntry]))))) (C1 (MetaCons "ListLiteral" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeArgumentList))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expression]))))))

data TypeName Source #

The name of a type, which can optionally include type arguments.

typeName ::= [Identifier] typeArguments?

Constructors

TypeName Identifier (Maybe TypeArgumentList)

Instances

Eq TypeName Source #
Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Data TypeName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeName -> c TypeName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeName # toConstr :: TypeName -> Constr # dataTypeOf :: TypeName -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeName) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeName) # gmapT :: (forall b. Data b => b -> b) -> TypeName -> TypeName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeName -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeName -> m TypeName #
Show TypeName Source #
Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #
Generic TypeName Source #
Associated Types type Rep TypeName :: * -> * # Methods from :: TypeName -> Rep TypeName x # to :: Rep TypeName x -> TypeName #
Pretty TypeName Source #
Methods pretty :: TypeName -> Doc prettyPrec :: Int -> TypeName -> Doc
type Rep TypeName Source #
type Rep TypeName = D1 (MetaData "TypeName" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "TypeName" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Identifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe TypeArgumentList)))))

data TypeParameter Source #

A type parameter.

typeParameter ::= [SimpleIdentifier] (extends [TypeName])?

Constructors

TypeParameter (Maybe Comment) [Annotation] SimpleIdentifier (Maybe TypeName)

Instances

Eq TypeParameter Source #
Methods (==) :: TypeParameter -> TypeParameter -> Bool # (/=) :: TypeParameter -> TypeParameter -> Bool #
Data TypeParameter Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeParameter -> c TypeParameter # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeParameter # toConstr :: TypeParameter -> Constr # dataTypeOf :: TypeParameter -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeParameter) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeParameter) # gmapT :: (forall b. Data b => b -> b) -> TypeParameter -> TypeParameter # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeParameter -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeParameter -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeParameter -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeParameter -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeParameter -> m TypeParameter # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeParameter -> m TypeParameter # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeParameter -> m TypeParameter #
Show TypeParameter Source #
Methods showsPrec :: Int -> TypeParameter -> ShowS # show :: TypeParameter -> String # showList :: [TypeParameter] -> ShowS #
Generic TypeParameter Source #
Associated Types type Rep TypeParameter :: * -> * # Methods from :: TypeParameter -> Rep TypeParameter x # to :: Rep TypeParameter x -> TypeParameter #
Pretty TypeParameter Source #
Methods pretty :: TypeParameter -> Doc prettyPrec :: Int -> TypeParameter -> Doc
type Rep TypeParameter Source #
type Rep TypeParameter = D1 (MetaData "TypeParameter" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "TypeParameter" 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 (Maybe TypeName))))))

newtype TypeParameterList Source #

Type parameters within a declaration.

typeParameterList ::= < [TypeParameter] (',' [TypeParameter])* >

Constructors

TypeParameterList [TypeParameter]

Instances

Eq TypeParameterList Source #
Methods (==) :: TypeParameterList -> TypeParameterList -> Bool # (/=) :: TypeParameterList -> TypeParameterList -> Bool #
Data TypeParameterList Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeParameterList -> c TypeParameterList # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeParameterList # toConstr :: TypeParameterList -> Constr # dataTypeOf :: TypeParameterList -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeParameterList) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeParameterList) # gmapT :: (forall b. Data b => b -> b) -> TypeParameterList -> TypeParameterList # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeParameterList -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeParameterList -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeParameterList -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeParameterList -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeParameterList -> m TypeParameterList # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeParameterList -> m TypeParameterList # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeParameterList -> m TypeParameterList #
Show TypeParameterList Source #
Methods showsPrec :: Int -> TypeParameterList -> ShowS # show :: TypeParameterList -> String # showList :: [TypeParameterList] -> ShowS #
Generic TypeParameterList Source #
Associated Types type Rep TypeParameterList :: * -> * # Methods from :: TypeParameterList -> Rep TypeParameterList x # to :: Rep TypeParameterList x -> TypeParameterList #
Pretty TypeParameterList Source #
Methods pretty :: TypeParameterList -> Doc prettyPrec :: Int -> TypeParameterList -> Doc
type Rep TypeParameterList Source #
type Rep TypeParameterList = D1 (MetaData "TypeParameterList" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "TypeParameterList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeParameter])))

data UriBasedDirective Source #

A directive that references a URI.

uriBasedDirective ::= [ExportDirective] | [ImportDirective] | [PartDirective]

Constructors

NamespaceDirective NamespaceDirective

PartDirective (Maybe Comment) [Annotation] StringLiteral

A part directive.

partDirective ::= [Annotation] part [StringLiteral] ';'

Instances

Eq UriBasedDirective Source #
Methods (==) :: UriBasedDirective -> UriBasedDirective -> Bool # (/=) :: UriBasedDirective -> UriBasedDirective -> Bool #
Data UriBasedDirective Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UriBasedDirective -> c UriBasedDirective # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UriBasedDirective # toConstr :: UriBasedDirective -> Constr # dataTypeOf :: UriBasedDirective -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c UriBasedDirective) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UriBasedDirective) # gmapT :: (forall b. Data b => b -> b) -> UriBasedDirective -> UriBasedDirective # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UriBasedDirective -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UriBasedDirective -> r # gmapQ :: (forall d. Data d => d -> u) -> UriBasedDirective -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UriBasedDirective -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UriBasedDirective -> m UriBasedDirective # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UriBasedDirective -> m UriBasedDirective # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UriBasedDirective -> m UriBasedDirective #
Show UriBasedDirective Source #
Methods showsPrec :: Int -> UriBasedDirective -> ShowS # show :: UriBasedDirective -> String # showList :: [UriBasedDirective] -> ShowS #
Generic UriBasedDirective Source #
Associated Types type Rep UriBasedDirective :: * -> * # Methods from :: UriBasedDirective -> Rep UriBasedDirective x # to :: Rep UriBasedDirective x -> UriBasedDirective #
Pretty UriBasedDirective Source #
Methods pretty :: UriBasedDirective -> Doc prettyPrec :: Int -> UriBasedDirective -> Doc
type Rep UriBasedDirective Source #
type Rep UriBasedDirective = D1 (MetaData "UriBasedDirective" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) ((:+:) (C1 (MetaCons "NamespaceDirective" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NamespaceDirective))) (C1 (MetaCons "PartDirective" 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))))))

data VariableDeclaration Source #

An identifier that has an initial value associated with it. Instances of this class are always children of the class [VariableDeclarationList].

variableDeclaration ::= [SimpleIdentifier] ('=' [Expression])?

Constructors

VariableDeclaration SimpleIdentifier (Maybe Expression)

Instances

Eq VariableDeclaration Source #
Methods (==) :: VariableDeclaration -> VariableDeclaration -> Bool # (/=) :: VariableDeclaration -> VariableDeclaration -> Bool #
Data VariableDeclaration Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VariableDeclaration -> c VariableDeclaration # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VariableDeclaration # toConstr :: VariableDeclaration -> Constr # dataTypeOf :: VariableDeclaration -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c VariableDeclaration) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VariableDeclaration) # gmapT :: (forall b. Data b => b -> b) -> VariableDeclaration -> VariableDeclaration # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VariableDeclaration -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VariableDeclaration -> r # gmapQ :: (forall d. Data d => d -> u) -> VariableDeclaration -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VariableDeclaration -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VariableDeclaration -> m VariableDeclaration # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableDeclaration -> m VariableDeclaration # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableDeclaration -> m VariableDeclaration #
Show VariableDeclaration Source #
Methods showsPrec :: Int -> VariableDeclaration -> ShowS # show :: VariableDeclaration -> String # showList :: [VariableDeclaration] -> ShowS #
Generic VariableDeclaration Source #
Associated Types type Rep VariableDeclaration :: * -> * # Methods from :: VariableDeclaration -> Rep VariableDeclaration x # to :: Rep VariableDeclaration x -> VariableDeclaration #
Pretty VariableDeclaration Source #
Methods pretty :: VariableDeclaration -> Doc prettyPrec :: Int -> VariableDeclaration -> Doc
type Rep VariableDeclaration Source #
type Rep VariableDeclaration = D1 (MetaData "VariableDeclaration" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "VariableDeclaration" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Expression)))))

data VariableDeclarationList Source #

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

variableDeclarationList ::= finalConstVarOrType [VariableDeclaration] (',' [VariableDeclaration])*

finalConstVarOrType ::= | final [TypeName]? | const [TypeName]? | var | [TypeName]

Constructors

VariableDeclarationList (Maybe Comment) [Annotation] FinalConstVarOrType [VariableDeclaration]

Instances

Eq VariableDeclarationList Source #
Methods (==) :: VariableDeclarationList -> VariableDeclarationList -> Bool # (/=) :: VariableDeclarationList -> VariableDeclarationList -> Bool #
Data VariableDeclarationList Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VariableDeclarationList -> c VariableDeclarationList # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VariableDeclarationList # toConstr :: VariableDeclarationList -> Constr # dataTypeOf :: VariableDeclarationList -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c VariableDeclarationList) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VariableDeclarationList) # gmapT :: (forall b. Data b => b -> b) -> VariableDeclarationList -> VariableDeclarationList # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VariableDeclarationList -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VariableDeclarationList -> r # gmapQ :: (forall d. Data d => d -> u) -> VariableDeclarationList -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VariableDeclarationList -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VariableDeclarationList -> m VariableDeclarationList # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableDeclarationList -> m VariableDeclarationList # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableDeclarationList -> m VariableDeclarationList #
Show VariableDeclarationList Source #
Methods showsPrec :: Int -> VariableDeclarationList -> ShowS # show :: VariableDeclarationList -> String # showList :: [VariableDeclarationList] -> ShowS #
Generic VariableDeclarationList Source #
Associated Types type Rep VariableDeclarationList :: * -> * # Methods from :: VariableDeclarationList -> Rep VariableDeclarationList x # to :: Rep VariableDeclarationList x -> VariableDeclarationList #
Pretty VariableDeclarationList Source #
Methods pretty :: VariableDeclarationList -> Doc prettyPrec :: Int -> VariableDeclarationList -> Doc
type Rep VariableDeclarationList Source #
type Rep VariableDeclarationList = D1 (MetaData "VariableDeclarationList" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" False) (C1 (MetaCons "VariableDeclarationList" 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 FinalConstVarOrType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [VariableDeclaration])))))

newtype WithClause Source #

The with clause in a class declaration.

withClause ::= with [TypeName] (',' [TypeName])*

Constructors

WithClause [TypeName]

Instances

Eq WithClause Source #
Methods (==) :: WithClause -> WithClause -> Bool # (/=) :: WithClause -> WithClause -> Bool #
Data WithClause Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WithClause -> c WithClause # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WithClause # toConstr :: WithClause -> Constr # dataTypeOf :: WithClause -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c WithClause) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WithClause) # gmapT :: (forall b. Data b => b -> b) -> WithClause -> WithClause # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WithClause -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WithClause -> r # gmapQ :: (forall d. Data d => d -> u) -> WithClause -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> WithClause -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WithClause -> m WithClause #
Show WithClause Source #
Methods showsPrec :: Int -> WithClause -> ShowS # show :: WithClause -> String # showList :: [WithClause] -> ShowS #
Generic WithClause Source #
Associated Types type Rep WithClause :: * -> * # Methods from :: WithClause -> Rep WithClause x # to :: Rep WithClause x -> WithClause #
Pretty WithClause Source #
Methods pretty :: WithClause -> Doc prettyPrec :: Int -> WithClause -> Doc
type Rep WithClause Source #
type Rep WithClause = D1 (MetaData "WithClause" "Language.Dart.Syntax" "language-dart-0.2.0.0-JLVTLVp03HJ60zToVhzM" True) (C1 (MetaCons "WithClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))

SwitchMember SwitchMember
Statement Statement
CatchClause' CatchClause
TypeNameNode TypeName
TypeArgumentList' TypeArgumentList
Label' Label
Annotation' Annotation
Comment' Comment
CommentReference' CommentReference
ArgumentList' ArgumentList
TypeParameterList' TypeParameterList
FormalParameterList' FormalParameterList
AnnotatedNode' AnnotatedNode
WithClause' WithClause
ExtendsClause' ExtendsClause
ConstructorName' ConstructorName
InterpolationElement' InterpolationElement
ConstructorInitializer ConstructorInitializer
Combinator Combinator
Configuration' Configuration
DottedName' DottedName
ScriptTag' ScriptTag
NativeClause StringLiteral	The "native" clause in an class declaration. nativeClause ::= `native` [StringLiteral]
MapLiteralEntry' MapLiteralEntry