Language.Python.Syntax.Statement

Statements

data Statement (v :: [*]) a

A Statement is either a SmallStatement or a Statement

https://docs.python.org/3.5/reference/compound_stmts.html#compound-statements

Constructors

SmallStatement (Indents a) (SmallStatement v a)

CompoundStatement (CompoundStatement v a)

Instances

Validated Statement

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (Statement v a) (Statement [] a)

HasTrailingNewline Statement

Defined in Language.Python.Syntax.Statement

Methods

trailingNewline :: Traversal' (Statement v a) Newline

setTrailingNewline :: Statement v a -> Newline -> Statement v a

HasExprs Statement

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (Statement v a) (Statement [] a) (Expr v a) (Expr [] a)

HasBlocks Statement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (Statement v a) (Statement [] a) (Block v a) (Block [] a)

HasStatements Statement

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Statement v a) (Statement [] a) (Statement v a) (Statement [] a)

HasIdents Statement

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (Statement v a) (Statement [] a) (Ident v a) (Ident [] a)

HasWith Statement

Defined in Language.Python.Optics

Methods

_With :: Prism (Statement v a) (Statement [] a) (With v a) (With [] a)

HasClassDef Statement

Defined in Language.Python.Optics

Methods

_ClassDef :: Prism (Statement v a) (Statement [] a) (ClassDef v a) (ClassDef [] a)

HasFor Statement

Defined in Language.Python.Optics

Methods

_For :: Prism (Statement v a) (Statement [] a) (For v a) (For [] a)

HasTryFinally Statement

Defined in Language.Python.Optics

Methods

_TryFinally :: Prism (Statement v a) (Statement [] a) (TryFinally v a) (TryFinally [] a)

HasTryExcept Statement

Defined in Language.Python.Optics

Methods

_TryExcept :: Prism (Statement v a) (Statement [] a) (TryExcept v a) (TryExcept [] a)

HasIf Statement

Defined in Language.Python.Optics

Methods

_If :: Prism (Statement v a) (Statement [] a) (If v a) (If [] a)

HasWhile Statement

Defined in Language.Python.Optics

Methods

_While :: Prism (Statement v a) (Statement [] a) (While v a) (While [] a)

HasFundef Statement

Defined in Language.Python.Optics

Methods

_Fundef :: Prism (Statement v a) (Statement [] a) (Fundef v a) (Fundef [] a)

HasCompoundStatement Statement

Defined in Language.Python.Optics

Methods

_CompoundStatement :: Prism (Statement v a) (Statement [] a) (CompoundStatement v a) (CompoundStatement [] a)

AsLine Statement

Defined in Language.Python.DSL

Methods

line_ :: Raw Statement -> Raw Line

Functor (Statement v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> Statement v a -> Statement v b

(<$) :: a -> Statement v b -> Statement v a

Foldable (Statement v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => Statement v m -> m

foldMap :: Monoid m => (a -> m) -> Statement v a -> m

foldr :: (a -> b -> b) -> b -> Statement v a -> b

foldr' :: (a -> b -> b) -> b -> Statement v a -> b

foldl :: (b -> a -> b) -> b -> Statement v a -> b

foldl' :: (b -> a -> b) -> b -> Statement v a -> b

foldr1 :: (a -> a -> a) -> Statement v a -> a

foldl1 :: (a -> a -> a) -> Statement v a -> a

toList :: Statement v a -> [a]

null :: Statement v a -> Bool

length :: Statement v a -> Int

elem :: Eq a => a -> Statement v a -> Bool

maximum :: Ord a => Statement v a -> a

minimum :: Ord a => Statement v a -> a

sum :: Num a => Statement v a -> a

product :: Num a => Statement v a -> a

Traversable (Statement v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> Statement v a -> f (Statement v b)

sequenceA :: Applicative f => Statement v (f a) -> f (Statement v a)

mapM :: Monad m => (a -> m b) -> Statement v a -> m (Statement v b)

sequence :: Monad m => Statement v (m a) -> m (Statement v a)

Eq a => Eq (Statement v a)

Defined in Language.Python.Syntax.Statement

Methods

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

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

Show a => Show (Statement v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> Statement v a -> ShowS

show :: Statement v a -> String

showList :: [Statement v a] -> ShowS

Generic (Statement v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (Statement v a) :: Type -> Type

Methods

from :: Statement v a -> Rep (Statement v a) x

to :: Rep (Statement v a) x -> Statement v a

Plated (Statement ([] :: [Type]) a)

Defined in Language.Python.Syntax.Statement

Methods

plate :: Traversal' (Statement [] a) (Statement [] a)

HasNewlines (Statement v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Statement v a) Newline

HasIndents (Statement ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (Statement [] a) (Indents a)

type Rep (Statement v a)

Defined in Language.Python.Syntax.Statement

type Rep (Statement v a) = D1 (MetaData "Statement" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "SmallStatement" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SmallStatement v a))) :+: C1 (MetaCons "CompoundStatement" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CompoundStatement v a))))

Traversals

class HasStatements s where

Traversal over all the Statements in a term

Methods

_Statements :: Traversal (s v a) (s '[] a) (Statement v a) (Statement '[] a)

Instances

HasStatements Suite

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Suite v a) (Suite [] a) (Statement v a) (Statement [] a)

HasStatements Statement

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Statement v a) (Statement [] a) (Statement v a) (Statement [] a)

HasStatements Block

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Block v a) (Block [] a) (Statement v a) (Statement [] a)

HasStatements Module

Defined in Language.Python.Syntax.Module

Methods

_Statements :: Traversal (Module v a) (Module [] a) (Statement v a) (Statement [] a)

HasStatements Line

Defined in Language.Python.DSL

Methods

_Statements :: Traversal (Line v a) (Line [] a) (Statement v a) (Statement [] a)

Decorators

data Decorator (v :: [*]) a

Decorators on function definitions

https://docs.python.org/3.5/reference/compound_stmts.html#function-definitions

https://docs.python.org/3.5/glossary.html#term-decorator

Constructors

Decorator

Fields

• _decoratorAnn :: Ann a
• _decoratorIndents :: Indents a

  Preceding indentation

• _decoratorAt :: At

  '@' <spaces>

• _decoratorExpr :: Expr v a

  <expr>

• _decoratorComment :: Maybe (Comment a)

  Trailing comment

• _decoratorNewline :: Newline

  Trailing newline

• _decoratorBlankLines :: [(Blank a, Newline)]

  Trailing blank lines

Instances

Validated Decorator

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (Decorator v a) (Decorator [] a)

HasExprs Decorator

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (Decorator v a) (Decorator [] a) (Expr v a) (Expr [] a)

HasIdents Decorator

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (Decorator v a) (Decorator [] a) (Ident v a) (Ident [] a)

Functor (Decorator v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> Decorator v a -> Decorator v b

(<$) :: a -> Decorator v b -> Decorator v a

Foldable (Decorator v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => Decorator v m -> m

foldMap :: Monoid m => (a -> m) -> Decorator v a -> m

foldr :: (a -> b -> b) -> b -> Decorator v a -> b

foldr' :: (a -> b -> b) -> b -> Decorator v a -> b

foldl :: (b -> a -> b) -> b -> Decorator v a -> b

foldl' :: (b -> a -> b) -> b -> Decorator v a -> b

foldr1 :: (a -> a -> a) -> Decorator v a -> a

foldl1 :: (a -> a -> a) -> Decorator v a -> a

toList :: Decorator v a -> [a]

null :: Decorator v a -> Bool

length :: Decorator v a -> Int

elem :: Eq a => a -> Decorator v a -> Bool

maximum :: Ord a => Decorator v a -> a

minimum :: Ord a => Decorator v a -> a

sum :: Num a => Decorator v a -> a

product :: Num a => Decorator v a -> a

Traversable (Decorator v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> Decorator v a -> f (Decorator v b)

sequenceA :: Applicative f => Decorator v (f a) -> f (Decorator v a)

mapM :: Monad m => (a -> m b) -> Decorator v a -> m (Decorator v b)

sequence :: Monad m => Decorator v (m a) -> m (Decorator v a)

HasAnn (Decorator v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (Decorator v a) (Ann a)

Eq a => Eq (Decorator v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: Decorator v a -> Decorator v a -> Bool

(/=) :: Decorator v a -> Decorator v a -> Bool

Show a => Show (Decorator v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> Decorator v a -> ShowS

show :: Decorator v a -> String

showList :: [Decorator v a] -> ShowS

Generic (Decorator v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (Decorator v a) :: Type -> Type

Methods

from :: Decorator v a -> Rep (Decorator v a) x

to :: Rep (Decorator v a) x -> Decorator v a

HasNewlines (Decorator v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Decorator v a) Newline

HasIndents (Decorator ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (Decorator [] a) (Indents a)

type Rep (Decorator v a)

Defined in Language.Python.Syntax.Statement

type Rep (Decorator v a) = D1 (MetaData "Decorator" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "Decorator" PrefixI True) ((S1 (MetaSel (Just "_decoratorAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_decoratorIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_decoratorAt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 At))) :*: ((S1 (MetaSel (Just "_decoratorExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_decoratorComment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Comment a)))) :*: (S1 (MetaSel (Just "_decoratorNewline") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Newline) :*: S1 (MetaSel (Just "_decoratorBlankLines") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Blank a, Newline)])))))

Compound statements

data CompoundStatement (v :: [*]) a

See https://docs.python.org/3.5/reference/compound_stmts.html

Constructors

Fundef

https://docs.python.org/3.5/reference/compound_stmts.html#function-definitions

https://docs.python.org/3.5/reference/compound_stmts.html#coroutine-function-definition

Fields

• _csAnn :: Ann a
• _unsafeCsFundefDecorators :: [Decorator v a]

  Preceding Decorators

• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsFundefAsync :: Maybe (NonEmpty Whitespace)

  ['async' <spaces>]

• _unsafeCsFundefDef :: NonEmpty Whitespace

  'def' <spaces>

• _unsafeCsFundefName :: Ident v a

  <ident>

• _unsafeCsFundefLeftParen :: [Whitespace]

  '(' <spaces>

• _unsafeCsFundefParameters :: CommaSep (Param v a)

  <parameters>

• _unsafeCsFundefRightParen :: [Whitespace]

  ')' <spaces>

• _unsafeCsFundefReturnType :: Maybe ([Whitespace], Expr v a)

  ['->' <spaces> <expr>]

• _unsafeCsFundefBody :: Suite v a

  <suite>

If

https://docs.python.org/3.5/reference/compound_stmts.html#the-if-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsIfIf :: [Whitespace]

  'if' <spaces>

• _unsafeCsIfCond :: Expr v a

  <expr>

• _unsafeCsIfBody :: Suite v a

  <suite>

• _unsafeCsIfElifs :: [(Indents a, [Whitespace], Expr v a, Suite v a)]

  ('elif' <spaces> <expr> <suite>)*

• _unsafeCsIfElse :: Maybe (Indents a, [Whitespace], Suite v a)

  ['else' <spaces> <suite>]

While

https://docs.python.org/3.5/reference/compound_stmts.html#the-while-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsWhileWhile :: [Whitespace]

  'while' <spaces>

• _unsafeCsWhileCond :: Expr v a

  <expr>

• _unsafeCsWhileBody :: Suite v a

  <suite>

• _unsafeCsWhileElse :: Maybe (Indents a, [Whitespace], Suite v a)

  ['else' <spaces> <suite>]

TryExcept

https://docs.python.org/3.5/reference/compound_stmts.html#the-try-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsTryExceptTry :: [Whitespace]

  'try' <spaces>

• _unsafeCsTryExceptBody :: Suite v a

  <suite>

• _unsafeCsTryExceptExcepts :: NonEmpty (Indents a, [Whitespace], Maybe (ExceptAs v a), Suite v a)

  ('except' <spaces> <except_as> <suite>)+

• _unsafeCsTryExceptElse :: Maybe (Indents a, [Whitespace], Suite v a)

  ['else' <spaces> <suite>]

• _unsafeCsTryExceptFinally :: Maybe (Indents a, [Whitespace], Suite v a)

  ['finally' <spaces> <suite>]

TryFinally

https://docs.python.org/3.5/reference/compound_stmts.html#the-try-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsTryFinallyTry :: [Whitespace]

  'try' <spaces>

• _unsafeCsTryFinallyTryBody :: Suite v a

  <suite>

• _unsafeCsTryFinallyFinallyIndents :: Indents a
• _unsafeCsTryFinallyFinally :: [Whitespace]

  'finally' <spaces>

• _unsafeCsTryFinallyFinallyBody :: Suite v a

  <suite>

For

https://docs.python.org/3.5/reference/compound_stmts.html#the-for-statement

https://docs.python.org/3.5/reference/compound_stmts.html#the-async-for-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsForAsync :: Maybe (NonEmpty Whitespace)

  ['async' <spaces>]

• _unsafeCsForFor :: [Whitespace]

  'for' <spaces>

• _unsafeCsForBinder :: Expr v a

  <expr>

• _unsafeCsForIn :: [Whitespace]

  'in' <spaces>

• _unsafeCsForCollection :: CommaSep1' (Expr v a)

  <exprs>

• _unsafeCsForBody :: Suite v a

  <suite>

• _unsafeCsForElse :: Maybe (Indents a, [Whitespace], Suite v a)

  ['else' <spaces> <suite>]

ClassDef

https://docs.python.org/3.5/reference/compound_stmts.html#class-definitions

Fields

• _csAnn :: Ann a
• _unsafeCsClassDefDecorators :: [Decorator v a]

  Preceding Decorators

• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsClassDefClass :: NonEmpty Whitespace

  'class' <spaces>

• _unsafeCsClassDefName :: Ident v a

  <ident>

• _unsafeCsClassDefArguments :: Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace])

  ['(' <spaces> [<args>] ')' <spaces>]

• _unsafeCsClassDefBody :: Suite v a

  <suite>

With

https://docs.python.org/3.5/reference/compound_stmts.html#the-with-statement

https://docs.python.org/3.5/reference/compound_stmts.html#the-async-with-statement

Fields

• _csAnn :: Ann a
• _csIndents :: Indents a

  Preceding indentation

• _unsafeCsWithAsync :: Maybe (NonEmpty Whitespace)

  ['async' <spaces>]

• _unsafeCsWithWith :: [Whitespace]

  'with' <spaces>

• _unsafeCsWithItems :: CommaSep1 (WithItem v a)

  <with_items>

• _unsafeCsWithBody :: Suite v a

  <suite>

Instances

Validated CompoundStatement

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (CompoundStatement v a) (CompoundStatement [] a)

HasTrailingNewline CompoundStatement

Defined in Language.Python.Syntax.Statement

Methods

trailingNewline :: Traversal' (CompoundStatement v a) Newline

setTrailingNewline :: CompoundStatement v a -> Newline -> CompoundStatement v a

HasExprs CompoundStatement

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (CompoundStatement v a) (CompoundStatement [] a) (Expr v a) (Expr [] a)

HasBlocks CompoundStatement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (CompoundStatement v a) (CompoundStatement [] a) (Block v a) (Block [] a)

HasIdents CompoundStatement

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (CompoundStatement v a) (CompoundStatement [] a) (Ident v a) (Ident [] a)

HasWith CompoundStatement

Defined in Language.Python.Optics

Methods

_With :: Prism (CompoundStatement v a) (CompoundStatement [] a) (With v a) (With [] a)

HasClassDef CompoundStatement

Defined in Language.Python.Optics

Methods

_ClassDef :: Prism (CompoundStatement v a) (CompoundStatement [] a) (ClassDef v a) (ClassDef [] a)

HasFor CompoundStatement

Defined in Language.Python.Optics

Methods

_For :: Prism (CompoundStatement v a) (CompoundStatement [] a) (For v a) (For [] a)

HasTryFinally CompoundStatement

Defined in Language.Python.Optics

Methods

_TryFinally :: Prism (CompoundStatement v a) (CompoundStatement [] a) (TryFinally v a) (TryFinally [] a)

HasTryExcept CompoundStatement

Defined in Language.Python.Optics

Methods

_TryExcept :: Prism (CompoundStatement v a) (CompoundStatement [] a) (TryExcept v a) (TryExcept [] a)

HasIf CompoundStatement

Defined in Language.Python.Optics

Methods

_If :: Prism (CompoundStatement v a) (CompoundStatement [] a) (If v a) (If [] a)

HasWhile CompoundStatement

Defined in Language.Python.Optics

Methods

_While :: Prism (CompoundStatement v a) (CompoundStatement [] a) (While v a) (While [] a)

HasFundef CompoundStatement

Defined in Language.Python.Optics

Methods

_Fundef :: Prism (CompoundStatement v a) (CompoundStatement [] a) (Fundef v a) (Fundef [] a)

HasCompoundStatement CompoundStatement

Defined in Language.Python.Optics

Methods

_CompoundStatement :: Prism (CompoundStatement v a) (CompoundStatement [] a) (CompoundStatement v a) (CompoundStatement [] a)

AsLine CompoundStatement

Defined in Language.Python.DSL

Methods

line_ :: Raw CompoundStatement -> Raw Line

Functor (CompoundStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> CompoundStatement v a -> CompoundStatement v b

(<$) :: a -> CompoundStatement v b -> CompoundStatement v a

Foldable (CompoundStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => CompoundStatement v m -> m

foldMap :: Monoid m => (a -> m) -> CompoundStatement v a -> m

foldr :: (a -> b -> b) -> b -> CompoundStatement v a -> b

foldr' :: (a -> b -> b) -> b -> CompoundStatement v a -> b

foldl :: (b -> a -> b) -> b -> CompoundStatement v a -> b

foldl' :: (b -> a -> b) -> b -> CompoundStatement v a -> b

foldr1 :: (a -> a -> a) -> CompoundStatement v a -> a

foldl1 :: (a -> a -> a) -> CompoundStatement v a -> a

toList :: CompoundStatement v a -> [a]

null :: CompoundStatement v a -> Bool

length :: CompoundStatement v a -> Int

elem :: Eq a => a -> CompoundStatement v a -> Bool

maximum :: Ord a => CompoundStatement v a -> a

minimum :: Ord a => CompoundStatement v a -> a

sum :: Num a => CompoundStatement v a -> a

product :: Num a => CompoundStatement v a -> a

Traversable (CompoundStatement v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> CompoundStatement v a -> f (CompoundStatement v b)

sequenceA :: Applicative f => CompoundStatement v (f a) -> f (CompoundStatement v a)

mapM :: Monad m => (a -> m b) -> CompoundStatement v a -> m (CompoundStatement v b)

sequence :: Monad m => CompoundStatement v (m a) -> m (CompoundStatement v a)

HasAnn (CompoundStatement v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (CompoundStatement v a) (Ann a)

Eq a => Eq (CompoundStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: CompoundStatement v a -> CompoundStatement v a -> Bool

(/=) :: CompoundStatement v a -> CompoundStatement v a -> Bool

Show a => Show (CompoundStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> CompoundStatement v a -> ShowS

show :: CompoundStatement v a -> String

showList :: [CompoundStatement v a] -> ShowS

Generic (CompoundStatement v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (CompoundStatement v a) :: Type -> Type

Methods

from :: CompoundStatement v a -> Rep (CompoundStatement v a) x

to :: Rep (CompoundStatement v a) x -> CompoundStatement v a

HasNewlines (CompoundStatement v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (CompoundStatement v a) Newline

HasIndents (CompoundStatement ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (CompoundStatement [] a) (Indents a)

type Rep (CompoundStatement v a)

Defined in Language.Python.Syntax.Statement

type Rep (CompoundStatement v a) = D1 (MetaData "CompoundStatement" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (((C1 (MetaCons "Fundef" PrefixI True) (((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Just "_unsafeCsFundefDecorators") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decorator v a])) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: (S1 (MetaSel (Just "_unsafeCsFundefAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))) :*: S1 (MetaSel (Just "_unsafeCsFundefDef") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace))))) :*: ((S1 (MetaSel (Just "_unsafeCsFundefName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a)) :*: (S1 (MetaSel (Just "_unsafeCsFundefLeftParen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Just "_unsafeCsFundefParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep (Param v a))))) :*: (S1 (MetaSel (Just "_unsafeCsFundefRightParen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: (S1 (MetaSel (Just "_unsafeCsFundefReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Expr v a))) :*: S1 (MetaSel (Just "_unsafeCsFundefBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))) :+: C1 (MetaCons "If" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_unsafeCsIfIf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :*: ((S1 (MetaSel (Just "_unsafeCsIfCond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_unsafeCsIfBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))) :*: (S1 (MetaSel (Just "_unsafeCsIfElifs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Indents a, [Whitespace], Expr v a, Suite v a)]) :*: S1 (MetaSel (Just "_unsafeCsIfElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Indents a, [Whitespace], Suite v a))))))) :+: (C1 (MetaCons "While" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_unsafeCsWhileWhile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :*: (S1 (MetaSel (Just "_unsafeCsWhileCond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: (S1 (MetaSel (Just "_unsafeCsWhileBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :*: S1 (MetaSel (Just "_unsafeCsWhileElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Indents a, [Whitespace], Suite v a)))))) :+: C1 (MetaCons "TryExcept" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_unsafeCsTryExceptTry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :*: ((S1 (MetaSel (Just "_unsafeCsTryExceptBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :*: S1 (MetaSel (Just "_unsafeCsTryExceptExcepts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Indents a, [Whitespace], Maybe (ExceptAs v a), Suite v a)))) :*: (S1 (MetaSel (Just "_unsafeCsTryExceptElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Indents a, [Whitespace], Suite v a))) :*: S1 (MetaSel (Just "_unsafeCsTryExceptFinally") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Indents a, [Whitespace], Suite v a)))))))) :+: ((C1 (MetaCons "TryFinally" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_unsafeCsTryFinallyTry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :*: ((S1 (MetaSel (Just "_unsafeCsTryFinallyTryBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :*: S1 (MetaSel (Just "_unsafeCsTryFinallyFinallyIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a))) :*: (S1 (MetaSel (Just "_unsafeCsTryFinallyFinally") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Just "_unsafeCsTryFinallyFinallyBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))))) :+: C1 (MetaCons "For" PrefixI True) (((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a))) :*: (S1 (MetaSel (Just "_unsafeCsForAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))) :*: S1 (MetaSel (Just "_unsafeCsForFor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :*: ((S1 (MetaSel (Just "_unsafeCsForBinder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_unsafeCsForIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :*: (S1 (MetaSel (Just "_unsafeCsForCollection") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1' (Expr v a))) :*: (S1 (MetaSel (Just "_unsafeCsForBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :*: S1 (MetaSel (Just "_unsafeCsForElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Indents a, [Whitespace], Suite v a)))))))) :+: (C1 (MetaCons "ClassDef" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_unsafeCsClassDefDecorators") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decorator v a]) :*: S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)))) :*: ((S1 (MetaSel (Just "_unsafeCsClassDefClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace)) :*: S1 (MetaSel (Just "_unsafeCsClassDefName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a))) :*: (S1 (MetaSel (Just "_unsafeCsClassDefArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace]))) :*: S1 (MetaSel (Just "_unsafeCsClassDefBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))))) :+: C1 (MetaCons "With" PrefixI True) ((S1 (MetaSel (Just "_csAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_csIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :*: S1 (MetaSel (Just "_unsafeCsWithAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))))) :*: (S1 (MetaSel (Just "_unsafeCsWithWith") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: (S1 (MetaSel (Just "_unsafeCsWithItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (WithItem v a))) :*: S1 (MetaSel (Just "_unsafeCsWithBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))))))))

Small statements

data SmallStatement (v :: [*]) a

See simpl_stmt at https://docs.python.org/3.5/reference/grammar.html. The grammar has the terminology mixed up - it should really be called small_stmt there.

Constructors

MkSmallStatement (SimpleStatement v a) [(Semicolon a, SimpleStatement v a)] (Maybe (Semicolon a)) (Maybe (Comment a)) (Maybe Newline)

Instances

Validated SmallStatement

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (SmallStatement v a) (SmallStatement [] a)

HasTrailingNewline SmallStatement

Defined in Language.Python.Syntax.Statement

Methods

trailingNewline :: Traversal' (SmallStatement v a) Newline

setTrailingNewline :: SmallStatement v a -> Newline -> SmallStatement v a

HasExprs SmallStatement

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (SmallStatement v a) (SmallStatement [] a) (Expr v a) (Expr [] a)

HasBlocks SmallStatement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (SmallStatement v a) (SmallStatement [] a) (Block v a) (Block [] a)

HasIdents SmallStatement

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (SmallStatement v a) (SmallStatement [] a) (Ident v a) (Ident [] a)

AsLine SmallStatement

Defined in Language.Python.DSL

Methods

line_ :: Raw SmallStatement -> Raw Line

Functor (SmallStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> SmallStatement v a -> SmallStatement v b

(<$) :: a -> SmallStatement v b -> SmallStatement v a

Foldable (SmallStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => SmallStatement v m -> m

foldMap :: Monoid m => (a -> m) -> SmallStatement v a -> m

foldr :: (a -> b -> b) -> b -> SmallStatement v a -> b

foldr' :: (a -> b -> b) -> b -> SmallStatement v a -> b

foldl :: (b -> a -> b) -> b -> SmallStatement v a -> b

foldl' :: (b -> a -> b) -> b -> SmallStatement v a -> b

foldr1 :: (a -> a -> a) -> SmallStatement v a -> a

foldl1 :: (a -> a -> a) -> SmallStatement v a -> a

toList :: SmallStatement v a -> [a]

null :: SmallStatement v a -> Bool

length :: SmallStatement v a -> Int

elem :: Eq a => a -> SmallStatement v a -> Bool

maximum :: Ord a => SmallStatement v a -> a

minimum :: Ord a => SmallStatement v a -> a

sum :: Num a => SmallStatement v a -> a

product :: Num a => SmallStatement v a -> a

Traversable (SmallStatement v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> SmallStatement v a -> f (SmallStatement v b)

sequenceA :: Applicative f => SmallStatement v (f a) -> f (SmallStatement v a)

mapM :: Monad m => (a -> m b) -> SmallStatement v a -> m (SmallStatement v b)

sequence :: Monad m => SmallStatement v (m a) -> m (SmallStatement v a)

Eq a => Eq (SmallStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: SmallStatement v a -> SmallStatement v a -> Bool

(/=) :: SmallStatement v a -> SmallStatement v a -> Bool

Show a => Show (SmallStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> SmallStatement v a -> ShowS

show :: SmallStatement v a -> String

showList :: [SmallStatement v a] -> ShowS

Generic (SmallStatement v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (SmallStatement v a) :: Type -> Type

Methods

from :: SmallStatement v a -> Rep (SmallStatement v a) x

to :: Rep (SmallStatement v a) x -> SmallStatement v a

HasNewlines (SmallStatement v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (SmallStatement v a) Newline

HasIndents (SmallStatement ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (SmallStatement [] a) (Indents a)

type Rep (SmallStatement v a)

Defined in Language.Python.Syntax.Statement

type Rep (SmallStatement v a) = D1 (MetaData "SmallStatement" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "MkSmallStatement" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SimpleStatement v a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Semicolon a, SimpleStatement v a)])) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Semicolon a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Comment a))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Newline))))))

Simple statements

data SimpleStatement (v :: [*]) a

https://docs.python.org/3.5/reference/simple_stmts.html

Constructors

Return (Ann a) [Whitespace] (Maybe (Expr v a))

'return' <spaces> [<expr>]

https://docs.python.org/3.5/reference/simple_stmts.html#the-return-statement

Expr (Ann a) (Expr v a)

<expr>

https://docs.python.org/3.5/reference/simple_stmts.html#expression-statements

Assign (Ann a) (Expr v a) (NonEmpty (Equals, Expr v a))

<expr> ('=' <spaces> <expr>)+

https://docs.python.org/3.5/reference/simple_stmts.html#assignment-statements

AugAssign (Ann a) (Expr v a) (AugAssign a) (Expr v a)

<expr> <augassign> <expr>

https://docs.python.org/3.5/reference/simple_stmts.html#augmented-assignment-statements

Pass (Ann a) [Whitespace]

'pass' <spaces>

https://docs.python.org/3.5/reference/simple_stmts.html#the-pass-statement

Break (Ann a) [Whitespace]

'break' <spaces>

https://docs.python.org/3.5/reference/simple_stmts.html#the-break-statement

Continue (Ann a) [Whitespace]

'continue' <spaces>

https://docs.python.org/3.5/reference/simple_stmts.html#the-continue-statement

Global (Ann a) (NonEmpty Whitespace) (CommaSep1 (Ident v a))

'global' <spaces> <idents>

https://docs.python.org/3.5/reference/simple_stmts.html#the-global-statement

Nonlocal (Ann a) (NonEmpty Whitespace) (CommaSep1 (Ident v a))

'nonlocal' <spaces> <idents>

https://docs.python.org/3.5/reference/simple_stmts.html#the-nonlocal-statement

Del (Ann a) [Whitespace] (CommaSep1' (Expr v a))

'del' <spaces> <exprs>

https://docs.python.org/3.5/reference/simple_stmts.html#the-del-statement

Import (Ann a) (NonEmpty Whitespace) (CommaSep1 (ImportAs ModuleName v a))

'import' <spaces> <modulenames>

https://docs.python.org/3.5/reference/simple_stmts.html#the-import-statement

From (Ann a) [Whitespace] (RelativeModuleName v a) [Whitespace] (ImportTargets v a)

'from' <spaces> <relative_module_name> 'import' <spaces> <import_targets>

https://docs.python.org/3.5/reference/simple_stmts.html#the-import-statement

Raise (Ann a) [Whitespace] (Maybe (Expr v a, Maybe ([Whitespace], Expr v a)))

'raise' <spaces> [<expr> ['as' <spaces> <expr>]]

https://docs.python.org/3.5/reference/simple_stmts.html#the-raise-statement

Assert (Ann a) [Whitespace] (Expr v a) (Maybe (Comma, Expr v a))

'assert' <spaces> <expr> [',' <spaces> <expr>]

https://docs.python.org/3.5/reference/simple_stmts.html#the-assert-statement

Instances

Validated SimpleStatement

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (SimpleStatement v a) (SimpleStatement [] a)

HasExprs SimpleStatement

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (SimpleStatement v a) (SimpleStatement [] a) (Expr v a) (Expr [] a)

HasIdents SimpleStatement

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (SimpleStatement v a) (SimpleStatement [] a) (Ident v a) (Ident [] a)

AsLine SimpleStatement

Defined in Language.Python.DSL

Methods

line_ :: Raw SimpleStatement -> Raw Line

Functor (SimpleStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> SimpleStatement v a -> SimpleStatement v b

(<$) :: a -> SimpleStatement v b -> SimpleStatement v a

Foldable (SimpleStatement v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => SimpleStatement v m -> m

foldMap :: Monoid m => (a -> m) -> SimpleStatement v a -> m

foldr :: (a -> b -> b) -> b -> SimpleStatement v a -> b

foldr' :: (a -> b -> b) -> b -> SimpleStatement v a -> b

foldl :: (b -> a -> b) -> b -> SimpleStatement v a -> b

foldl' :: (b -> a -> b) -> b -> SimpleStatement v a -> b

foldr1 :: (a -> a -> a) -> SimpleStatement v a -> a

foldl1 :: (a -> a -> a) -> SimpleStatement v a -> a

toList :: SimpleStatement v a -> [a]

null :: SimpleStatement v a -> Bool

length :: SimpleStatement v a -> Int

elem :: Eq a => a -> SimpleStatement v a -> Bool

maximum :: Ord a => SimpleStatement v a -> a

minimum :: Ord a => SimpleStatement v a -> a

sum :: Num a => SimpleStatement v a -> a

product :: Num a => SimpleStatement v a -> a

Traversable (SimpleStatement v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> SimpleStatement v a -> f (SimpleStatement v b)

sequenceA :: Applicative f => SimpleStatement v (f a) -> f (SimpleStatement v a)

mapM :: Monad m => (a -> m b) -> SimpleStatement v a -> m (SimpleStatement v b)

sequence :: Monad m => SimpleStatement v (m a) -> m (SimpleStatement v a)

HasAnn (SimpleStatement v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (SimpleStatement v a) (Ann a)

Eq a => Eq (SimpleStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: SimpleStatement v a -> SimpleStatement v a -> Bool

(/=) :: SimpleStatement v a -> SimpleStatement v a -> Bool

Show a => Show (SimpleStatement v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> SimpleStatement v a -> ShowS

show :: SimpleStatement v a -> String

showList :: [SimpleStatement v a] -> ShowS

Generic (SimpleStatement v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (SimpleStatement v a) :: Type -> Type

Methods

from :: SimpleStatement v a -> Rep (SimpleStatement v a) x

to :: Rep (SimpleStatement v a) x -> SimpleStatement v a

Plated (SimpleStatement ([] :: [Type]) a)

Defined in Language.Python.Syntax.Statement

Methods

plate :: Traversal' (SimpleStatement [] a) (SimpleStatement [] a)

HasNewlines (SimpleStatement v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (SimpleStatement v a) Newline

type Rep (SimpleStatement v a)

Defined in Language.Python.Syntax.Statement

type Rep (SimpleStatement v a) = D1 (MetaData "SimpleStatement" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (((C1 (MetaCons "Return" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Expr v a))))) :+: (C1 (MetaCons "Expr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a))) :+: C1 (MetaCons "Assign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Equals, Expr v a))))))) :+: ((C1 (MetaCons "AugAssign" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AugAssign a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)))) :+: C1 (MetaCons "Pass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :+: (C1 (MetaCons "Break" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :+: C1 (MetaCons "Continue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))))) :+: ((C1 (MetaCons "Global" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (Ident v a))))) :+: (C1 (MetaCons "Nonlocal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (Ident v a))))) :+: C1 (MetaCons "Del" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1' (Expr v a))))))) :+: ((C1 (MetaCons "Import" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (ImportAs ModuleName v a))))) :+: C1 (MetaCons "From" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelativeModuleName v a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ImportTargets v a)))))) :+: (C1 (MetaCons "Raise" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Expr v a, Maybe ([Whitespace], Expr v a)))))) :+: C1 (MetaCons "Assert" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Comma, Expr v a)))))))))

with ... as ...

data WithItem (v :: [*]) a

See https://docs.python.org/3.5/reference/compound_stmts.html#the-with-statement

Constructors

WithItem

Fields

• _withItemAnn :: Ann a
• _withItemValue :: Expr v a

  <expr>

• _withItemBinder :: Maybe ([Whitespace], Expr v a)

  ['as' <spaces> <expr>]

Instances

Validated WithItem

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (WithItem v a) (WithItem [] a)

HasExprs WithItem

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (WithItem v a) (WithItem [] a) (Expr v a) (Expr [] a)

HasIdents WithItem

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (WithItem v a) (WithItem [] a) (Ident v a) (Ident [] a)

AsWithItem WithItem

Defined in Language.Python.DSL

Methods

toWithItem :: Raw WithItem -> Raw WithItem

As Expr Expr WithItem

See with_

Defined in Language.Python.DSL

Methods

as_ :: Raw Expr -> Raw Expr -> Raw WithItem

Functor (WithItem v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> WithItem v a -> WithItem v b

(<$) :: a -> WithItem v b -> WithItem v a

Foldable (WithItem v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => WithItem v m -> m

foldMap :: Monoid m => (a -> m) -> WithItem v a -> m

foldr :: (a -> b -> b) -> b -> WithItem v a -> b

foldr' :: (a -> b -> b) -> b -> WithItem v a -> b

foldl :: (b -> a -> b) -> b -> WithItem v a -> b

foldl' :: (b -> a -> b) -> b -> WithItem v a -> b

foldr1 :: (a -> a -> a) -> WithItem v a -> a

foldl1 :: (a -> a -> a) -> WithItem v a -> a

toList :: WithItem v a -> [a]

null :: WithItem v a -> Bool

length :: WithItem v a -> Int

elem :: Eq a => a -> WithItem v a -> Bool

maximum :: Ord a => WithItem v a -> a

minimum :: Ord a => WithItem v a -> a

sum :: Num a => WithItem v a -> a

product :: Num a => WithItem v a -> a

Traversable (WithItem v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> WithItem v a -> f (WithItem v b)

sequenceA :: Applicative f => WithItem v (f a) -> f (WithItem v a)

mapM :: Monad m => (a -> m b) -> WithItem v a -> m (WithItem v b)

sequence :: Monad m => WithItem v (m a) -> m (WithItem v a)

HasAnn (WithItem v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (WithItem v a) (Ann a)

Eq a => Eq (WithItem v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: WithItem v a -> WithItem v a -> Bool

(/=) :: WithItem v a -> WithItem v a -> Bool

Show a => Show (WithItem v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> WithItem v a -> ShowS

show :: WithItem v a -> String

showList :: [WithItem v a] -> ShowS

Generic (WithItem v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (WithItem v a) :: Type -> Type

Methods

from :: WithItem v a -> Rep (WithItem v a) x

to :: Rep (WithItem v a) x -> WithItem v a

HasNewlines (WithItem v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (WithItem v a) Newline

type Rep (WithItem v a)

Defined in Language.Python.Syntax.Statement

type Rep (WithItem v a) = D1 (MetaData "WithItem" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "WithItem" PrefixI True) (S1 (MetaSel (Just "_withItemAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_withItemValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_withItemBinder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Expr v a))))))

Lenses

withItemAnn :: forall v a. Lens' (WithItem v a) (Ann a)

withItemValue :: forall v a. Lens' (WithItem v a) (Expr v a)

withItemBinder :: forall v a. Lens' (WithItem v a) (Maybe ([Whitespace], Expr v a))

except ... as ...

data ExceptAs (v :: [*]) a

See https://docs.python.org/3.5/reference/compound_stmts.html#the-try-statement

Constructors

ExceptAs

Fields

• _exceptAsAnn :: Ann a
• _exceptAsExpr :: Expr v a

  <expr>

• _exceptAsName :: Maybe ([Whitespace], Ident v a)

  ['as' <ident>]

Instances

Validated ExceptAs

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (ExceptAs v a) (ExceptAs [] a)

HasExprs ExceptAs

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (ExceptAs v a) (ExceptAs [] a) (Expr v a) (Expr [] a)

HasIdents ExceptAs

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (ExceptAs v a) (ExceptAs [] a) (Ident v a) (Ident [] a)

AsExceptAs ExceptAs

Defined in Language.Python.DSL

Methods

toExceptAs :: Raw ExceptAs -> Raw ExceptAs

As Expr Ident ExceptAs

See exceptAs_

Defined in Language.Python.DSL

Methods

as_ :: Raw Expr -> Raw Ident -> Raw ExceptAs

Functor (ExceptAs v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> ExceptAs v a -> ExceptAs v b

(<$) :: a -> ExceptAs v b -> ExceptAs v a

Foldable (ExceptAs v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => ExceptAs v m -> m

foldMap :: Monoid m => (a -> m) -> ExceptAs v a -> m

foldr :: (a -> b -> b) -> b -> ExceptAs v a -> b

foldr' :: (a -> b -> b) -> b -> ExceptAs v a -> b

foldl :: (b -> a -> b) -> b -> ExceptAs v a -> b

foldl' :: (b -> a -> b) -> b -> ExceptAs v a -> b

foldr1 :: (a -> a -> a) -> ExceptAs v a -> a

foldl1 :: (a -> a -> a) -> ExceptAs v a -> a

toList :: ExceptAs v a -> [a]

null :: ExceptAs v a -> Bool

length :: ExceptAs v a -> Int

elem :: Eq a => a -> ExceptAs v a -> Bool

maximum :: Ord a => ExceptAs v a -> a

minimum :: Ord a => ExceptAs v a -> a

sum :: Num a => ExceptAs v a -> a

product :: Num a => ExceptAs v a -> a

Traversable (ExceptAs v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> ExceptAs v a -> f (ExceptAs v b)

sequenceA :: Applicative f => ExceptAs v (f a) -> f (ExceptAs v a)

mapM :: Monad m => (a -> m b) -> ExceptAs v a -> m (ExceptAs v b)

sequence :: Monad m => ExceptAs v (m a) -> m (ExceptAs v a)

HasAnn (ExceptAs v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (ExceptAs v a) (Ann a)

Eq a => Eq (ExceptAs v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: ExceptAs v a -> ExceptAs v a -> Bool

(/=) :: ExceptAs v a -> ExceptAs v a -> Bool

Show a => Show (ExceptAs v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> ExceptAs v a -> ShowS

show :: ExceptAs v a -> String

showList :: [ExceptAs v a] -> ShowS

Generic (ExceptAs v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (ExceptAs v a) :: Type -> Type

Methods

from :: ExceptAs v a -> Rep (ExceptAs v a) x

to :: Rep (ExceptAs v a) x -> ExceptAs v a

HasNewlines (ExceptAs v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (ExceptAs v a) Newline

type Rep (ExceptAs v a)

Defined in Language.Python.Syntax.Statement

type Rep (ExceptAs v a) = D1 (MetaData "ExceptAs" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "ExceptAs" PrefixI True) (S1 (MetaSel (Just "_exceptAsAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_exceptAsExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_exceptAsName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Ident v a))))))

Lenses

exceptAsAnn :: forall v a. Lens' (ExceptAs v a) (Ann a)

exceptAsExpr :: forall v a. Lens' (ExceptAs v a) (Expr v a)

exceptAsName :: forall v a. Lens' (ExceptAs v a) (Maybe ([Whitespace], Ident v a))

Suites

data Suite (v :: [*]) a

A compound statement consists of one or more clauses. A clause consists of a header and a suite.

Constructors

SuiteOne (Ann a) Colon (SmallStatement v a)

SuiteMany (Ann a) Colon (Maybe (Comment a)) Newline (Block v a)

Instances

Validated Suite

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (Suite v a) (Suite [] a)

HasTrailingNewline Suite

Defined in Language.Python.Syntax.Statement

Methods

trailingNewline :: Traversal' (Suite v a) Newline

setTrailingNewline :: Suite v a -> Newline -> Suite v a

HasExprs Suite

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (Suite v a) (Suite [] a) (Expr v a) (Expr [] a)

HasBlocks Suite

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (Suite v a) (Suite [] a) (Block v a) (Block [] a)

HasStatements Suite

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Suite v a) (Suite [] a) (Statement v a) (Statement [] a)

HasIdents Suite

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (Suite v a) (Suite [] a) (Ident v a) (Ident [] a)

Functor (Suite v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> Suite v a -> Suite v b

(<$) :: a -> Suite v b -> Suite v a

Foldable (Suite v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => Suite v m -> m

foldMap :: Monoid m => (a -> m) -> Suite v a -> m

foldr :: (a -> b -> b) -> b -> Suite v a -> b

foldr' :: (a -> b -> b) -> b -> Suite v a -> b

foldl :: (b -> a -> b) -> b -> Suite v a -> b

foldl' :: (b -> a -> b) -> b -> Suite v a -> b

foldr1 :: (a -> a -> a) -> Suite v a -> a

foldl1 :: (a -> a -> a) -> Suite v a -> a

toList :: Suite v a -> [a]

null :: Suite v a -> Bool

length :: Suite v a -> Int

elem :: Eq a => a -> Suite v a -> Bool

maximum :: Ord a => Suite v a -> a

minimum :: Ord a => Suite v a -> a

sum :: Num a => Suite v a -> a

product :: Num a => Suite v a -> a

Traversable (Suite v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> Suite v a -> f (Suite v b)

sequenceA :: Applicative f => Suite v (f a) -> f (Suite v a)

mapM :: Monad m => (a -> m b) -> Suite v a -> m (Suite v b)

sequence :: Monad m => Suite v (m a) -> m (Suite v a)

HasAnn (Suite v)

Defined in Language.Python.Syntax.Statement

Methods

annot :: Lens' (Suite v a) (Ann a)

Eq a => Eq (Suite v a)

Defined in Language.Python.Syntax.Statement

Methods

(==) :: Suite v a -> Suite v a -> Bool

(/=) :: Suite v a -> Suite v a -> Bool

Show a => Show (Suite v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> Suite v a -> ShowS

show :: Suite v a -> String

showList :: [Suite v a] -> ShowS

Generic (Suite v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (Suite v a) :: Type -> Type

Methods

from :: Suite v a -> Rep (Suite v a) x

to :: Rep (Suite v a) x -> Suite v a

HasNewlines (Suite v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Suite v a) Newline

HasIndents (Suite ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (Suite [] a) (Indents a)

type Rep (Suite v a)

Defined in Language.Python.Syntax.Statement

type Rep (Suite v a) = D1 (MetaData "Suite" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "SuiteOne" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Colon) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SmallStatement v a)))) :+: C1 (MetaCons "SuiteMany" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Colon)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Comment a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Newline) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Block v a))))))

Blocks

data Block (v :: [*]) a

A Block is an indented multi-line chunk of code, forming part of a Suite.

Constructors

Block

Fields

• _blockBlankLines :: [(Blank a, Newline)]

  Blank lines at the beginning of the block

• _blockHead :: Statement v a

  The first statement of the block

• _blockTail :: [Either (Blank a, Newline) (Statement v a)]

  The remaining items of the block, which may be statements or blank lines

Instances

Validated Block

Defined in Language.Python.Syntax.Statement

Methods

unvalidated :: Getter (Block v a) (Block [] a)

HasTrailingNewline Block

Defined in Language.Python.Syntax.Statement

Methods

trailingNewline :: Traversal' (Block v a) Newline

setTrailingNewline :: Block v a -> Newline -> Block v a

HasExprs Block

Defined in Language.Python.Syntax.Statement

Methods

_Exprs :: Traversal (Block v a) (Block [] a) (Expr v a) (Expr [] a)

HasStatements Block

Defined in Language.Python.Syntax.Statement

Methods

_Statements :: Traversal (Block v a) (Block [] a) (Statement v a) (Statement [] a)

HasIdents Block

Defined in Language.Python.Optics.Idents

Methods

_Idents :: Traversal (Block v a) (Block [] a) (Ident v a) (Ident [] a)

Functor (Block v)

Defined in Language.Python.Syntax.Statement

Methods

fmap :: (a -> b) -> Block v a -> Block v b

(<$) :: a -> Block v b -> Block v a

Foldable (Block v)

Defined in Language.Python.Syntax.Statement

Methods

fold :: Monoid m => Block v m -> m

foldMap :: Monoid m => (a -> m) -> Block v a -> m

foldr :: (a -> b -> b) -> b -> Block v a -> b

foldr' :: (a -> b -> b) -> b -> Block v a -> b

foldl :: (b -> a -> b) -> b -> Block v a -> b

foldl' :: (b -> a -> b) -> b -> Block v a -> b

foldr1 :: (a -> a -> a) -> Block v a -> a

foldl1 :: (a -> a -> a) -> Block v a -> a

toList :: Block v a -> [a]

null :: Block v a -> Bool

length :: Block v a -> Int

elem :: Eq a => a -> Block v a -> Bool

maximum :: Ord a => Block v a -> a

minimum :: Ord a => Block v a -> a

sum :: Num a => Block v a -> a

product :: Num a => Block v a -> a

Traversable (Block v)

Defined in Language.Python.Syntax.Statement

Methods

traverse :: Applicative f => (a -> f b) -> Block v a -> f (Block v b)

sequenceA :: Applicative f => Block v (f a) -> f (Block v a)

mapM :: Monad m => (a -> m b) -> Block v a -> m (Block v b)

sequence :: Monad m => Block v (m a) -> m (Block v a)

Eq a => Eq (Block v a)

Defined in Language.Python.Syntax.Statement

Methods

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

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

Show a => Show (Block v a)

Defined in Language.Python.Syntax.Statement

Methods

showsPrec :: Int -> Block v a -> ShowS

show :: Block v a -> String

showList :: [Block v a] -> ShowS

Generic (Block v a)

Defined in Language.Python.Syntax.Statement

Associated Types

type Rep (Block v a) :: Type -> Type

Methods

from :: Block v a -> Rep (Block v a) x

to :: Rep (Block v a) x -> Block v a

HasNewlines (Block v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Block v a) Newline

HasIndents (Block ([] :: [Type]) a) a

Defined in Language.Python.Optics.Indents

Methods

_Indents :: Traversal' (Block [] a) (Indents a)

type Rep (Block v a)

Defined in Language.Python.Syntax.Statement

type Rep (Block v a) = D1 (MetaData "Block" "Language.Python.Syntax.Statement" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" False) (C1 (MetaCons "Block" PrefixI True) (S1 (MetaSel (Just "_blockBlankLines") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Blank a, Newline)]) :*: (S1 (MetaSel (Just "_blockHead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Statement v a)) :*: S1 (MetaSel (Just "_blockTail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Either (Blank a, Newline) (Statement v a)]))))

Lenses

blockBlankLines :: forall v a. Lens' (Block v a) [(Blank a, Newline)]

blockHead :: forall v a. Lens' (Block v a) (Statement v a)

blockTail :: forall v a. Lens' (Block v a) [Either (Blank a, Newline) (Statement v a)]

Traversals

class HasBlocks s where

Methods

_Blocks :: Traversal (s v a) (s '[] a) (Block v a) (Block '[] a)

Traversal targeting all the Blocks in a structure

Instances

HasBlocks CompoundStatement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (CompoundStatement v a) (CompoundStatement [] a) (Block v a) (Block [] a)

HasBlocks Suite

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (Suite v a) (Suite [] a) (Block v a) (Block [] a)

HasBlocks Statement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (Statement v a) (Statement [] a) (Block v a) (Block [] a)

HasBlocks SmallStatement

Defined in Language.Python.Syntax.Statement

Methods

_Blocks :: Traversal (SmallStatement v a) (SmallStatement [] a) (Block v a) (Block [] a)