Language.Dart.Syntax

Documentation

data AnnotatedNode

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

Methods

(==) :: AnnotatedNode -> AnnotatedNode -> Bool

(/=) :: AnnotatedNode -> AnnotatedNode -> Bool

Data AnnotatedNode

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

Methods

showsPrec :: Int -> AnnotatedNode -> ShowS

show :: AnnotatedNode -> String

showList :: [AnnotatedNode] -> ShowS

Generic AnnotatedNode

Associated Types

type Rep AnnotatedNode :: * -> *

Methods

from :: AnnotatedNode -> Rep AnnotatedNode x

to :: Rep AnnotatedNode x -> AnnotatedNode

type Rep AnnotatedNode

type Rep AnnotatedNode = D1 (MetaData "AnnotatedNode" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Annotation -> Annotation -> Bool

(/=) :: Annotation -> Annotation -> Bool

Data Annotation

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

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

Generic Annotation

Associated Types

type Rep Annotation :: * -> *

Methods

from :: Annotation -> Rep Annotation x

to :: Rep Annotation x -> Annotation

type Rep Annotation

type Rep Annotation = D1 (MetaData "Annotation" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: ArgumentList -> ArgumentList -> Bool

(/=) :: ArgumentList -> ArgumentList -> Bool

Data ArgumentList

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

Methods

showsPrec :: Int -> ArgumentList -> ShowS

show :: ArgumentList -> String

showList :: [ArgumentList] -> ShowS

Generic ArgumentList

Associated Types

type Rep ArgumentList :: * -> *

Methods

from :: ArgumentList -> Rep ArgumentList x

to :: Rep ArgumentList x -> ArgumentList

type Rep ArgumentList

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

data AstNode

A node in the AST structure for a Dart program.

Constructors

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

Instances

Eq AstNode

Methods

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

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

Data AstNode

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

Methods

showsPrec :: Int -> AstNode -> ShowS

show :: AstNode -> String

showList :: [AstNode] -> ShowS

Generic AstNode

Associated Types

type Rep AstNode :: * -> *

Methods

from :: AstNode -> Rep AstNode x

to :: Rep AstNode x -> AstNode

type Rep AstNode

type Rep AstNode = D1 (MetaData "AstNode" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Constructors

Async

Sync

AsyncStar

SyncStar

Instances

Eq AsyncModifier

Methods

(==) :: AsyncModifier -> AsyncModifier -> Bool

(/=) :: AsyncModifier -> AsyncModifier -> Bool

Data AsyncModifier

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

Methods

showsPrec :: Int -> AsyncModifier -> ShowS

show :: AsyncModifier -> String

showList :: [AsyncModifier] -> ShowS

Generic AsyncModifier

Associated Types

type Rep AsyncModifier :: * -> *

Methods

from :: AsyncModifier -> Rep AsyncModifier x

to :: Rep AsyncModifier x -> AsyncModifier

type Rep AsyncModifier

type Rep AsyncModifier = D1 (MetaData "AsyncModifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A sequence of statements.

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

Constructors

Block [Statement]

Instances

Eq Block

Methods

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

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

Data Block

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

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Generic Block

Associated Types

type Rep Block :: * -> *

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

type Rep Block

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

data CatchClause

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

Methods

(==) :: CatchClause -> CatchClause -> Bool

(/=) :: CatchClause -> CatchClause -> Bool

Data CatchClause

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

Methods

showsPrec :: Int -> CatchClause -> ShowS

show :: CatchClause -> String

showList :: [CatchClause] -> ShowS

Generic CatchClause

Associated Types

type Rep CatchClause :: * -> *

Methods

from :: CatchClause -> Rep CatchClause x

to :: Rep CatchClause x -> CatchClause

type Rep CatchClause

type Rep CatchClause = D1 (MetaData "CatchClause" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: ClassMember -> ClassMember -> Bool

(/=) :: ClassMember -> ClassMember -> Bool

Data ClassMember

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

Methods

showsPrec :: Int -> ClassMember -> ShowS

show :: ClassMember -> String

showList :: [ClassMember] -> ShowS

Generic ClassMember

Associated Types

type Rep ClassMember :: * -> *

Methods

from :: ClassMember -> Rep ClassMember x

to :: Rep ClassMember x -> ClassMember

type Rep ClassMember

type Rep ClassMember = D1 (MetaData "ClassMember" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Combinator -> Combinator -> Bool

(/=) :: Combinator -> Combinator -> Bool

Data Combinator

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

Methods

showsPrec :: Int -> Combinator -> ShowS

show :: Combinator -> String

showList :: [Combinator] -> ShowS

Generic Combinator

Associated Types

type Rep Combinator :: * -> *

Methods

from :: Combinator -> Rep Combinator x

to :: Rep Combinator x -> Combinator

type Rep Combinator

type Rep Combinator = D1 (MetaData "Combinator" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

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

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

Data Comment

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

Methods

showsPrec :: Int -> Comment -> ShowS

show :: Comment -> String

showList :: [Comment] -> ShowS

Generic Comment

Associated Types

type Rep Comment :: * -> *

Methods

from :: Comment -> Rep Comment x

to :: Rep Comment x -> Comment

type Rep Comment

type Rep Comment = D1 (MetaData "Comment" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

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

Constructors

CommentReference Bool Identifier

Instances

Eq CommentReference

Methods

(==) :: CommentReference -> CommentReference -> Bool

(/=) :: CommentReference -> CommentReference -> Bool

Data CommentReference

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

Methods

showsPrec :: Int -> CommentReference -> ShowS

show :: CommentReference -> String

showList :: [CommentReference] -> ShowS

Generic CommentReference

Associated Types

type Rep CommentReference :: * -> *

Methods

from :: CommentReference -> Rep CommentReference x

to :: Rep CommentReference x -> CommentReference

type Rep CommentReference

type Rep CommentReference = D1 (MetaData "CommentReference" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Constructors

BlockComment

DocumentationComment

EndOfLineComment

Instances

Eq CommentType

Methods

(==) :: CommentType -> CommentType -> Bool

(/=) :: CommentType -> CommentType -> Bool

Data CommentType

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

Methods

showsPrec :: Int -> CommentType -> ShowS

show :: CommentType -> String

showList :: [CommentType] -> ShowS

Generic CommentType

Associated Types

type Rep CommentType :: * -> *

Methods

from :: CommentType -> Rep CommentType x

to :: Rep CommentType x -> CommentType

type Rep CommentType

type Rep CommentType = D1 (MetaData "CommentType" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) ((:+:) (C1 (MetaCons "BlockComment" PrefixI False) U1) ((:+:) (C1 (MetaCons "DocumentationComment" PrefixI False) U1) (C1 (MetaCons "EndOfLineComment" PrefixI False) U1)))

data CompilationUnit

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

Methods

(==) :: CompilationUnit -> CompilationUnit -> Bool

(/=) :: CompilationUnit -> CompilationUnit -> Bool

Data CompilationUnit

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

Methods

showsPrec :: Int -> CompilationUnit -> ShowS

show :: CompilationUnit -> String

showList :: [CompilationUnit] -> ShowS

Generic CompilationUnit

Associated Types

type Rep CompilationUnit :: * -> *

Methods

from :: CompilationUnit -> Rep CompilationUnit x

to :: Rep CompilationUnit x -> CompilationUnit

type Rep CompilationUnit

type Rep CompilationUnit = D1 (MetaData "CompilationUnit" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

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

Constructors

TopLevelVariableDeclaration (Maybe Comment) [Annotation] VariableDeclarationList

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

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

NamedCompilationUnitMember NamedCompilationUnitMember

Instances

Eq CompilationUnitMember

Methods

(==) :: CompilationUnitMember -> CompilationUnitMember -> Bool

(/=) :: CompilationUnitMember -> CompilationUnitMember -> Bool

Data CompilationUnitMember

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

Methods

showsPrec :: Int -> CompilationUnitMember -> ShowS

show :: CompilationUnitMember -> String

showList :: [CompilationUnitMember] -> ShowS

Generic CompilationUnitMember

Associated Types

type Rep CompilationUnitMember :: * -> *

Methods

from :: CompilationUnitMember -> Rep CompilationUnitMember x

to :: Rep CompilationUnitMember x -> CompilationUnitMember

type Rep CompilationUnitMember

type Rep CompilationUnitMember = D1 (MetaData "CompilationUnitMember" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Configuration -> Configuration -> Bool

(/=) :: Configuration -> Configuration -> Bool

Data Configuration

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

Methods

showsPrec :: Int -> Configuration -> ShowS

show :: Configuration -> String

showList :: [Configuration] -> ShowS

Generic Configuration

Associated Types

type Rep Configuration :: * -> *

Methods

from :: Configuration -> Rep Configuration x

to :: Rep Configuration x -> Configuration

type Rep Configuration

type Rep Configuration = D1 (MetaData "Configuration" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: ConstructorInitializer -> ConstructorInitializer -> Bool

(/=) :: ConstructorInitializer -> ConstructorInitializer -> Bool

Data ConstructorInitializer

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

Methods

showsPrec :: Int -> ConstructorInitializer -> ShowS

show :: ConstructorInitializer -> String

showList :: [ConstructorInitializer] -> ShowS

Generic ConstructorInitializer

Associated Types

type Rep ConstructorInitializer :: * -> *

Methods

from :: ConstructorInitializer -> Rep ConstructorInitializer x

to :: Rep ConstructorInitializer x -> ConstructorInitializer

type Rep ConstructorInitializer

type Rep ConstructorInitializer = D1 (MetaData "ConstructorInitializer" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

The name of a constructor.

constructorName ::= type (. identifier)?

Constructors

ConstructorName TypeName (Maybe SimpleIdentifier)

Instances

Eq ConstructorName

Methods

(==) :: ConstructorName -> ConstructorName -> Bool

(/=) :: ConstructorName -> ConstructorName -> Bool

Data ConstructorName

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

Methods

showsPrec :: Int -> ConstructorName -> ShowS

show :: ConstructorName -> String

showList :: [ConstructorName] -> ShowS

Generic ConstructorName

Associated Types

type Rep ConstructorName :: * -> *

Methods

from :: ConstructorName -> Rep ConstructorName x

to :: Rep ConstructorName x -> ConstructorName

type Rep ConstructorName

type Rep ConstructorName = D1 (MetaData "ConstructorName" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Declaration -> Declaration -> Bool

(/=) :: Declaration -> Declaration -> Bool

Data Declaration

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

Methods

showsPrec :: Int -> Declaration -> ShowS

show :: Declaration -> String

showList :: [Declaration] -> ShowS

Generic Declaration

Associated Types

type Rep Declaration :: * -> *

Methods

from :: Declaration -> Rep Declaration x

to :: Rep Declaration x -> Declaration

type Rep Declaration

type Rep Declaration = D1 (MetaData "Declaration" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

The declaration of a single identifier.

declaredIdentifier ::= [Annotation] finalConstVarOrType [SimpleIdentifier]

Constructors

DeclaredIdentifier (Maybe Comment) [Annotation] FinalConstVarOrType SimpleIdentifier

Instances

Eq DeclaredIdentifier

Methods

(==) :: DeclaredIdentifier -> DeclaredIdentifier -> Bool

(/=) :: DeclaredIdentifier -> DeclaredIdentifier -> Bool

Data DeclaredIdentifier

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

Methods

showsPrec :: Int -> DeclaredIdentifier -> ShowS

show :: DeclaredIdentifier -> String

showList :: [DeclaredIdentifier] -> ShowS

Generic DeclaredIdentifier

Associated Types

type Rep DeclaredIdentifier :: * -> *

Methods

from :: DeclaredIdentifier -> Rep DeclaredIdentifier x

to :: Rep DeclaredIdentifier x -> DeclaredIdentifier

type Rep DeclaredIdentifier

type Rep DeclaredIdentifier = D1 (MetaData "DeclaredIdentifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Directive -> Directive -> Bool

(/=) :: Directive -> Directive -> Bool

Data Directive

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

Methods

showsPrec :: Int -> Directive -> ShowS

show :: Directive -> String

showList :: [Directive] -> ShowS

Generic Directive

Associated Types

type Rep Directive :: * -> *

Methods

from :: Directive -> Rep Directive x

to :: Rep Directive x -> Directive

type Rep Directive

type Rep Directive = D1 (MetaData "Directive" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

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

Constructors

DottedName [SimpleIdentifier]

Instances

Eq DottedName

Methods

(==) :: DottedName -> DottedName -> Bool

(/=) :: DottedName -> DottedName -> Bool

Data DottedName

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

Methods

showsPrec :: Int -> DottedName -> ShowS

show :: DottedName -> String

showList :: [DottedName] -> ShowS

Generic DottedName

Associated Types

type Rep DottedName :: * -> *

Methods

from :: DottedName -> Rep DottedName x

to :: Rep DottedName x -> DottedName

type Rep DottedName

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

data EnumConstantDeclaration

The declaration of an enum constant.

Constructors

EnumConstantDeclaration (Maybe Comment) [Annotation] SimpleIdentifier

Instances

Eq EnumConstantDeclaration

Methods

(==) :: EnumConstantDeclaration -> EnumConstantDeclaration -> Bool

(/=) :: EnumConstantDeclaration -> EnumConstantDeclaration -> Bool

Data EnumConstantDeclaration

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

Methods

showsPrec :: Int -> EnumConstantDeclaration -> ShowS

show :: EnumConstantDeclaration -> String

showList :: [EnumConstantDeclaration] -> ShowS

Generic EnumConstantDeclaration

Associated Types

type Rep EnumConstantDeclaration :: * -> *

Methods

from :: EnumConstantDeclaration -> Rep EnumConstantDeclaration x

to :: Rep EnumConstantDeclaration x -> EnumConstantDeclaration

type Rep EnumConstantDeclaration

type Rep EnumConstantDeclaration = D1 (MetaData "EnumConstantDeclaration" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Data Expression

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

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Generic Expression

Associated Types

type Rep Expression :: * -> *

Methods

from :: Expression -> Rep Expression x

to :: Rep Expression x -> Expression

type Rep Expression

type Rep Expression = D1 (MetaData "Expression" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

The "extends" clause in a class declaration.

extendsClause ::= extends [TypeName]

Constructors

ExtendsClause TypeName

Instances

Eq ExtendsClause

Methods

(==) :: ExtendsClause -> ExtendsClause -> Bool

(/=) :: ExtendsClause -> ExtendsClause -> Bool

Data ExtendsClause

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

Methods

showsPrec :: Int -> ExtendsClause -> ShowS

show :: ExtendsClause -> String

showList :: [ExtendsClause] -> ShowS

Generic ExtendsClause

Associated Types

type Rep ExtendsClause :: * -> *

Methods

from :: ExtendsClause -> Rep ExtendsClause x

to :: Rep ExtendsClause x -> ExtendsClause

type Rep ExtendsClause

type Rep ExtendsClause = D1 (MetaData "ExtendsClause" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "ExtendsClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName)))

data FinalConstVarOrType

Constructors

FCVTFinal TypeName

FCVTConst TypeName

FCVTType TypeName

FCVTVar

Instances

Eq FinalConstVarOrType

Methods

(==) :: FinalConstVarOrType -> FinalConstVarOrType -> Bool

(/=) :: FinalConstVarOrType -> FinalConstVarOrType -> Bool

Data FinalConstVarOrType

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

Methods

showsPrec :: Int -> FinalConstVarOrType -> ShowS

show :: FinalConstVarOrType -> String

showList :: [FinalConstVarOrType] -> ShowS

Generic FinalConstVarOrType

Associated Types

type Rep FinalConstVarOrType :: * -> *

Methods

from :: FinalConstVarOrType -> Rep FinalConstVarOrType x

to :: Rep FinalConstVarOrType x -> FinalConstVarOrType

type Rep FinalConstVarOrType

type Rep FinalConstVarOrType = D1 (MetaData "FinalConstVarOrType" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Constructors

FVTFinal TypeName

FVTType TypeName

FVTVar

Instances

Eq FinalVarOrType

Methods

(==) :: FinalVarOrType -> FinalVarOrType -> Bool

(/=) :: FinalVarOrType -> FinalVarOrType -> Bool

Data FinalVarOrType

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

Methods

showsPrec :: Int -> FinalVarOrType -> ShowS

show :: FinalVarOrType -> String

showList :: [FinalVarOrType] -> ShowS

Generic FinalVarOrType

Associated Types

type Rep FinalVarOrType :: * -> *

Methods

from :: FinalVarOrType -> Rep FinalVarOrType x

to :: Rep FinalVarOrType x -> FinalVarOrType

type Rep FinalVarOrType

type Rep FinalVarOrType = D1 (MetaData "FinalVarOrType" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A node representing a parameter to a function.

formalParameter ::= [NormalFormalParameter] | [DefaultFormalParameter]

Constructors

NormalFormalParameter' NormalFormalParameter

DefaultFormalParameter NormalFormalParameter ParameterKind (Maybe Expression)

Instances

Eq FormalParameter

Methods

(==) :: FormalParameter -> FormalParameter -> Bool

(/=) :: FormalParameter -> FormalParameter -> Bool

Data FormalParameter

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

Methods

showsPrec :: Int -> FormalParameter -> ShowS

show :: FormalParameter -> String

showList :: [FormalParameter] -> ShowS

Generic FormalParameter

Associated Types

type Rep FormalParameter :: * -> *

Methods

from :: FormalParameter -> Rep FormalParameter x

to :: Rep FormalParameter x -> FormalParameter

type Rep FormalParameter

type Rep FormalParameter = D1 (MetaData "FormalParameter" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: FormalParameterList -> FormalParameterList -> Bool

(/=) :: FormalParameterList -> FormalParameterList -> Bool

Data FormalParameterList

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

Methods

showsPrec :: Int -> FormalParameterList -> ShowS

show :: FormalParameterList -> String

showList :: [FormalParameterList] -> ShowS

Generic FormalParameterList

Associated Types

type Rep FormalParameterList :: * -> *

Methods

from :: FormalParameterList -> Rep FormalParameterList x

to :: Rep FormalParameterList x -> FormalParameterList

type Rep FormalParameterList

type Rep FormalParameterList = D1 (MetaData "FormalParameterList" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "FormalParameterList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FormalParameter])))

data FunctionBody

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

Methods

(==) :: FunctionBody -> FunctionBody -> Bool

(/=) :: FunctionBody -> FunctionBody -> Bool

Data FunctionBody

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

Methods

showsPrec :: Int -> FunctionBody -> ShowS

show :: FunctionBody -> String

showList :: [FunctionBody] -> ShowS

Generic FunctionBody

Associated Types

type Rep FunctionBody :: * -> *

Methods

from :: FunctionBody -> Rep FunctionBody x

to :: Rep FunctionBody x -> FunctionBody

type Rep FunctionBody

type Rep FunctionBody = D1 (MetaData "FunctionBody" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: FunctionDeclaration -> FunctionDeclaration -> Bool

(/=) :: FunctionDeclaration -> FunctionDeclaration -> Bool

Data FunctionDeclaration

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

Methods

showsPrec :: Int -> FunctionDeclaration -> ShowS

show :: FunctionDeclaration -> String

showList :: [FunctionDeclaration] -> ShowS

Generic FunctionDeclaration

Associated Types

type Rep FunctionDeclaration :: * -> *

Methods

from :: FunctionDeclaration -> Rep FunctionDeclaration x

to :: Rep FunctionDeclaration x -> FunctionDeclaration

type Rep FunctionDeclaration

type Rep FunctionDeclaration = D1 (MetaData "FunctionDeclaration" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A function expression.

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

Constructors

FunctionExpression (Maybe TypeParameterList) FormalParameterList FunctionBody

Instances

Eq FunctionExpression

Methods

(==) :: FunctionExpression -> FunctionExpression -> Bool

(/=) :: FunctionExpression -> FunctionExpression -> Bool

Data FunctionExpression

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

Methods

showsPrec :: Int -> FunctionExpression -> ShowS

show :: FunctionExpression -> String

showList :: [FunctionExpression] -> ShowS

Generic FunctionExpression

Associated Types

type Rep FunctionExpression :: * -> *

Methods

from :: FunctionExpression -> Rep FunctionExpression x

to :: Rep FunctionExpression x -> FunctionExpression

type Rep FunctionExpression

type Rep FunctionExpression = D1 (MetaData "FunctionExpression" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

Data Identifier

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

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Generic Identifier

Associated Types

type Rep Identifier :: * -> *

Methods

from :: Identifier -> Rep Identifier x

to :: Rep Identifier x -> Identifier

type Rep Identifier

type Rep Identifier = D1 (MetaData "Identifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

The "implements" clause in an class declaration.

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

Constructors

ImplementsClause [TypeName]

Instances

Eq ImplementsClause

Methods

(==) :: ImplementsClause -> ImplementsClause -> Bool

(/=) :: ImplementsClause -> ImplementsClause -> Bool

Data ImplementsClause

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

Methods

showsPrec :: Int -> ImplementsClause -> ShowS

show :: ImplementsClause -> String

showList :: [ImplementsClause] -> ShowS

Generic ImplementsClause

Associated Types

type Rep ImplementsClause :: * -> *

Methods

from :: ImplementsClause -> Rep ImplementsClause x

to :: Rep ImplementsClause x -> ImplementsClause

type Rep ImplementsClause

type Rep ImplementsClause = D1 (MetaData "ImplementsClause" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "ImplementsClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))

data InterpolationElement

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

Methods

(==) :: InterpolationElement -> InterpolationElement -> Bool

(/=) :: InterpolationElement -> InterpolationElement -> Bool

Data InterpolationElement

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

Methods

showsPrec :: Int -> InterpolationElement -> ShowS

show :: InterpolationElement -> String

showList :: [InterpolationElement] -> ShowS

Generic InterpolationElement

Associated Types

type Rep InterpolationElement :: * -> *

Methods

from :: InterpolationElement -> Rep InterpolationElement x

to :: Rep InterpolationElement x -> InterpolationElement

type Rep InterpolationElement

type Rep InterpolationElement = D1 (MetaData "InterpolationElement" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: InvocationExpression -> InvocationExpression -> Bool

(/=) :: InvocationExpression -> InvocationExpression -> Bool

Data InvocationExpression

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

Methods

showsPrec :: Int -> InvocationExpression -> ShowS

show :: InvocationExpression -> String

showList :: [InvocationExpression] -> ShowS

Generic InvocationExpression

Associated Types

type Rep InvocationExpression :: * -> *

Methods

from :: InvocationExpression -> Rep InvocationExpression x

to :: Rep InvocationExpression x -> InvocationExpression

type Rep InvocationExpression

type Rep InvocationExpression = D1 (MetaData "InvocationExpression" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

label ::= [SimpleIdentifier] :

Constructors

Label SimpleIdentifier

Instances

Eq Label

Methods

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

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

Data Label

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

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Generic Label

Associated Types

type Rep Label :: * -> *

Methods

from :: Label -> Rep Label x

to :: Rep Label x -> Label

type Rep Label

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

newtype LibraryIdentifier

The identifier for a library.

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

Constructors

LibraryIdentifier [SimpleIdentifier]

Instances

Eq LibraryIdentifier

Methods

(==) :: LibraryIdentifier -> LibraryIdentifier -> Bool

(/=) :: LibraryIdentifier -> LibraryIdentifier -> Bool

Data LibraryIdentifier

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

Methods

showsPrec :: Int -> LibraryIdentifier -> ShowS

show :: LibraryIdentifier -> String

showList :: [LibraryIdentifier] -> ShowS

Generic LibraryIdentifier

Associated Types

type Rep LibraryIdentifier :: * -> *

Methods

from :: LibraryIdentifier -> Rep LibraryIdentifier x

to :: Rep LibraryIdentifier x -> LibraryIdentifier

type Rep LibraryIdentifier

type Rep LibraryIdentifier = D1 (MetaData "LibraryIdentifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "LibraryIdentifier" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SimpleIdentifier])))

data Literal

A node that represents a literal expression.

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

Constructors

BooleanLiteral Bool

DoubleLiteral Double

TypedLiteral TypedLiteral

IntegerLiteral Integer

An integer literal expression.

integerLiteral ::= decimalIntegerLiteral | hexadecimalIntegerLiteral

decimalIntegerLiteral ::= decimalDigit+

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

NullLiteral

A null literal expression.

nullLiteral ::= null

StringLiteral' StringLiteral

SymbolLiteral [Token]

A symbol literal expression.

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

Instances

Eq Literal

Methods

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

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

Data Literal

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

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Generic Literal

Associated Types

type Rep Literal :: * -> *

Methods

from :: Literal -> Rep Literal x

to :: Rep Literal x -> Literal

type Rep Literal

type Rep Literal = D1 (MetaData "Literal" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A single key/value pair in a map literal.

mapLiteralEntry ::= [Expression] : [Expression]

Constructors

MapLiteralEntry Expression Expression

Instances

Eq MapLiteralEntry

Methods

(==) :: MapLiteralEntry -> MapLiteralEntry -> Bool

(/=) :: MapLiteralEntry -> MapLiteralEntry -> Bool

Data MapLiteralEntry

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

Methods

showsPrec :: Int -> MapLiteralEntry -> ShowS

show :: MapLiteralEntry -> String

showList :: [MapLiteralEntry] -> ShowS

Generic MapLiteralEntry

Associated Types

type Rep MapLiteralEntry :: * -> *

Methods

from :: MapLiteralEntry -> Rep MapLiteralEntry x

to :: Rep MapLiteralEntry x -> MapLiteralEntry

type Rep MapLiteralEntry

type Rep MapLiteralEntry = D1 (MetaData "MapLiteralEntry" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Constructors

Abstract

Static

Instances

Eq MethodModifier

Methods

(==) :: MethodModifier -> MethodModifier -> Bool

(/=) :: MethodModifier -> MethodModifier -> Bool

Data MethodModifier

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

Methods

showsPrec :: Int -> MethodModifier -> ShowS

show :: MethodModifier -> String

showList :: [MethodModifier] -> ShowS

Generic MethodModifier

Associated Types

type Rep MethodModifier :: * -> *

Methods

from :: MethodModifier -> Rep MethodModifier x

to :: Rep MethodModifier x -> MethodModifier

type Rep MethodModifier

type Rep MethodModifier = D1 (MetaData "MethodModifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) ((:+:) (C1 (MetaCons "Abstract" PrefixI False) U1) (C1 (MetaCons "Static" PrefixI False) U1))

data NamedCompilationUnitMember

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

Methods

(==) :: NamedCompilationUnitMember -> NamedCompilationUnitMember -> Bool

(/=) :: NamedCompilationUnitMember -> NamedCompilationUnitMember -> Bool

Data NamedCompilationUnitMember

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

Methods

showsPrec :: Int -> NamedCompilationUnitMember -> ShowS

show :: NamedCompilationUnitMember -> String

showList :: [NamedCompilationUnitMember] -> ShowS

Generic NamedCompilationUnitMember

Associated Types

type Rep NamedCompilationUnitMember :: * -> *

Methods

from :: NamedCompilationUnitMember -> Rep NamedCompilationUnitMember x

to :: Rep NamedCompilationUnitMember x -> NamedCompilationUnitMember

type Rep NamedCompilationUnitMember

type Rep NamedCompilationUnitMember = D1 (MetaData "NamedCompilationUnitMember" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: NamespaceDirective -> NamespaceDirective -> Bool

(/=) :: NamespaceDirective -> NamespaceDirective -> Bool

Data NamespaceDirective

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

Methods

showsPrec :: Int -> NamespaceDirective -> ShowS

show :: NamespaceDirective -> String

showList :: [NamespaceDirective] -> ShowS

Generic NamespaceDirective

Associated Types

type Rep NamespaceDirective :: * -> *

Methods

from :: NamespaceDirective -> Rep NamespaceDirective x

to :: Rep NamespaceDirective x -> NamespaceDirective

type Rep NamespaceDirective

type Rep NamespaceDirective = D1 (MetaData "NamespaceDirective" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Constructors

NCNew

NCConst

Instances

Eq NewOrConst

Methods

(==) :: NewOrConst -> NewOrConst -> Bool

(/=) :: NewOrConst -> NewOrConst -> Bool

Data NewOrConst

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

Methods

showsPrec :: Int -> NewOrConst -> ShowS

show :: NewOrConst -> String

showList :: [NewOrConst] -> ShowS

Generic NewOrConst

Associated Types

type Rep NewOrConst :: * -> *

Methods

from :: NewOrConst -> Rep NewOrConst x

to :: Rep NewOrConst x -> NewOrConst

type Rep NewOrConst

type Rep NewOrConst = D1 (MetaData "NewOrConst" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) ((:+:) (C1 (MetaCons "NCNew" PrefixI False) U1) (C1 (MetaCons "NCConst" PrefixI False) U1))

data NormalFormalParameter

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] FinalVarOrType SimpleIdentifier

A simple formal parameter.

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

Instances

Eq NormalFormalParameter

Methods

(==) :: NormalFormalParameter -> NormalFormalParameter -> Bool

(/=) :: NormalFormalParameter -> NormalFormalParameter -> Bool

Data NormalFormalParameter

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

Methods

showsPrec :: Int -> NormalFormalParameter -> ShowS

show :: NormalFormalParameter -> String

showList :: [NormalFormalParameter] -> ShowS

Generic NormalFormalParameter

Associated Types

type Rep NormalFormalParameter :: * -> *

Methods

from :: NormalFormalParameter -> Rep NormalFormalParameter x

to :: Rep NormalFormalParameter x -> NormalFormalParameter

type Rep NormalFormalParameter

type Rep NormalFormalParameter = D1 (MetaData "NormalFormalParameter" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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 FinalVarOrType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SimpleIdentifier)))))))

data ParameterKind

Constructors

Required

Positional

Named

Instances

Eq ParameterKind

Methods

(==) :: ParameterKind -> ParameterKind -> Bool

(/=) :: ParameterKind -> ParameterKind -> Bool

Data ParameterKind

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

Methods

showsPrec :: Int -> ParameterKind -> ShowS

show :: ParameterKind -> String

showList :: [ParameterKind] -> ShowS

Generic ParameterKind

Associated Types

type Rep ParameterKind :: * -> *

Methods

from :: ParameterKind -> Rep ParameterKind x

to :: Rep ParameterKind x -> ParameterKind

type Rep ParameterKind

type Rep ParameterKind = D1 (MetaData "ParameterKind" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) ((:+:) (C1 (MetaCons "Required" PrefixI False) U1) ((:+:) (C1 (MetaCons "Positional" PrefixI False) U1) (C1 (MetaCons "Named" PrefixI False) U1)))

data PropertyKeyword

Constructors

Get

Set

Empty

Instances

Eq PropertyKeyword

Methods

(==) :: PropertyKeyword -> PropertyKeyword -> Bool

(/=) :: PropertyKeyword -> PropertyKeyword -> Bool

Data PropertyKeyword

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

Methods

showsPrec :: Int -> PropertyKeyword -> ShowS

show :: PropertyKeyword -> String

showList :: [PropertyKeyword] -> ShowS

Generic PropertyKeyword

Associated Types

type Rep PropertyKeyword :: * -> *

Methods

from :: PropertyKeyword -> Rep PropertyKeyword x

to :: Rep PropertyKeyword x -> PropertyKeyword

type Rep PropertyKeyword

type Rep PropertyKeyword = D1 (MetaData "PropertyKeyword" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) ((:+:) (C1 (MetaCons "Get" PrefixI False) U1) ((:+:) (C1 (MetaCons "Set" PrefixI False) U1) (C1 (MetaCons "Empty" PrefixI False) U1)))

newtype ScriptTag

Constructors

ScriptTag Token

Instances

Eq ScriptTag

Methods

(==) :: ScriptTag -> ScriptTag -> Bool

(/=) :: ScriptTag -> ScriptTag -> Bool

Data ScriptTag

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

Methods

showsPrec :: Int -> ScriptTag -> ShowS

show :: ScriptTag -> String

showList :: [ScriptTag] -> ShowS

Generic ScriptTag

Associated Types

type Rep ScriptTag :: * -> *

Methods

from :: ScriptTag -> Rep ScriptTag x

to :: Rep ScriptTag x -> ScriptTag

type Rep ScriptTag

type Rep ScriptTag = D1 (MetaData "ScriptTag" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "ScriptTag" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))

newtype SimpleIdentifier

A simple identifier.

simpleIdentifier ::= initialCharacter internalCharacter*

initialCharacter ::= '_' | $ | letter

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

Constructors

SimpleIdentifier Token

Instances

Eq SimpleIdentifier

Methods

(==) :: SimpleIdentifier -> SimpleIdentifier -> Bool

(/=) :: SimpleIdentifier -> SimpleIdentifier -> Bool

Data SimpleIdentifier

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

Methods

showsPrec :: Int -> SimpleIdentifier -> ShowS

show :: SimpleIdentifier -> String

showList :: [SimpleIdentifier] -> ShowS

Generic SimpleIdentifier

Associated Types

type Rep SimpleIdentifier :: * -> *

Methods

from :: SimpleIdentifier -> Rep SimpleIdentifier x

to :: Rep SimpleIdentifier x -> SimpleIdentifier

type Rep SimpleIdentifier

type Rep SimpleIdentifier = D1 (MetaData "SimpleIdentifier" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "SimpleIdentifier" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token)))

data SingleStringLiteral

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

Methods

(==) :: SingleStringLiteral -> SingleStringLiteral -> Bool

(/=) :: SingleStringLiteral -> SingleStringLiteral -> Bool

Data SingleStringLiteral

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

Methods

showsPrec :: Int -> SingleStringLiteral -> ShowS

show :: SingleStringLiteral -> String

showList :: [SingleStringLiteral] -> ShowS

Generic SingleStringLiteral

Associated Types

type Rep SingleStringLiteral :: * -> *

Methods

from :: SingleStringLiteral -> Rep SingleStringLiteral x

to :: Rep SingleStringLiteral x -> SingleStringLiteral

type Rep SingleStringLiteral

type Rep SingleStringLiteral = D1 (MetaData "SingleStringLiteral" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A node that represents a statement.

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

Constructors

Block' Block

VariableDeclarationStatement VariableDeclarationList

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

variableDeclarationStatement ::= [VariableDeclarationList] ';'

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

A for statement.

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

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

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

ForEachStatementWithDeclaration Bool DeclaredIdentifier Expression Statement

A for-each statement.

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

ForEachStatementWithReference Bool SimpleIdentifier Expression Statement

WhileStatement Expression Statement

A while statement.

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

DoStatement Statement Expression

A do statement.

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

SwitchStatement Expression [SwitchMember]

A switch statement.

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

IfStatement Expression Statement (Maybe Statement)

An if statement.

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

TryStatement Block [CatchClause] (Maybe Block)

A try statement.

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

finallyClause ::= finally [Block]

BreakStatement (Maybe SimpleIdentifier)

ContinueStatement (Maybe SimpleIdentifier)

A continue statement.

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

ReturnStatement (Maybe Expression)

A return statement.

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

ExpressionStatement Expression

An expression used as a statement.

expressionStatement ::= [Expression]? ';'

FunctionDeclarationStatement FunctionDeclaration

A [FunctionDeclaration] used as a statement.

AssertStatement Expression (Maybe Expression)

An assert statement.

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

YieldStatement Bool Expression

A yield statement.

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

EmptyStatement

An empty statement.

emptyStatement ::= ';'

LabeledStatement [Label] Statement

A statement that has a label associated with them.

labeledStatement ::= [Label]+ [Statement]

Instances

Eq Statement

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Data Statement

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

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Generic Statement

Associated Types

type Rep Statement :: * -> *

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

type Rep Statement

type Rep Statement = D1 (MetaData "Statement" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: StringLiteral -> StringLiteral -> Bool

(/=) :: StringLiteral -> StringLiteral -> Bool

Data StringLiteral

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

Methods

showsPrec :: Int -> StringLiteral -> ShowS

show :: StringLiteral -> String

showList :: [StringLiteral] -> ShowS

Generic StringLiteral

Associated Types

type Rep StringLiteral :: * -> *

Methods

from :: StringLiteral -> Rep StringLiteral x

to :: Rep StringLiteral x -> StringLiteral

type Rep StringLiteral

type Rep StringLiteral = D1 (MetaData "StringLiteral" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: SwitchMember -> SwitchMember -> Bool

(/=) :: SwitchMember -> SwitchMember -> Bool

Data SwitchMember

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

Methods

showsPrec :: Int -> SwitchMember -> ShowS

show :: SwitchMember -> String

showList :: [SwitchMember] -> ShowS

Generic SwitchMember

Associated Types

type Rep SwitchMember :: * -> *

Methods

from :: SwitchMember -> Rep SwitchMember x

to :: Rep SwitchMember x -> SwitchMember

type Rep SwitchMember

type Rep SwitchMember = D1 (MetaData "SwitchMember" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

data TypeAlias

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

Methods

(==) :: TypeAlias -> TypeAlias -> Bool

(/=) :: TypeAlias -> TypeAlias -> Bool

Data TypeAlias

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

Methods

showsPrec :: Int -> TypeAlias -> ShowS

show :: TypeAlias -> String

showList :: [TypeAlias] -> ShowS

Generic TypeAlias

Associated Types

type Rep TypeAlias :: * -> *

Methods

from :: TypeAlias -> Rep TypeAlias x

to :: Rep TypeAlias x -> TypeAlias

type Rep TypeAlias

type Rep TypeAlias = D1 (MetaData "TypeAlias" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A list of type arguments.

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

Constructors

TypeArgumentList [TypeName]

Instances

Eq TypeArgumentList

Methods

(==) :: TypeArgumentList -> TypeArgumentList -> Bool

(/=) :: TypeArgumentList -> TypeArgumentList -> Bool

Data TypeArgumentList

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

Methods

showsPrec :: Int -> TypeArgumentList -> ShowS

show :: TypeArgumentList -> String

showList :: [TypeArgumentList] -> ShowS

Generic TypeArgumentList

Associated Types

type Rep TypeArgumentList :: * -> *

Methods

from :: TypeArgumentList -> Rep TypeArgumentList x

to :: Rep TypeArgumentList x -> TypeArgumentList

type Rep TypeArgumentList

type Rep TypeArgumentList = D1 (MetaData "TypeArgumentList" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" False) (C1 (MetaCons "TypeArgumentList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))

data TypedLiteral

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

Methods

(==) :: TypedLiteral -> TypedLiteral -> Bool

(/=) :: TypedLiteral -> TypedLiteral -> Bool

Data TypedLiteral

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

Methods

showsPrec :: Int -> TypedLiteral -> ShowS

show :: TypedLiteral -> String

showList :: [TypedLiteral] -> ShowS

Generic TypedLiteral

Associated Types

type Rep TypedLiteral :: * -> *

Methods

from :: TypedLiteral -> Rep TypedLiteral x

to :: Rep TypedLiteral x -> TypedLiteral

type Rep TypedLiteral

type Rep TypedLiteral = D1 (MetaData "TypedLiteral" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

typeName ::= [Identifier] typeArguments?

Constructors

TypeName Identifier (Maybe TypeArgumentList)

Instances

Eq TypeName

Methods

(==) :: TypeName -> TypeName -> Bool

(/=) :: TypeName -> TypeName -> Bool

Data TypeName

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

Methods

showsPrec :: Int -> TypeName -> ShowS

show :: TypeName -> String

showList :: [TypeName] -> ShowS

Generic TypeName

Associated Types

type Rep TypeName :: * -> *

Methods

from :: TypeName -> Rep TypeName x

to :: Rep TypeName x -> TypeName

type Rep TypeName

type Rep TypeName = D1 (MetaData "TypeName" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

A type parameter.

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

Constructors

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

Instances

Eq TypeParameter

Methods

(==) :: TypeParameter -> TypeParameter -> Bool

(/=) :: TypeParameter -> TypeParameter -> Bool

Data TypeParameter

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

Methods

showsPrec :: Int -> TypeParameter -> ShowS

show :: TypeParameter -> String

showList :: [TypeParameter] -> ShowS

Generic TypeParameter

Associated Types

type Rep TypeParameter :: * -> *

Methods

from :: TypeParameter -> Rep TypeParameter x

to :: Rep TypeParameter x -> TypeParameter

type Rep TypeParameter

type Rep TypeParameter = D1 (MetaData "TypeParameter" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

Type parameters within a declaration.

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

Constructors

TypeParameterList [TypeParameter]

Instances

Eq TypeParameterList

Methods

(==) :: TypeParameterList -> TypeParameterList -> Bool

(/=) :: TypeParameterList -> TypeParameterList -> Bool

Data TypeParameterList

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

Methods

showsPrec :: Int -> TypeParameterList -> ShowS

show :: TypeParameterList -> String

showList :: [TypeParameterList] -> ShowS

Generic TypeParameterList

Associated Types

type Rep TypeParameterList :: * -> *

Methods

from :: TypeParameterList -> Rep TypeParameterList x

to :: Rep TypeParameterList x -> TypeParameterList

type Rep TypeParameterList

type Rep TypeParameterList = D1 (MetaData "TypeParameterList" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "TypeParameterList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeParameter])))

data UriBasedDirective

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

Methods

(==) :: UriBasedDirective -> UriBasedDirective -> Bool

(/=) :: UriBasedDirective -> UriBasedDirective -> Bool

Data UriBasedDirective

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

Methods

showsPrec :: Int -> UriBasedDirective -> ShowS

show :: UriBasedDirective -> String

showList :: [UriBasedDirective] -> ShowS

Generic UriBasedDirective

Associated Types

type Rep UriBasedDirective :: * -> *

Methods

from :: UriBasedDirective -> Rep UriBasedDirective x

to :: Rep UriBasedDirective x -> UriBasedDirective

type Rep UriBasedDirective

type Rep UriBasedDirective = D1 (MetaData "UriBasedDirective" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: VariableDeclaration -> VariableDeclaration -> Bool

(/=) :: VariableDeclaration -> VariableDeclaration -> Bool

Data VariableDeclaration

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

Methods

showsPrec :: Int -> VariableDeclaration -> ShowS

show :: VariableDeclaration -> String

showList :: [VariableDeclaration] -> ShowS

Generic VariableDeclaration

Associated Types

type Rep VariableDeclaration :: * -> *

Methods

from :: VariableDeclaration -> Rep VariableDeclaration x

to :: Rep VariableDeclaration x -> VariableDeclaration

type Rep VariableDeclaration

type Rep VariableDeclaration = D1 (MetaData "VariableDeclaration" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

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

Methods

(==) :: VariableDeclarationList -> VariableDeclarationList -> Bool

(/=) :: VariableDeclarationList -> VariableDeclarationList -> Bool

Data VariableDeclarationList

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

Methods

showsPrec :: Int -> VariableDeclarationList -> ShowS

show :: VariableDeclarationList -> String

showList :: [VariableDeclarationList] -> ShowS

Generic VariableDeclarationList

Associated Types

type Rep VariableDeclarationList :: * -> *

Methods

from :: VariableDeclarationList -> Rep VariableDeclarationList x

to :: Rep VariableDeclarationList x -> VariableDeclarationList

type Rep VariableDeclarationList

type Rep VariableDeclarationList = D1 (MetaData "VariableDeclarationList" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" 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

The with clause in a class declaration.

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

Constructors

WithClause [TypeName]

Instances

Eq WithClause

Methods

(==) :: WithClause -> WithClause -> Bool

(/=) :: WithClause -> WithClause -> Bool

Data WithClause

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

Methods

showsPrec :: Int -> WithClause -> ShowS

show :: WithClause -> String

showList :: [WithClause] -> ShowS

Generic WithClause

Associated Types

type Rep WithClause :: * -> *

Methods

from :: WithClause -> Rep WithClause x

to :: Rep WithClause x -> WithClause

type Rep WithClause

type Rep WithClause = D1 (MetaData "WithClause" "Language.Dart.Syntax" "language-dart-0.1.0.0-4N7farmdkg1LO4YbCxyGLt" True) (C1 (MetaCons "WithClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeName])))