Copyright	(C) CSIRO 2017-2019
License	BSD3
Maintainer	Isaac Elliott <isaace71295@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Python.Syntax.Types

Contents

Parameters
Compound statements
Expressions

Description

Datatypes for different parts of Python syntax

Synopsis

data PositionalParam v a = MkPositionalParam {
- _ppAnn :: Ann a
- _ppName :: Ident v a
- _ppType :: Maybe (Colon, Expr v a)
}
ppAnn :: forall v a. Lens' (PositionalParam v a) (Ann a)
ppName :: forall v a. Lens' (PositionalParam v a) (Ident v a)
ppType :: forall v a. Lens' (PositionalParam v a) (Maybe (Colon, Expr v a))
data StarParam v a = MkStarParam {
- _spAnn :: Ann a
- _spWhitespace :: [Whitespace]
- _spName :: Ident v a
- _spType :: Maybe (Colon, Expr v a)
}
spAnn :: forall v a. Lens' (StarParam v a) (Ann a)
spWhitespace :: forall v a. Lens' (StarParam v a) [Whitespace]
spName :: forall v a. Lens' (StarParam v a) (Ident v a)
spType :: forall v a. Lens' (StarParam v a) (Maybe (Colon, Expr v a))
data UnnamedStarParam (v :: [*]) a = MkUnnamedStarParam {
- _uspAnn :: Ann a
- _uspWhitespace :: [Whitespace]
}
uspAnn :: forall v a v a. Lens (UnnamedStarParam v a) (UnnamedStarParam v a) (Ann a) (Ann a)
uspWhitespace :: forall v a v. Lens (UnnamedStarParam v a) (UnnamedStarParam v a) [Whitespace] [Whitespace]
data KeywordParam v a = MkKeywordParam {
- _kpAnn :: Ann a
- _kpName :: Ident v a
- _kpType :: Maybe (Colon, Expr v a)
- _kpEquals :: [Whitespace]
- _kpExpr :: Expr v a
}
kpAnn :: forall v a. Lens' (KeywordParam v a) (Ann a)
kpName :: forall v a. Lens' (KeywordParam v a) (Ident v a)
kpType :: forall v a. Lens' (KeywordParam v a) (Maybe (Colon, Expr v a))
kpEquals :: forall v a. Lens' (KeywordParam v a) [Whitespace]
kpExpr :: forall v a. Lens' (KeywordParam v a) (Expr v a)
data Fundef v a = MkFundef {
- _fdAnn :: Ann a
- _fdDecorators :: [Decorator v a]
- _fdIndents :: Indents a
- _fdAsync :: Maybe (NonEmpty Whitespace)
- _fdDefSpaces :: NonEmpty Whitespace
- _fdName :: Ident v a
- _fdLeftParenSpaces :: [Whitespace]
- _fdParameters :: CommaSep (Param v a)
- _fdRightParenSpaces :: [Whitespace]
- _fdReturnType :: Maybe ([Whitespace], Expr v a)
- _fdBody :: Suite v a
}
fdAnn :: forall v a. Lens' (Fundef v a) (Ann a)
fdDecorators :: forall v a. Lens' (Fundef v a) [Decorator v a]
fdIndents :: forall v a. Lens' (Fundef v a) (Indents a)
fdAsync :: forall v a. Lens' (Fundef v a) (Maybe (NonEmpty Whitespace))
fdDefSpaces :: forall v a. Lens' (Fundef v a) (NonEmpty Whitespace)
fdName :: forall v a. Lens' (Fundef v a) (Ident v a)
fdLeftParenSpaces :: forall v a. Lens' (Fundef v a) [Whitespace]
fdParameters :: forall v a. Lens' (Fundef v a) (CommaSep (Param v a))
fdRightParenSpaces :: forall v a. Lens' (Fundef v a) [Whitespace]
fdReturnType :: forall v a. Lens' (Fundef v a) (Maybe ([Whitespace], Expr v a))
fdBody :: forall v a. Lens' (Fundef v a) (Suite v a)
data ClassDef v a = MkClassDef {
- _cdAnn :: Ann a
- _cdDecorators :: [Decorator v a]
- _cdIndents :: Indents a
- _cdClass :: NonEmpty Whitespace
- _cdName :: Ident v a
- _cdArguments :: Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace])
- _cdBody :: Suite v a
}
cdAnn :: forall v a. Lens' (ClassDef v a) (Ann a)
cdDecorators :: forall v a. Lens' (ClassDef v a) [Decorator v a]
cdIndents :: forall v a. Lens' (ClassDef v a) (Indents a)
cdClass :: forall v a. Lens' (ClassDef v a) (NonEmpty Whitespace)
cdName :: forall v a. Lens' (ClassDef v a) (Ident v a)
cdArguments :: forall v a. Lens' (ClassDef v a) (Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace]))
cdBody :: forall v a. Lens' (ClassDef v a) (Suite v a)
data If v a = MkIf {
- _ifAnn :: Ann a
- _ifIndents :: Indents a
- _ifIf :: [Whitespace]
- _ifCond :: Expr v a
- _ifBody :: Suite v a
- _ifElifs :: [Elif v a]
- _ifElse :: Maybe (Else v a)
}
ifAnn :: forall v a. Lens' (If v a) (Ann a)
ifIndents :: forall v a. Lens' (If v a) (Indents a)
ifIf :: forall v a. Lens' (If v a) [Whitespace]
ifCond :: forall v a. Lens' (If v a) (Expr v a)
ifBody :: forall v a. Lens' (If v a) (Suite v a)
ifElifs :: forall v a. Lens' (If v a) [Elif v a]
ifElse :: forall v a. Lens' (If v a) (Maybe (Else v a))
data Elif v a = MkElif {
- _elifIndents :: Indents a
- _elifElif :: [Whitespace]
- _elifCond :: Expr v a
- _elifBody :: Suite v a
}
elifIndents :: forall v a. Lens' (Elif v a) (Indents a)
elifElif :: forall v a. Lens' (Elif v a) [Whitespace]
elifCond :: forall v a. Lens' (Elif v a) (Expr v a)
elifBody :: forall v a. Lens' (Elif v a) (Suite v a)
data For v a = MkFor {
- _forAnn :: Ann a
- _forIndents :: Indents a
- _forAsync :: Maybe (NonEmpty Whitespace)
- _forFor :: [Whitespace]
- _forBinder :: Expr v a
- _forIn :: [Whitespace]
- _forCollection :: CommaSep1' (Expr v a)
- _forBody :: Suite v a
- _forElse :: Maybe (Else v a)
}
forAnn :: forall v a. Lens' (For v a) (Ann a)
forIndents :: forall v a. Lens' (For v a) (Indents a)
forAsync :: forall v a. Lens' (For v a) (Maybe (NonEmpty Whitespace))
forFor :: forall v a. Lens' (For v a) [Whitespace]
forBinder :: forall v a. Lens' (For v a) (Expr v a)
forIn :: forall v a. Lens' (For v a) [Whitespace]
forCollection :: forall v a. Lens' (For v a) (CommaSep1' (Expr v a))
forBody :: forall v a. Lens' (For v a) (Suite v a)
forElse :: forall v a. Lens' (For v a) (Maybe (Else v a))
data While v a = MkWhile {
- _whileAnn :: Ann a
- _whileIndents :: Indents a
- _whileWhile :: [Whitespace]
- _whileCond :: Expr v a
- _whileBody :: Suite v a
- _whileElse :: Maybe (Else v a)
}
whileAnn :: forall v a. Lens' (While v a) (Ann a)
whileIndents :: forall v a. Lens' (While v a) (Indents a)
whileWhile :: forall v a. Lens' (While v a) [Whitespace]
whileCond :: forall v a. Lens' (While v a) (Expr v a)
whileBody :: forall v a. Lens' (While v a) (Suite v a)
whileElse :: forall v a. Lens' (While v a) (Maybe (Else v a))
data TryExcept v a = MkTryExcept {
- _teAnn :: Ann a
- _teIndents :: Indents a
- _teTry :: [Whitespace]
- _teBody :: Suite v a
- _teExcepts :: NonEmpty (Except v a)
- _teElse :: Maybe (Else v a)
- _teFinally :: Maybe (Finally v a)
}
teAnn :: forall v a. Lens' (TryExcept v a) (Ann a)
teIndents :: forall v a. Lens' (TryExcept v a) (Indents a)
teTry :: forall v a. Lens' (TryExcept v a) [Whitespace]
teBody :: forall v a. Lens' (TryExcept v a) (Suite v a)
teExcepts :: forall v a. Lens' (TryExcept v a) (NonEmpty (Except v a))
teElse :: forall v a. Lens' (TryExcept v a) (Maybe (Else v a))
teFinally :: forall v a. Lens' (TryExcept v a) (Maybe (Finally v a))
data Except v a = MkExcept {
- _exceptIndents :: Indents a
- _exceptExcept :: [Whitespace]
- _exceptExceptAs :: Maybe (ExceptAs v a)
- _exceptBody :: Suite v a
}
exceptIndents :: forall v a. Lens' (Except v a) (Indents a)
exceptExcept :: forall v a. Lens' (Except v a) [Whitespace]
exceptExceptAs :: forall v a. Lens' (Except v a) (Maybe (ExceptAs v a))
exceptBody :: forall v a. Lens' (Except v a) (Suite v a)
data TryFinally v a = MkTryFinally {
- _tfAnn :: Ann a
- _tfIndents :: Indents a
- _tfTry :: [Whitespace]
- _tfBody :: Suite v a
- _tfFinally :: Finally v a
}
tfAnn :: forall v a. Lens' (TryFinally v a) (Ann a)
tfIndents :: forall v a. Lens' (TryFinally v a) (Indents a)
tfTry :: forall v a. Lens' (TryFinally v a) [Whitespace]
tfBody :: forall v a. Lens' (TryFinally v a) (Suite v a)
tfFinally :: forall v a. Lens' (TryFinally v a) (Finally v a)
data Finally v a = MkFinally {
- _finallyIndents :: Indents a
- _finallyFinally :: [Whitespace]
- _finallyBody :: Suite v a
}
finallyIndents :: forall v a. Lens' (Finally v a) (Indents a)
finallyFinally :: forall v a. Lens' (Finally v a) [Whitespace]
finallyBody :: forall v a v. Lens (Finally v a) (Finally v a) (Suite v a) (Suite v a)
data With v a = MkWith {
- _withAnn :: Ann a
- _withIndents :: Indents a
- _withAsync :: Maybe (NonEmpty Whitespace)
- _withWith :: [Whitespace]
- _withItems :: CommaSep1 (WithItem v a)
- _withBody :: Suite v a
}
withAnn :: forall v a. Lens' (With v a) (Ann a)
withIndents :: forall v a. Lens' (With v a) (Indents a)
withAsync :: forall v a. Lens' (With v a) (Maybe (NonEmpty Whitespace))
withWith :: forall v a. Lens' (With v a) [Whitespace]
withItems :: forall v a. Lens' (With v a) (CommaSep1 (WithItem v a))
withBody :: forall v a. Lens' (With v a) (Suite v a)
data Else v a = MkElse {
- _elseIndents :: Indents a
- _elseElse :: [Whitespace]
- _elseBody :: Suite v a
}
elseIndents :: forall v a. Lens' (Else v a) (Indents a)
elseElse :: forall v a. Lens' (Else v a) [Whitespace]
elseBody :: forall v a v. Lens (Else v a) (Else v a) (Suite v a) (Suite v a)
data None (v :: [*]) a = MkNone {
- _noneAnn :: Ann a
- _noneWhitespace :: [Whitespace]
}
noneAnn :: forall v a v a. Lens (None v a) (None v a) (Ann a) (Ann a)
noneWhitespace :: forall v a v. Lens (None v a) (None v a) [Whitespace] [Whitespace]
data Call v a = MkCall {
- _callAnn :: Ann a
- _callFunction :: Expr v a
- _callLeftParen :: [Whitespace]
- _callArguments :: Maybe (CommaSep1' (Arg v a))
- _callRightParen :: [Whitespace]
}
callAnn :: forall v a. Lens' (Call v a) (Ann a)
callFunction :: forall v a. Lens' (Call v a) (Expr v a)
callLeftParen :: forall v a. Lens' (Call v a) [Whitespace]
callArguments :: forall v a. Lens' (Call v a) (Maybe (CommaSep1' (Arg v a)))
callRightParen :: forall v a. Lens' (Call v a) [Whitespace]
data Tuple v a = MkTuple {
- _tupleAnn :: Ann a
- _tupleHead :: TupleItem v a
- _tupleComma :: Comma
- _tupleTail :: Maybe (CommaSep1' (TupleItem v a))
}
tupleAnn :: forall v a. Lens' (Tuple v a) (Ann a)
tupleHead :: forall v a. Lens' (Tuple v a) (TupleItem v a)
tupleComma :: forall v a. Lens' (Tuple v a) Comma
tupleTail :: forall v a. Lens' (Tuple v a) (Maybe (CommaSep1' (TupleItem v a)))
data TupleUnpack v a = MkTupleUnpack {
- _tupleUnpackAnn :: Ann a
- _tupleUnpackParens :: [([Whitespace], [Whitespace])]
- _tupleUnpackWhitespace :: [Whitespace]
- _tupleUnpackValue :: Expr v a
}
tupleUnpackAnn :: forall v a. Lens' (TupleUnpack v a) (Ann a)
tupleUnpackParens :: forall v a. Lens' (TupleUnpack v a) [([Whitespace], [Whitespace])]
tupleUnpackWhitespace :: forall v a. Lens' (TupleUnpack v a) [Whitespace]
tupleUnpackValue :: forall v a v. Lens (TupleUnpack v a) (TupleUnpack v a) (Expr v a) (Expr v a)
data List v a = MkList {
- _listAnn :: Ann a
- _listWhitespaceLeft :: [Whitespace]
- _listBody :: Maybe (CommaSep1' (ListItem v a))
- _listWhitespaceRight :: [Whitespace]
}
listAnn :: forall v a. Lens' (List v a) (Ann a)
listWhitespaceLeft :: forall v a. Lens' (List v a) [Whitespace]
listBody :: forall v a v. Lens (List v a) (List v a) (Maybe (CommaSep1' (ListItem v a))) (Maybe (CommaSep1' (ListItem v a)))
listWhitespaceRight :: forall v a. Lens' (List v a) [Whitespace]
data ListUnpack v a = MkListUnpack {
- _listUnpackAnn :: Ann a
- _listUnpackParens :: [([Whitespace], [Whitespace])]
- _listUnpackWhitespace :: [Whitespace]
- _listUnpackValue :: Expr v a
}
listUnpackAnn :: forall v a. Lens' (ListUnpack v a) (Ann a)
listUnpackParens :: forall v a. Lens' (ListUnpack v a) [([Whitespace], [Whitespace])]
listUnpackWhitespace :: forall v a. Lens' (ListUnpack v a) [Whitespace]
listUnpackValue :: forall v a v. Lens (ListUnpack v a) (ListUnpack v a) (Expr v a) (Expr v a)

Parameters

Positional parameters

data PositionalParam v a Source #

Constructors

MkPositionalParam
Fields _ppAnn :: Ann a _ppName :: Ident v a _ppType :: Maybe (Colon, Expr v a)

Instances

Functor (PositionalParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> PositionalParam v a -> PositionalParam v b # (<$) :: a -> PositionalParam v b -> PositionalParam v a #
Foldable (PositionalParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => PositionalParam v m -> m # foldMap :: Monoid m => (a -> m) -> PositionalParam v a -> m # foldr :: (a -> b -> b) -> b -> PositionalParam v a -> b # foldr' :: (a -> b -> b) -> b -> PositionalParam v a -> b # foldl :: (b -> a -> b) -> b -> PositionalParam v a -> b # foldl' :: (b -> a -> b) -> b -> PositionalParam v a -> b # foldr1 :: (a -> a -> a) -> PositionalParam v a -> a # foldl1 :: (a -> a -> a) -> PositionalParam v a -> a # toList :: PositionalParam v a -> [a] # null :: PositionalParam v a -> Bool # length :: PositionalParam v a -> Int # elem :: Eq a => a -> PositionalParam v a -> Bool # maximum :: Ord a => PositionalParam v a -> a # minimum :: Ord a => PositionalParam v a -> a # sum :: Num a => PositionalParam v a -> a # product :: Num a => PositionalParam v a -> a #
Traversable (PositionalParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> PositionalParam v a -> f (PositionalParam v b) # sequenceA :: Applicative f => PositionalParam v (f a) -> f (PositionalParam v a) # mapM :: Monad m => (a -> m b) -> PositionalParam v a -> m (PositionalParam v b) # sequence :: Monad m => PositionalParam v (m a) -> m (PositionalParam v a) #
HasAnn (PositionalParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (PositionalParam v a) (Ann a) Source #
Eq a => Eq (PositionalParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: PositionalParam v a -> PositionalParam v a -> Bool # (/=) :: PositionalParam v a -> PositionalParam v a -> Bool #
Show a => Show (PositionalParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> PositionalParam v a -> ShowS # show :: PositionalParam v a -> String # showList :: [PositionalParam v a] -> ShowS #
Generic (PositionalParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (PositionalParam v a) :: Type -> Type # Methods from :: PositionalParam v a -> Rep (PositionalParam v a) x # to :: Rep (PositionalParam v a) x -> PositionalParam v a #
type Rep (PositionalParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (PositionalParam v a) = D1 (MetaData "PositionalParam" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkPositionalParam" PrefixI True) (S1 (MetaSel (Just "_ppAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_ppName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a)) :: S1 (MetaSel (Just "_ppType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Colon, Expr v a))))))

Lenses

ppAnn :: forall v a. Lens' (PositionalParam v a) (Ann a) Source #

ppName :: forall v a. Lens' (PositionalParam v a) (Ident v a) Source #

ppType :: forall v a. Lens' (PositionalParam v a) (Maybe (Colon, Expr v a)) Source #

Starred Parameters

data StarParam v a Source #

Constructors

MkStarParam
Fields _spAnn :: Ann a _spWhitespace :: [Whitespace] _spName :: Ident v a _spType :: Maybe (Colon, Expr v a)

Instances

Functor (StarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> StarParam v a -> StarParam v b # (<$) :: a -> StarParam v b -> StarParam v a #
Foldable (StarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => StarParam v m -> m # foldMap :: Monoid m => (a -> m) -> StarParam v a -> m # foldr :: (a -> b -> b) -> b -> StarParam v a -> b # foldr' :: (a -> b -> b) -> b -> StarParam v a -> b # foldl :: (b -> a -> b) -> b -> StarParam v a -> b # foldl' :: (b -> a -> b) -> b -> StarParam v a -> b # foldr1 :: (a -> a -> a) -> StarParam v a -> a # foldl1 :: (a -> a -> a) -> StarParam v a -> a # toList :: StarParam v a -> [a] # null :: StarParam v a -> Bool # length :: StarParam v a -> Int # elem :: Eq a => a -> StarParam v a -> Bool # maximum :: Ord a => StarParam v a -> a # minimum :: Ord a => StarParam v a -> a # sum :: Num a => StarParam v a -> a # product :: Num a => StarParam v a -> a #
Traversable (StarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> StarParam v a -> f (StarParam v b) # sequenceA :: Applicative f => StarParam v (f a) -> f (StarParam v a) # mapM :: Monad m => (a -> m b) -> StarParam v a -> m (StarParam v b) # sequence :: Monad m => StarParam v (m a) -> m (StarParam v a) #
HasAnn (StarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (StarParam v a) (Ann a) Source #
Eq a => Eq (StarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: StarParam v a -> StarParam v a -> Bool # (/=) :: StarParam v a -> StarParam v a -> Bool #
Show a => Show (StarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> StarParam v a -> ShowS # show :: StarParam v a -> String # showList :: [StarParam v a] -> ShowS #
Generic (StarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (StarParam v a) :: Type -> Type # Methods from :: StarParam v a -> Rep (StarParam v a) x # to :: Rep (StarParam v a) x -> StarParam v a #
type Rep (StarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (StarParam v a) = D1 (MetaData "StarParam" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkStarParam" PrefixI True) ((S1 (MetaSel (Just "_spAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_spWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Just "_spName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a)) :*: S1 (MetaSel (Just "_spType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Colon, Expr v a))))))

Lenses

spAnn :: forall v a. Lens' (StarParam v a) (Ann a) Source #

spWhitespace :: forall v a. Lens' (StarParam v a) [Whitespace] Source #

spName :: forall v a. Lens' (StarParam v a) (Ident v a) Source #

spType :: forall v a. Lens' (StarParam v a) (Maybe (Colon, Expr v a)) Source #

Unnamed Starred Parameters

data UnnamedStarParam (v :: [*]) a Source #

Constructors

MkUnnamedStarParam
Fields _uspAnn :: Ann a _uspWhitespace :: [Whitespace]

Instances

Functor (UnnamedStarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> UnnamedStarParam v a -> UnnamedStarParam v b # (<$) :: a -> UnnamedStarParam v b -> UnnamedStarParam v a #
Foldable (UnnamedStarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => UnnamedStarParam v m -> m # foldMap :: Monoid m => (a -> m) -> UnnamedStarParam v a -> m # foldr :: (a -> b -> b) -> b -> UnnamedStarParam v a -> b # foldr' :: (a -> b -> b) -> b -> UnnamedStarParam v a -> b # foldl :: (b -> a -> b) -> b -> UnnamedStarParam v a -> b # foldl' :: (b -> a -> b) -> b -> UnnamedStarParam v a -> b # foldr1 :: (a -> a -> a) -> UnnamedStarParam v a -> a # foldl1 :: (a -> a -> a) -> UnnamedStarParam v a -> a # toList :: UnnamedStarParam v a -> [a] # null :: UnnamedStarParam v a -> Bool # length :: UnnamedStarParam v a -> Int # elem :: Eq a => a -> UnnamedStarParam v a -> Bool # maximum :: Ord a => UnnamedStarParam v a -> a # minimum :: Ord a => UnnamedStarParam v a -> a # sum :: Num a => UnnamedStarParam v a -> a # product :: Num a => UnnamedStarParam v a -> a #
Traversable (UnnamedStarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> UnnamedStarParam v a -> f (UnnamedStarParam v b) # sequenceA :: Applicative f => UnnamedStarParam v (f a) -> f (UnnamedStarParam v a) # mapM :: Monad m => (a -> m b) -> UnnamedStarParam v a -> m (UnnamedStarParam v b) # sequence :: Monad m => UnnamedStarParam v (m a) -> m (UnnamedStarParam v a) #
HasAnn (UnnamedStarParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (UnnamedStarParam v a) (Ann a) Source #
Eq a => Eq (UnnamedStarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: UnnamedStarParam v a -> UnnamedStarParam v a -> Bool # (/=) :: UnnamedStarParam v a -> UnnamedStarParam v a -> Bool #
Show a => Show (UnnamedStarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> UnnamedStarParam v a -> ShowS # show :: UnnamedStarParam v a -> String # showList :: [UnnamedStarParam v a] -> ShowS #
Generic (UnnamedStarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (UnnamedStarParam v a) :: Type -> Type # Methods from :: UnnamedStarParam v a -> Rep (UnnamedStarParam v a) x # to :: Rep (UnnamedStarParam v a) x -> UnnamedStarParam v a #
type Rep (UnnamedStarParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (UnnamedStarParam v a) = D1 (MetaData "UnnamedStarParam" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkUnnamedStarParam" PrefixI True) (S1 (MetaSel (Just "_uspAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Just "_uspWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])))

Lenses

uspAnn :: forall v a v a. Lens (UnnamedStarParam v a) (UnnamedStarParam v a) (Ann a) (Ann a) Source #

uspWhitespace :: forall v a v. Lens (UnnamedStarParam v a) (UnnamedStarParam v a) [Whitespace] [Whitespace] Source #

Keyword parameters

data KeywordParam v a Source #

Constructors

MkKeywordParam
Fields _kpAnn :: Ann a _kpName :: Ident v a _kpType :: Maybe (Colon, Expr v a) _kpEquals :: [Whitespace] _kpExpr :: Expr v a

Instances

Functor (KeywordParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> KeywordParam v a -> KeywordParam v b # (<$) :: a -> KeywordParam v b -> KeywordParam v a #
Foldable (KeywordParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => KeywordParam v m -> m # foldMap :: Monoid m => (a -> m) -> KeywordParam v a -> m # foldr :: (a -> b -> b) -> b -> KeywordParam v a -> b # foldr' :: (a -> b -> b) -> b -> KeywordParam v a -> b # foldl :: (b -> a -> b) -> b -> KeywordParam v a -> b # foldl' :: (b -> a -> b) -> b -> KeywordParam v a -> b # foldr1 :: (a -> a -> a) -> KeywordParam v a -> a # foldl1 :: (a -> a -> a) -> KeywordParam v a -> a # toList :: KeywordParam v a -> [a] # null :: KeywordParam v a -> Bool # length :: KeywordParam v a -> Int # elem :: Eq a => a -> KeywordParam v a -> Bool # maximum :: Ord a => KeywordParam v a -> a # minimum :: Ord a => KeywordParam v a -> a # sum :: Num a => KeywordParam v a -> a # product :: Num a => KeywordParam v a -> a #
Traversable (KeywordParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> KeywordParam v a -> f (KeywordParam v b) # sequenceA :: Applicative f => KeywordParam v (f a) -> f (KeywordParam v a) # mapM :: Monad m => (a -> m b) -> KeywordParam v a -> m (KeywordParam v b) # sequence :: Monad m => KeywordParam v (m a) -> m (KeywordParam v a) #
HasAnn (KeywordParam v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (KeywordParam v a) (Ann a) Source #
Eq a => Eq (KeywordParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: KeywordParam v a -> KeywordParam v a -> Bool # (/=) :: KeywordParam v a -> KeywordParam v a -> Bool #
Show a => Show (KeywordParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> KeywordParam v a -> ShowS # show :: KeywordParam v a -> String # showList :: [KeywordParam v a] -> ShowS #
Generic (KeywordParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (KeywordParam v a) :: Type -> Type # Methods from :: KeywordParam v a -> Rep (KeywordParam v a) x # to :: Rep (KeywordParam v a) x -> KeywordParam v a #
type Rep (KeywordParam v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (KeywordParam v a) = D1 (MetaData "KeywordParam" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkKeywordParam" PrefixI True) ((S1 (MetaSel (Just "_kpAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_kpName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a))) :: (S1 (MetaSel (Just "_kpType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Colon, Expr v a))) :: (S1 (MetaSel (Just "_kpEquals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: S1 (MetaSel (Just "_kpExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a))))))

Lenses

kpAnn :: forall v a. Lens' (KeywordParam v a) (Ann a) Source #

kpName :: forall v a. Lens' (KeywordParam v a) (Ident v a) Source #

kpType :: forall v a. Lens' (KeywordParam v a) (Maybe (Colon, Expr v a)) Source #

kpEquals :: forall v a. Lens' (KeywordParam v a) [Whitespace] Source #

kpExpr :: forall v a. Lens' (KeywordParam v a) (Expr v a) Source #

Compound statements

Function definitions

data Fundef v a Source #

Constructors

MkFundef
Fields _fdAnn :: Ann a _fdDecorators :: [Decorator v a] _fdIndents :: Indents a _fdAsync :: Maybe (NonEmpty Whitespace) _fdDefSpaces :: NonEmpty Whitespace _fdName :: Ident v a _fdLeftParenSpaces :: [Whitespace] _fdParameters :: CommaSep (Param v a) _fdRightParenSpaces :: [Whitespace] _fdReturnType :: Maybe ([Whitespace], Expr v a) _fdBody :: Suite v a

Instances

HasFundef Fundef Source #
Instance details Defined in Language.Python.Optics Methods _Fundef :: Prism (Fundef v a) (Fundef [] a) (Fundef v a) (Fundef [] a) Source #
AsyncSyntax Fundef Source #
Instance details Defined in Language.Python.DSL Methods async_ :: Raw Fundef -> Raw Fundef Source #
DecoratorsSyntax Fundef Source #
Instance details Defined in Language.Python.DSL Methods setDecorators :: [Raw Expr] -> Raw Fundef -> Raw Fundef Source # getDecorators :: Raw Fundef -> [Raw Expr] Source # decorators :: Lens' (Raw Fundef) [Raw Decorator] Source #
ParametersSyntax Fundef Source #
Instance details Defined in Language.Python.DSL Methods parameters_ :: Functor f => ([Raw Param] -> f [Raw Param]) -> Raw Fundef -> f (Raw Fundef) Source # parameters :: Lens' (Raw Fundef) (CommaSep (Raw Param)) Source #
BodySyntax Fundef Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Fundef -> f (Raw Fundef) Source # body :: Lens' (Raw Fundef) (Raw Suite) Source #
AsLine Fundef Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw Fundef -> Raw Line Source #
Functor (Fundef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Fundef v a -> Fundef v b # (<$) :: a -> Fundef v b -> Fundef v a #
Foldable (Fundef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Fundef v m -> m # foldMap :: Monoid m => (a -> m) -> Fundef v a -> m # foldr :: (a -> b -> b) -> b -> Fundef v a -> b # foldr' :: (a -> b -> b) -> b -> Fundef v a -> b # foldl :: (b -> a -> b) -> b -> Fundef v a -> b # foldl' :: (b -> a -> b) -> b -> Fundef v a -> b # foldr1 :: (a -> a -> a) -> Fundef v a -> a # foldl1 :: (a -> a -> a) -> Fundef v a -> a # toList :: Fundef v a -> [a] # null :: Fundef v a -> Bool # length :: Fundef v a -> Int # elem :: Eq a => a -> Fundef v a -> Bool # maximum :: Ord a => Fundef v a -> a # minimum :: Ord a => Fundef v a -> a # sum :: Num a => Fundef v a -> a # product :: Num a => Fundef v a -> a #
Traversable (Fundef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Fundef v a -> f (Fundef v b) # sequenceA :: Applicative f => Fundef v (f a) -> f (Fundef v a) # mapM :: Monad m => (a -> m b) -> Fundef v a -> m (Fundef v b) # sequence :: Monad m => Fundef v (m a) -> m (Fundef v a) #
HasAnn (Fundef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (Fundef v a) (Ann a) Source #
Eq a => Eq (Fundef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Fundef v a -> Fundef v a -> Bool # (/=) :: Fundef v a -> Fundef v a -> Bool #
Show a => Show (Fundef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Fundef v a -> ShowS # show :: Fundef v a -> String # showList :: [Fundef v a] -> ShowS #
Generic (Fundef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Fundef v a) :: Type -> Type # Methods from :: Fundef v a -> Rep (Fundef v a) x # to :: Rep (Fundef v a) x -> Fundef v a #
HasIndents (Fundef ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (Fundef [] a) (Indents a) Source #
type Rep (Fundef v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Fundef v a) = D1 (MetaData "Fundef" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkFundef" PrefixI True) (((S1 (MetaSel (Just "_fdAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_fdDecorators") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decorator v a])) :: (S1 (MetaSel (Just "_fdIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: (S1 (MetaSel (Just "_fdAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))) :: S1 (MetaSel (Just "_fdDefSpaces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace))))) :: ((S1 (MetaSel (Just "_fdName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a)) :: (S1 (MetaSel (Just "_fdLeftParenSpaces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: S1 (MetaSel (Just "_fdParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep (Param v a))))) :: (S1 (MetaSel (Just "_fdRightParenSpaces") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: (S1 (MetaSel (Just "_fdReturnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Expr v a))) :: S1 (MetaSel (Just "_fdBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))))

Lenses

fdAnn :: forall v a. Lens' (Fundef v a) (Ann a) Source #

fdDecorators :: forall v a. Lens' (Fundef v a) [Decorator v a] Source #

fdIndents :: forall v a. Lens' (Fundef v a) (Indents a) Source #

fdAsync :: forall v a. Lens' (Fundef v a) (Maybe (NonEmpty Whitespace)) Source #

fdDefSpaces :: forall v a. Lens' (Fundef v a) (NonEmpty Whitespace) Source #

fdName :: forall v a. Lens' (Fundef v a) (Ident v a) Source #

fdLeftParenSpaces :: forall v a. Lens' (Fundef v a) [Whitespace] Source #

fdParameters :: forall v a. Lens' (Fundef v a) (CommaSep (Param v a)) Source #

fdRightParenSpaces :: forall v a. Lens' (Fundef v a) [Whitespace] Source #

fdReturnType :: forall v a. Lens' (Fundef v a) (Maybe ([Whitespace], Expr v a)) Source #

fdBody :: forall v a. Lens' (Fundef v a) (Suite v a) Source #

Class definitions

data ClassDef v a Source #

Constructors

MkClassDef
Fields _cdAnn :: Ann a _cdDecorators :: [Decorator v a] _cdIndents :: Indents a _cdClass :: NonEmpty Whitespace _cdName :: Ident v a _cdArguments :: Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace]) _cdBody :: Suite v a

Instances

HasClassDef ClassDef Source #
Instance details Defined in Language.Python.Optics Methods _ClassDef :: Prism (ClassDef v a) (ClassDef [] a) (ClassDef v a) (ClassDef [] a) Source #
DecoratorsSyntax ClassDef Source #
Instance details Defined in Language.Python.DSL Methods setDecorators :: [Raw Expr] -> Raw ClassDef -> Raw ClassDef Source # getDecorators :: Raw ClassDef -> [Raw Expr] Source # decorators :: Lens' (Raw ClassDef) [Raw Decorator] Source #
ArgumentsSyntax ClassDef Source #
Instance details Defined in Language.Python.DSL Methods setArguments :: [Raw Arg] -> Raw ClassDef -> Raw ClassDef Source # getArguments :: Raw ClassDef -> [Raw Arg] Source #
BodySyntax ClassDef Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw ClassDef -> f (Raw ClassDef) Source # body :: Lens' (Raw ClassDef) (Raw Suite) Source #
AsLine ClassDef Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw ClassDef -> Raw Line Source #
Functor (ClassDef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> ClassDef v a -> ClassDef v b # (<$) :: a -> ClassDef v b -> ClassDef v a #
Foldable (ClassDef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => ClassDef v m -> m # foldMap :: Monoid m => (a -> m) -> ClassDef v a -> m # foldr :: (a -> b -> b) -> b -> ClassDef v a -> b # foldr' :: (a -> b -> b) -> b -> ClassDef v a -> b # foldl :: (b -> a -> b) -> b -> ClassDef v a -> b # foldl' :: (b -> a -> b) -> b -> ClassDef v a -> b # foldr1 :: (a -> a -> a) -> ClassDef v a -> a # foldl1 :: (a -> a -> a) -> ClassDef v a -> a # toList :: ClassDef v a -> [a] # null :: ClassDef v a -> Bool # length :: ClassDef v a -> Int # elem :: Eq a => a -> ClassDef v a -> Bool # maximum :: Ord a => ClassDef v a -> a # minimum :: Ord a => ClassDef v a -> a # sum :: Num a => ClassDef v a -> a # product :: Num a => ClassDef v a -> a #
Traversable (ClassDef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> ClassDef v a -> f (ClassDef v b) # sequenceA :: Applicative f => ClassDef v (f a) -> f (ClassDef v a) # mapM :: Monad m => (a -> m b) -> ClassDef v a -> m (ClassDef v b) # sequence :: Monad m => ClassDef v (m a) -> m (ClassDef v a) #
HasAnn (ClassDef v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (ClassDef v a) (Ann a) Source #
Eq a => Eq (ClassDef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: ClassDef v a -> ClassDef v a -> Bool # (/=) :: ClassDef v a -> ClassDef v a -> Bool #
Show a => Show (ClassDef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> ClassDef v a -> ShowS # show :: ClassDef v a -> String # showList :: [ClassDef v a] -> ShowS #
Generic (ClassDef v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (ClassDef v a) :: Type -> Type # Methods from :: ClassDef v a -> Rep (ClassDef v a) x # to :: Rep (ClassDef v a) x -> ClassDef v a #
HasIndents (ClassDef ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (ClassDef [] a) (Indents a) Source #
type Rep (ClassDef v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (ClassDef v a) = D1 (MetaData "ClassDef" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkClassDef" PrefixI True) ((S1 (MetaSel (Just "_cdAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_cdDecorators") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Decorator v a]) :: S1 (MetaSel (Just "_cdIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)))) :: ((S1 (MetaSel (Just "_cdClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Whitespace)) :: S1 (MetaSel (Just "_cdName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a))) :: (S1 (MetaSel (Just "_cdArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace]))) :: S1 (MetaSel (Just "_cdBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))))))

Lenses

cdAnn :: forall v a. Lens' (ClassDef v a) (Ann a) Source #

cdDecorators :: forall v a. Lens' (ClassDef v a) [Decorator v a] Source #

cdIndents :: forall v a. Lens' (ClassDef v a) (Indents a) Source #

cdClass :: forall v a. Lens' (ClassDef v a) (NonEmpty Whitespace) Source #

cdName :: forall v a. Lens' (ClassDef v a) (Ident v a) Source #

cdArguments :: forall v a. Lens' (ClassDef v a) (Maybe ([Whitespace], Maybe (CommaSep1' (Arg v a)), [Whitespace])) Source #

cdBody :: forall v a. Lens' (ClassDef v a) (Suite v a) Source #

`if` statements

data If v a Source #

Constructors

MkIf
Fields _ifAnn :: Ann a _ifIndents :: Indents a _ifIf :: [Whitespace] _ifCond :: Expr v a _ifBody :: Suite v a _ifElifs :: [Elif v a] _ifElse :: Maybe (Else v a)

Instances

HasIf If Source #
Instance details Defined in Language.Python.Optics Methods _If :: Prism (If v a) (If [] a) (If v a) (If [] a) Source #
ElseSyntax If Source #
Instance details Defined in Language.Python.DSL Methods getElse :: Raw If -> Maybe (Raw Else) Source # setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw If -> Raw If Source #
BodySyntax If Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw If -> f (Raw If) Source # body :: Lens' (Raw If) (Raw Suite) Source #
AsLine If Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw If -> Raw Line Source #
Functor (If v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> If v a -> If v b # (<$) :: a -> If v b -> If v a #
Foldable (If v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => If v m -> m # foldMap :: Monoid m => (a -> m) -> If v a -> m # foldr :: (a -> b -> b) -> b -> If v a -> b # foldr' :: (a -> b -> b) -> b -> If v a -> b # foldl :: (b -> a -> b) -> b -> If v a -> b # foldl' :: (b -> a -> b) -> b -> If v a -> b # foldr1 :: (a -> a -> a) -> If v a -> a # foldl1 :: (a -> a -> a) -> If v a -> a # toList :: If v a -> [a] # null :: If v a -> Bool # length :: If v a -> Int # elem :: Eq a => a -> If v a -> Bool # maximum :: Ord a => If v a -> a # minimum :: Ord a => If v a -> a # sum :: Num a => If v a -> a # product :: Num a => If v a -> a #
Traversable (If v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> If v a -> f (If v b) # sequenceA :: Applicative f => If v (f a) -> f (If v a) # mapM :: Monad m => (a -> m b) -> If v a -> m (If v b) # sequence :: Monad m => If v (m a) -> m (If v a) #
HasAnn (If v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (If v a) (Ann a) Source #
Eq a => Eq (If v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: If v a -> If v a -> Bool # (/=) :: If v a -> If v a -> Bool #
Show a => Show (If v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> If v a -> ShowS # show :: If v a -> String # showList :: [If v a] -> ShowS #
Generic (If v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (If v a) :: Type -> Type # Methods from :: If v a -> Rep (If v a) x # to :: Rep (If v a) x -> If v a #
HasIndents (If ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (If [] a) (Indents a) Source #
type Rep (If v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (If v a) = D1 (MetaData "If" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkIf" PrefixI True) ((S1 (MetaSel (Just "_ifAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_ifIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_ifIf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :: ((S1 (MetaSel (Just "_ifCond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :: S1 (MetaSel (Just "_ifBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))) :: (S1 (MetaSel (Just "_ifElifs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Elif v a]) :: S1 (MetaSel (Just "_ifElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Else v a)))))))

Lenses

ifAnn :: forall v a. Lens' (If v a) (Ann a) Source #

ifIndents :: forall v a. Lens' (If v a) (Indents a) Source #

ifIf :: forall v a. Lens' (If v a) [Whitespace] Source #

ifCond :: forall v a. Lens' (If v a) (Expr v a) Source #

ifBody :: forall v a. Lens' (If v a) (Suite v a) Source #

ifElifs :: forall v a. Lens' (If v a) [Elif v a] Source #

ifElse :: forall v a. Lens' (If v a) (Maybe (Else v a)) Source #

`elif`

data Elif v a Source #

Constructors

MkElif
Fields _elifIndents :: Indents a _elifElif :: [Whitespace] _elifCond :: Expr v a _elifBody :: Suite v a

Instances

BodySyntax Elif Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Elif -> f (Raw Elif) Source # body :: Lens' (Raw Elif) (Raw Suite) Source #
Functor (Elif v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Elif v a -> Elif v b # (<$) :: a -> Elif v b -> Elif v a #
Foldable (Elif v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Elif v m -> m # foldMap :: Monoid m => (a -> m) -> Elif v a -> m # foldr :: (a -> b -> b) -> b -> Elif v a -> b # foldr' :: (a -> b -> b) -> b -> Elif v a -> b # foldl :: (b -> a -> b) -> b -> Elif v a -> b # foldl' :: (b -> a -> b) -> b -> Elif v a -> b # foldr1 :: (a -> a -> a) -> Elif v a -> a # foldl1 :: (a -> a -> a) -> Elif v a -> a # toList :: Elif v a -> [a] # null :: Elif v a -> Bool # length :: Elif v a -> Int # elem :: Eq a => a -> Elif v a -> Bool # maximum :: Ord a => Elif v a -> a # minimum :: Ord a => Elif v a -> a # sum :: Num a => Elif v a -> a # product :: Num a => Elif v a -> a #
Traversable (Elif v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Elif v a -> f (Elif v b) # sequenceA :: Applicative f => Elif v (f a) -> f (Elif v a) # mapM :: Monad m => (a -> m b) -> Elif v a -> m (Elif v b) # sequence :: Monad m => Elif v (m a) -> m (Elif v a) #
Eq a => Eq (Elif v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Elif v a -> Elif v a -> Bool # (/=) :: Elif v a -> Elif v a -> Bool #
Show a => Show (Elif v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Elif v a -> ShowS # show :: Elif v a -> String # showList :: [Elif v a] -> ShowS #
Generic (Elif v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Elif v a) :: Type -> Type # Methods from :: Elif v a -> Rep (Elif v a) x # to :: Rep (Elif v a) x -> Elif v a #
HasIndents (Elif ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (Elif [] a) (Indents a) Source #
type Rep (Elif v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Elif v a) = D1 (MetaData "Elif" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkElif" PrefixI True) ((S1 (MetaSel (Just "_elifIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_elifElif") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Just "_elifCond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :*: S1 (MetaSel (Just "_elifBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))

Lenses

elifIndents :: forall v a. Lens' (Elif v a) (Indents a) Source #

elifElif :: forall v a. Lens' (Elif v a) [Whitespace] Source #

elifCond :: forall v a. Lens' (Elif v a) (Expr v a) Source #

elifBody :: forall v a. Lens' (Elif v a) (Suite v a) Source #

`for` statements

data For v a Source #

Constructors

MkFor
Fields _forAnn :: Ann a _forIndents :: Indents a _forAsync :: Maybe (NonEmpty Whitespace) _forFor :: [Whitespace] _forBinder :: Expr v a _forIn :: [Whitespace] _forCollection :: CommaSep1' (Expr v a) _forBody :: Suite v a _forElse :: Maybe (Else v a)

Instances

HasFor For Source #
Instance details Defined in Language.Python.Optics Methods _For :: Prism (For v a) (For [] a) (For v a) (For [] a) Source #
AsyncSyntax For Source #
Instance details Defined in Language.Python.DSL Methods async_ :: Raw For -> Raw For Source #
ElseSyntax For Source #
Instance details Defined in Language.Python.DSL Methods getElse :: Raw For -> Maybe (Raw Else) Source # setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw For -> Raw For Source #
BodySyntax For Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw For -> f (Raw For) Source # body :: Lens' (Raw For) (Raw Suite) Source #
AsLine For Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw For -> Raw Line Source #
Functor (For v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> For v a -> For v b # (<$) :: a -> For v b -> For v a #
Foldable (For v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => For v m -> m # foldMap :: Monoid m => (a -> m) -> For v a -> m # foldr :: (a -> b -> b) -> b -> For v a -> b # foldr' :: (a -> b -> b) -> b -> For v a -> b # foldl :: (b -> a -> b) -> b -> For v a -> b # foldl' :: (b -> a -> b) -> b -> For v a -> b # foldr1 :: (a -> a -> a) -> For v a -> a # foldl1 :: (a -> a -> a) -> For v a -> a # toList :: For v a -> [a] # null :: For v a -> Bool # length :: For v a -> Int # elem :: Eq a => a -> For v a -> Bool # maximum :: Ord a => For v a -> a # minimum :: Ord a => For v a -> a # sum :: Num a => For v a -> a # product :: Num a => For v a -> a #
Traversable (For v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> For v a -> f (For v b) # sequenceA :: Applicative f => For v (f a) -> f (For v a) # mapM :: Monad m => (a -> m b) -> For v a -> m (For v b) # sequence :: Monad m => For v (m a) -> m (For v a) #
HasAnn (For v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (For v a) (Ann a) Source #
Eq a => Eq (For v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: For v a -> For v a -> Bool # (/=) :: For v a -> For v a -> Bool #
Show a => Show (For v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> For v a -> ShowS # show :: For v a -> String # showList :: [For v a] -> ShowS #
Generic (For v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (For v a) :: Type -> Type # Methods from :: For v a -> Rep (For v a) x # to :: Rep (For v a) x -> For v a #
HasIndents (For ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (For [] a) (Indents a) Source #
type Rep (For v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (For v a) = D1 (MetaData "For" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkFor" PrefixI True) (((S1 (MetaSel (Just "_forAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_forIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a))) :: (S1 (MetaSel (Just "_forAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))) :: S1 (MetaSel (Just "_forFor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :: ((S1 (MetaSel (Just "_forBinder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :: S1 (MetaSel (Just "_forIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Just "_forCollection") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1' (Expr v a))) :: (S1 (MetaSel (Just "_forBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :: S1 (MetaSel (Just "_forElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Else v a))))))))

Lenses

forAnn :: forall v a. Lens' (For v a) (Ann a) Source #

forIndents :: forall v a. Lens' (For v a) (Indents a) Source #

forAsync :: forall v a. Lens' (For v a) (Maybe (NonEmpty Whitespace)) Source #

forFor :: forall v a. Lens' (For v a) [Whitespace] Source #

forBinder :: forall v a. Lens' (For v a) (Expr v a) Source #

forIn :: forall v a. Lens' (For v a) [Whitespace] Source #

forCollection :: forall v a. Lens' (For v a) (CommaSep1' (Expr v a)) Source #

forBody :: forall v a. Lens' (For v a) (Suite v a) Source #

forElse :: forall v a. Lens' (For v a) (Maybe (Else v a)) Source #

`while` statements

data While v a Source #

Constructors

MkWhile
Fields _whileAnn :: Ann a _whileIndents :: Indents a _whileWhile :: [Whitespace] _whileCond :: Expr v a _whileBody :: Suite v a _whileElse :: Maybe (Else v a)

Instances

HasWhile While Source #
Instance details Defined in Language.Python.Optics Methods _While :: Prism (While v a) (While [] a) (While v a) (While [] a) Source #
ElseSyntax While Source #
Instance details Defined in Language.Python.DSL Methods getElse :: Raw While -> Maybe (Raw Else) Source # setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw While -> Raw While Source #
BodySyntax While Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw While -> f (Raw While) Source # body :: Lens' (Raw While) (Raw Suite) Source #
AsLine While Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw While -> Raw Line Source #
Functor (While v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> While v a -> While v b # (<$) :: a -> While v b -> While v a #
Foldable (While v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => While v m -> m # foldMap :: Monoid m => (a -> m) -> While v a -> m # foldr :: (a -> b -> b) -> b -> While v a -> b # foldr' :: (a -> b -> b) -> b -> While v a -> b # foldl :: (b -> a -> b) -> b -> While v a -> b # foldl' :: (b -> a -> b) -> b -> While v a -> b # foldr1 :: (a -> a -> a) -> While v a -> a # foldl1 :: (a -> a -> a) -> While v a -> a # toList :: While v a -> [a] # null :: While v a -> Bool # length :: While v a -> Int # elem :: Eq a => a -> While v a -> Bool # maximum :: Ord a => While v a -> a # minimum :: Ord a => While v a -> a # sum :: Num a => While v a -> a # product :: Num a => While v a -> a #
Traversable (While v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> While v a -> f (While v b) # sequenceA :: Applicative f => While v (f a) -> f (While v a) # mapM :: Monad m => (a -> m b) -> While v a -> m (While v b) # sequence :: Monad m => While v (m a) -> m (While v a) #
HasAnn (While v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (While v a) (Ann a) Source #
Eq a => Eq (While v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: While v a -> While v a -> Bool # (/=) :: While v a -> While v a -> Bool #
Show a => Show (While v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> While v a -> ShowS # show :: While v a -> String # showList :: [While v a] -> ShowS #
Generic (While v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (While v a) :: Type -> Type # Methods from :: While v a -> Rep (While v a) x # to :: Rep (While v a) x -> While v a #
HasIndents (While ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (While [] a) (Indents a) Source #
type Rep (While v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (While v a) = D1 (MetaData "While" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkWhile" PrefixI True) ((S1 (MetaSel (Just "_whileAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_whileIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_whileWhile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :: (S1 (MetaSel (Just "_whileCond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)) :: (S1 (MetaSel (Just "_whileBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :*: S1 (MetaSel (Just "_whileElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Else v a)))))))

Lenses

whileAnn :: forall v a. Lens' (While v a) (Ann a) Source #

whileIndents :: forall v a. Lens' (While v a) (Indents a) Source #

whileWhile :: forall v a. Lens' (While v a) [Whitespace] Source #

whileCond :: forall v a. Lens' (While v a) (Expr v a) Source #

whileBody :: forall v a. Lens' (While v a) (Suite v a) Source #

whileElse :: forall v a. Lens' (While v a) (Maybe (Else v a)) Source #

`try ... except ... else ... finally`

data TryExcept v a Source #

Constructors

MkTryExcept
Fields _teAnn :: Ann a _teIndents :: Indents a _teTry :: [Whitespace] _teBody :: Suite v a _teExcepts :: NonEmpty (Except v a) _teElse :: Maybe (Else v a) _teFinally :: Maybe (Finally v a)

Instances

HasTryExcept TryExcept Source #
Instance details Defined in Language.Python.Optics Methods _TryExcept :: Prism (TryExcept v a) (TryExcept [] a) (TryExcept v a) (TryExcept [] a) Source #
ElseSyntax TryExcept Source #
Instance details Defined in Language.Python.DSL Methods getElse :: Raw TryExcept -> Maybe (Raw Else) Source # setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw TryExcept -> Raw TryExcept Source #
BodySyntax TryExcept Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw TryExcept -> f (Raw TryExcept) Source # body :: Lens' (Raw TryExcept) (Raw Suite) Source #
AsLine TryExcept Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw TryExcept -> Raw Line Source #
Functor (TryExcept v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> TryExcept v a -> TryExcept v b # (<$) :: a -> TryExcept v b -> TryExcept v a #
Foldable (TryExcept v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => TryExcept v m -> m # foldMap :: Monoid m => (a -> m) -> TryExcept v a -> m # foldr :: (a -> b -> b) -> b -> TryExcept v a -> b # foldr' :: (a -> b -> b) -> b -> TryExcept v a -> b # foldl :: (b -> a -> b) -> b -> TryExcept v a -> b # foldl' :: (b -> a -> b) -> b -> TryExcept v a -> b # foldr1 :: (a -> a -> a) -> TryExcept v a -> a # foldl1 :: (a -> a -> a) -> TryExcept v a -> a # toList :: TryExcept v a -> [a] # null :: TryExcept v a -> Bool # length :: TryExcept v a -> Int # elem :: Eq a => a -> TryExcept v a -> Bool # maximum :: Ord a => TryExcept v a -> a # minimum :: Ord a => TryExcept v a -> a # sum :: Num a => TryExcept v a -> a # product :: Num a => TryExcept v a -> a #
Traversable (TryExcept v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> TryExcept v a -> f (TryExcept v b) # sequenceA :: Applicative f => TryExcept v (f a) -> f (TryExcept v a) # mapM :: Monad m => (a -> m b) -> TryExcept v a -> m (TryExcept v b) # sequence :: Monad m => TryExcept v (m a) -> m (TryExcept v a) #
HasAnn (TryExcept v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (TryExcept v a) (Ann a) Source #
ExceptSyntax (Raw TryExcept) Source #	`except_` :: [`Raw` `Line`] -> `Raw` `TryExcept` -> `Raw` `TryExcept` `exceptAs_` :: AsExceptAs => `Raw` e -> [`Raw` `Line`] -> `Raw` `TryExcept` -> `Raw` `TryExcept` (someTryStatement :: `Raw` `TryExcept`) `&` `except_` [`line_` `pass_`] (someTryStatement :: `Raw` `TryExcept`) `&` `exceptAs_` (`var_` "Exception" ``as_`` `id_` "b") [`line_` `pass_`]
Instance details Defined in Language.Python.DSL Methods except_ :: [Raw Line] -> Raw TryExcept -> Raw TryExcept Source # exceptAs_ :: AsExceptAs e => Raw e -> [Raw Line] -> Raw TryExcept -> Raw TryExcept Source #
FinallySyntax (Raw TryExcept) TryExcept Source #	`>>>` `tryE_ [line_ pass_] & finally_ [line_ pass_]`try: pass finally: pass `>>>` `tryF_ [line_ pass_] [line_ (a .+= 1)] & finally_ [line_ pass_]`try: pass finally: pass `>>>` `tryF_ [line_ pass_] & finally_ [line_ pass_]`try: pass finally: pass
Instance details Defined in Language.Python.DSL Methods finally_ :: [Raw Line] -> Raw TryExcept -> Raw TryExcept Source #
Eq a => Eq (TryExcept v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: TryExcept v a -> TryExcept v a -> Bool # (/=) :: TryExcept v a -> TryExcept v a -> Bool #
Show a => Show (TryExcept v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> TryExcept v a -> ShowS # show :: TryExcept v a -> String # showList :: [TryExcept v a] -> ShowS #
Generic (TryExcept v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (TryExcept v a) :: Type -> Type # Methods from :: TryExcept v a -> Rep (TryExcept v a) x # to :: Rep (TryExcept v a) x -> TryExcept v a #
HasIndents (TryExcept ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (TryExcept [] a) (Indents a) Source #
type Rep (TryExcept v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (TryExcept v a) = D1 (MetaData "TryExcept" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkTryExcept" PrefixI True) ((S1 (MetaSel (Just "_teAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_teIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_teTry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))) :: ((S1 (MetaSel (Just "_teBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :: S1 (MetaSel (Just "_teExcepts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Except v a)))) :: (S1 (MetaSel (Just "_teElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Else v a))) :: S1 (MetaSel (Just "_teFinally") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Finally v a)))))))

Lenses

teAnn :: forall v a. Lens' (TryExcept v a) (Ann a) Source #

teIndents :: forall v a. Lens' (TryExcept v a) (Indents a) Source #

teTry :: forall v a. Lens' (TryExcept v a) [Whitespace] Source #

teBody :: forall v a. Lens' (TryExcept v a) (Suite v a) Source #

teExcepts :: forall v a. Lens' (TryExcept v a) (NonEmpty (Except v a)) Source #

teElse :: forall v a. Lens' (TryExcept v a) (Maybe (Else v a)) Source #

teFinally :: forall v a. Lens' (TryExcept v a) (Maybe (Finally v a)) Source #

`except`

data Except v a Source #

Constructors

MkExcept
Fields _exceptIndents :: Indents a _exceptExcept :: [Whitespace] _exceptExceptAs :: Maybe (ExceptAs v a) _exceptBody :: Suite v a

Instances

Functor (Except v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Except v a -> Except v b # (<$) :: a -> Except v b -> Except v a #
Foldable (Except v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Except v m -> m # foldMap :: Monoid m => (a -> m) -> Except v a -> m # foldr :: (a -> b -> b) -> b -> Except v a -> b # foldr' :: (a -> b -> b) -> b -> Except v a -> b # foldl :: (b -> a -> b) -> b -> Except v a -> b # foldl' :: (b -> a -> b) -> b -> Except v a -> b # foldr1 :: (a -> a -> a) -> Except v a -> a # foldl1 :: (a -> a -> a) -> Except v a -> a # toList :: Except v a -> [a] # null :: Except v a -> Bool # length :: Except v a -> Int # elem :: Eq a => a -> Except v a -> Bool # maximum :: Ord a => Except v a -> a # minimum :: Ord a => Except v a -> a # sum :: Num a => Except v a -> a # product :: Num a => Except v a -> a #
Traversable (Except v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Except v a -> f (Except v b) # sequenceA :: Applicative f => Except v (f a) -> f (Except v a) # mapM :: Monad m => (a -> m b) -> Except v a -> m (Except v b) # sequence :: Monad m => Except v (m a) -> m (Except v a) #
Eq a => Eq (Except v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Except v a -> Except v a -> Bool # (/=) :: Except v a -> Except v a -> Bool #
Show a => Show (Except v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Except v a -> ShowS # show :: Except v a -> String # showList :: [Except v a] -> ShowS #
Generic (Except v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Except v a) :: Type -> Type # Methods from :: Except v a -> Rep (Except v a) x # to :: Rep (Except v a) x -> Except v a #
HasIndents (Except ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (Except [] a) (Indents a) Source #
type Rep (Except v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Except v a) = D1 (MetaData "Except" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkExcept" PrefixI True) ((S1 (MetaSel (Just "_exceptIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_exceptExcept") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Just "_exceptExceptAs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (ExceptAs v a))) :*: S1 (MetaSel (Just "_exceptBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))

Lenses

exceptIndents :: forall v a. Lens' (Except v a) (Indents a) Source #

exceptExcept :: forall v a. Lens' (Except v a) [Whitespace] Source #

exceptExceptAs :: forall v a. Lens' (Except v a) (Maybe (ExceptAs v a)) Source #

exceptBody :: forall v a. Lens' (Except v a) (Suite v a) Source #

`try ... finally`

data TryFinally v a Source #

Constructors

MkTryFinally
Fields _tfAnn :: Ann a _tfIndents :: Indents a _tfTry :: [Whitespace] _tfBody :: Suite v a _tfFinally :: Finally v a

Instances

HasTryFinally TryFinally Source #
Instance details Defined in Language.Python.Optics Methods _TryFinally :: Prism (TryFinally v a) (TryFinally [] a) (TryFinally v a) (TryFinally [] a) Source #
BodySyntax TryFinally Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw TryFinally -> f (Raw TryFinally) Source # body :: Lens' (Raw TryFinally) (Raw Suite) Source #
AsLine TryFinally Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw TryFinally -> Raw Line Source #
Functor (TryFinally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> TryFinally v a -> TryFinally v b # (<$) :: a -> TryFinally v b -> TryFinally v a #
Foldable (TryFinally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => TryFinally v m -> m # foldMap :: Monoid m => (a -> m) -> TryFinally v a -> m # foldr :: (a -> b -> b) -> b -> TryFinally v a -> b # foldr' :: (a -> b -> b) -> b -> TryFinally v a -> b # foldl :: (b -> a -> b) -> b -> TryFinally v a -> b # foldl' :: (b -> a -> b) -> b -> TryFinally v a -> b # foldr1 :: (a -> a -> a) -> TryFinally v a -> a # foldl1 :: (a -> a -> a) -> TryFinally v a -> a # toList :: TryFinally v a -> [a] # null :: TryFinally v a -> Bool # length :: TryFinally v a -> Int # elem :: Eq a => a -> TryFinally v a -> Bool # maximum :: Ord a => TryFinally v a -> a # minimum :: Ord a => TryFinally v a -> a # sum :: Num a => TryFinally v a -> a # product :: Num a => TryFinally v a -> a #
Traversable (TryFinally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> TryFinally v a -> f (TryFinally v b) # sequenceA :: Applicative f => TryFinally v (f a) -> f (TryFinally v a) # mapM :: Monad m => (a -> m b) -> TryFinally v a -> m (TryFinally v b) # sequence :: Monad m => TryFinally v (m a) -> m (TryFinally v a) #
HasAnn (TryFinally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (TryFinally v a) (Ann a) Source #
ExceptSyntax (Raw TryFinally) Source #	`except_` :: [`Raw` `Line`] -> `Raw` `TryFinally` -> `Raw` `TryExcept` `exceptAs_` :: AsExceptAs => `Raw` e -> [`Raw` `Line`] -> `Raw` `TryFinally` -> `Raw` `TryExcept` (someTryStatement :: `Raw` `TryFinally`) `&` `except_` [`line_` `pass_`] (someTryStatement :: `Raw` `TryFinally`) `&` `exceptAs_` (`var_` "Exception" ``as_`` `id_` "b") [`line_` `pass_`]
Instance details Defined in Language.Python.DSL Methods except_ :: [Raw Line] -> Raw TryFinally -> Raw TryExcept Source # exceptAs_ :: AsExceptAs e => Raw e -> [Raw Line] -> Raw TryFinally -> Raw TryExcept Source #
FinallySyntax (Raw TryFinally) TryFinally Source #
Instance details Defined in Language.Python.DSL Methods finally_ :: [Raw Line] -> Raw TryFinally -> Raw TryFinally Source #
Eq a => Eq (TryFinally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: TryFinally v a -> TryFinally v a -> Bool # (/=) :: TryFinally v a -> TryFinally v a -> Bool #
Show a => Show (TryFinally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> TryFinally v a -> ShowS # show :: TryFinally v a -> String # showList :: [TryFinally v a] -> ShowS #
Generic (TryFinally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (TryFinally v a) :: Type -> Type # Methods from :: TryFinally v a -> Rep (TryFinally v a) x # to :: Rep (TryFinally v a) x -> TryFinally v a #
HasIndents (TryFinally ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (TryFinally [] a) (Indents a) Source #
(a ~ [Raw Line], b ~ Raw TryFinally) => FinallySyntax (a -> b) TryFinally Source #
Instance details Defined in Language.Python.DSL Methods finally_ :: [Raw Line] -> (a -> b) -> Raw TryFinally Source #
type Rep (TryFinally v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (TryFinally v a) = D1 (MetaData "TryFinally" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkTryFinally" PrefixI True) ((S1 (MetaSel (Just "_tfAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_tfIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a))) :: (S1 (MetaSel (Just "_tfTry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: (S1 (MetaSel (Just "_tfBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)) :: S1 (MetaSel (Just "_tfFinally") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Finally v a))))))

Lenses

tfAnn :: forall v a. Lens' (TryFinally v a) (Ann a) Source #

tfIndents :: forall v a. Lens' (TryFinally v a) (Indents a) Source #

tfTry :: forall v a. Lens' (TryFinally v a) [Whitespace] Source #

tfBody :: forall v a. Lens' (TryFinally v a) (Suite v a) Source #

tfFinally :: forall v a. Lens' (TryFinally v a) (Finally v a) Source #

`finally`

data Finally v a Source #

Constructors

MkFinally
Fields _finallyIndents :: Indents a _finallyFinally :: [Whitespace] _finallyBody :: Suite v a

Instances

Functor (Finally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Finally v a -> Finally v b # (<$) :: a -> Finally v b -> Finally v a #
Foldable (Finally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Finally v m -> m # foldMap :: Monoid m => (a -> m) -> Finally v a -> m # foldr :: (a -> b -> b) -> b -> Finally v a -> b # foldr' :: (a -> b -> b) -> b -> Finally v a -> b # foldl :: (b -> a -> b) -> b -> Finally v a -> b # foldl' :: (b -> a -> b) -> b -> Finally v a -> b # foldr1 :: (a -> a -> a) -> Finally v a -> a # foldl1 :: (a -> a -> a) -> Finally v a -> a # toList :: Finally v a -> [a] # null :: Finally v a -> Bool # length :: Finally v a -> Int # elem :: Eq a => a -> Finally v a -> Bool # maximum :: Ord a => Finally v a -> a # minimum :: Ord a => Finally v a -> a # sum :: Num a => Finally v a -> a # product :: Num a => Finally v a -> a #
Traversable (Finally v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Finally v a -> f (Finally v b) # sequenceA :: Applicative f => Finally v (f a) -> f (Finally v a) # mapM :: Monad m => (a -> m b) -> Finally v a -> m (Finally v b) # sequence :: Monad m => Finally v (m a) -> m (Finally v a) #
Eq a => Eq (Finally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Finally v a -> Finally v a -> Bool # (/=) :: Finally v a -> Finally v a -> Bool #
Show a => Show (Finally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Finally v a -> ShowS # show :: Finally v a -> String # showList :: [Finally v a] -> ShowS #
Generic (Finally v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Finally v a) :: Type -> Type # Methods from :: Finally v a -> Rep (Finally v a) x # to :: Rep (Finally v a) x -> Finally v a #
HasIndents (Finally ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (Finally [] a) (Indents a) Source #
type Rep (Finally v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Finally v a) = D1 (MetaData "Finally" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkFinally" PrefixI True) (S1 (MetaSel (Just "_finallyIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: (S1 (MetaSel (Just "_finallyFinally") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: S1 (MetaSel (Just "_finallyBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))

Lenses

finallyIndents :: forall v a. Lens' (Finally v a) (Indents a) Source #

finallyFinally :: forall v a. Lens' (Finally v a) [Whitespace] Source #

finallyBody :: forall v a v. Lens (Finally v a) (Finally v a) (Suite v a) (Suite v a) Source #

`with` statements

data With v a Source #

Constructors

MkWith
Fields _withAnn :: Ann a _withIndents :: Indents a _withAsync :: Maybe (NonEmpty Whitespace) _withWith :: [Whitespace] _withItems :: CommaSep1 (WithItem v a) _withBody :: Suite v a

Instances

HasWith With Source #
Instance details Defined in Language.Python.Optics Methods _With :: Prism (With v a) (With [] a) (With v a) (With [] a) Source #
AsyncSyntax With Source #
Instance details Defined in Language.Python.DSL Methods async_ :: Raw With -> Raw With Source #
BodySyntax With Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw With -> f (Raw With) Source # body :: Lens' (Raw With) (Raw Suite) Source #
AsLine With Source #
Instance details Defined in Language.Python.DSL Methods line_ :: Raw With -> Raw Line Source #
Functor (With v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> With v a -> With v b # (<$) :: a -> With v b -> With v a #
Foldable (With v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => With v m -> m # foldMap :: Monoid m => (a -> m) -> With v a -> m # foldr :: (a -> b -> b) -> b -> With v a -> b # foldr' :: (a -> b -> b) -> b -> With v a -> b # foldl :: (b -> a -> b) -> b -> With v a -> b # foldl' :: (b -> a -> b) -> b -> With v a -> b # foldr1 :: (a -> a -> a) -> With v a -> a # foldl1 :: (a -> a -> a) -> With v a -> a # toList :: With v a -> [a] # null :: With v a -> Bool # length :: With v a -> Int # elem :: Eq a => a -> With v a -> Bool # maximum :: Ord a => With v a -> a # minimum :: Ord a => With v a -> a # sum :: Num a => With v a -> a # product :: Num a => With v a -> a #
Traversable (With v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> With v a -> f (With v b) # sequenceA :: Applicative f => With v (f a) -> f (With v a) # mapM :: Monad m => (a -> m b) -> With v a -> m (With v b) # sequence :: Monad m => With v (m a) -> m (With v a) #
HasAnn (With v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (With v a) (Ann a) Source #
Eq a => Eq (With v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: With v a -> With v a -> Bool # (/=) :: With v a -> With v a -> Bool #
Show a => Show (With v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> With v a -> ShowS # show :: With v a -> String # showList :: [With v a] -> ShowS #
Generic (With v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (With v a) :: Type -> Type # Methods from :: With v a -> Rep (With v a) x # to :: Rep (With v a) x -> With v a #
HasIndents (With ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (With [] a) (Indents a) Source #
type Rep (With v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (With v a) = D1 (MetaData "With" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkWith" PrefixI True) ((S1 (MetaSel (Just "_withAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_withIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: S1 (MetaSel (Just "_withAsync") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace))))) :: (S1 (MetaSel (Just "_withWith") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: (S1 (MetaSel (Just "_withItems") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (WithItem v a))) :*: S1 (MetaSel (Just "_withBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a))))))

Lenses

withAnn :: forall v a. Lens' (With v a) (Ann a) Source #

withIndents :: forall v a. Lens' (With v a) (Indents a) Source #

withAsync :: forall v a. Lens' (With v a) (Maybe (NonEmpty Whitespace)) Source #

withWith :: forall v a. Lens' (With v a) [Whitespace] Source #

withItems :: forall v a. Lens' (With v a) (CommaSep1 (WithItem v a)) Source #

withBody :: forall v a. Lens' (With v a) (Suite v a) Source #

`else`

data Else v a Source #

Constructors

MkElse
Fields _elseIndents :: Indents a _elseElse :: [Whitespace] _elseBody :: Suite v a

Instances

BodySyntax Else Source #
Instance details Defined in Language.Python.DSL Methods body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Else -> f (Raw Else) Source # body :: Lens' (Raw Else) (Raw Suite) Source #
Functor (Else v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Else v a -> Else v b # (<$) :: a -> Else v b -> Else v a #
Foldable (Else v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Else v m -> m # foldMap :: Monoid m => (a -> m) -> Else v a -> m # foldr :: (a -> b -> b) -> b -> Else v a -> b # foldr' :: (a -> b -> b) -> b -> Else v a -> b # foldl :: (b -> a -> b) -> b -> Else v a -> b # foldl' :: (b -> a -> b) -> b -> Else v a -> b # foldr1 :: (a -> a -> a) -> Else v a -> a # foldl1 :: (a -> a -> a) -> Else v a -> a # toList :: Else v a -> [a] # null :: Else v a -> Bool # length :: Else v a -> Int # elem :: Eq a => a -> Else v a -> Bool # maximum :: Ord a => Else v a -> a # minimum :: Ord a => Else v a -> a # sum :: Num a => Else v a -> a # product :: Num a => Else v a -> a #
Traversable (Else v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Else v a -> f (Else v b) # sequenceA :: Applicative f => Else v (f a) -> f (Else v a) # mapM :: Monad m => (a -> m b) -> Else v a -> m (Else v b) # sequence :: Monad m => Else v (m a) -> m (Else v a) #
Eq a => Eq (Else v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Else v a -> Else v a -> Bool # (/=) :: Else v a -> Else v a -> Bool #
Show a => Show (Else v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Else v a -> ShowS # show :: Else v a -> String # showList :: [Else v a] -> ShowS #
Generic (Else v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Else v a) :: Type -> Type # Methods from :: Else v a -> Rep (Else v a) x # to :: Rep (Else v a) x -> Else v a #
HasIndents (Else ([] :: [Type]) a) a Source #
Instance details Defined in Language.Python.Optics.Indents Methods _Indents :: Traversal' (Else [] a) (Indents a) Source #
type Rep (Else v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Else v a) = D1 (MetaData "Else" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkElse" PrefixI True) (S1 (MetaSel (Just "_elseIndents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Indents a)) :: (S1 (MetaSel (Just "_elseElse") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: S1 (MetaSel (Just "_elseBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Suite v a)))))

Lenses

elseIndents :: forall v a. Lens' (Else v a) (Indents a) Source #

elseElse :: forall v a. Lens' (Else v a) [Whitespace] Source #

elseBody :: forall v a v. Lens (Else v a) (Else v a) (Suite v a) (Suite v a) Source #

Expressions

`None`

data None (v :: [*]) a Source #

Constructors

MkNone
Fields _noneAnn :: Ann a _noneWhitespace :: [Whitespace]

Instances

Functor (None v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> None v a -> None v b # (<$) :: a -> None v b -> None v a #
Foldable (None v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => None v m -> m # foldMap :: Monoid m => (a -> m) -> None v a -> m # foldr :: (a -> b -> b) -> b -> None v a -> b # foldr' :: (a -> b -> b) -> b -> None v a -> b # foldl :: (b -> a -> b) -> b -> None v a -> b # foldl' :: (b -> a -> b) -> b -> None v a -> b # foldr1 :: (a -> a -> a) -> None v a -> a # foldl1 :: (a -> a -> a) -> None v a -> a # toList :: None v a -> [a] # null :: None v a -> Bool # length :: None v a -> Int # elem :: Eq a => a -> None v a -> Bool # maximum :: Ord a => None v a -> a # minimum :: Ord a => None v a -> a # sum :: Num a => None v a -> a # product :: Num a => None v a -> a #
Traversable (None v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> None v a -> f (None v b) # sequenceA :: Applicative f => None v (f a) -> f (None v a) # mapM :: Monad m => (a -> m b) -> None v a -> m (None v b) # sequence :: Monad m => None v (m a) -> m (None v a) #
HasAnn (None v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (None v a) (Ann a) Source #
Eq a => Eq (None v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: None v a -> None v a -> Bool # (/=) :: None v a -> None v a -> Bool #
Show a => Show (None v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> None v a -> ShowS # show :: None v a -> String # showList :: [None v a] -> ShowS #
Generic (None v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (None v a) :: Type -> Type # Methods from :: None v a -> Rep (None v a) x # to :: Rep (None v a) x -> None v a #
type Rep (None v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (None v a) = D1 (MetaData "None" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkNone" PrefixI True) (S1 (MetaSel (Just "_noneAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Just "_noneWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])))

Lenses

noneAnn :: forall v a v a. Lens (None v a) (None v a) (Ann a) (Ann a) Source #

noneWhitespace :: forall v a v. Lens (None v a) (None v a) [Whitespace] [Whitespace] Source #

Function calls

data Call v a Source #

Constructors

MkCall
Fields _callAnn :: Ann a _callFunction :: Expr v a _callLeftParen :: [Whitespace] _callArguments :: Maybe (CommaSep1' (Arg v a)) _callRightParen :: [Whitespace]

Instances

ArgumentsSyntax Call Source #
Instance details Defined in Language.Python.DSL Methods setArguments :: [Raw Arg] -> Raw Call -> Raw Call Source # getArguments :: Raw Call -> [Raw Arg] Source #
Functor (Call v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Call v a -> Call v b # (<$) :: a -> Call v b -> Call v a #
Foldable (Call v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Call v m -> m # foldMap :: Monoid m => (a -> m) -> Call v a -> m # foldr :: (a -> b -> b) -> b -> Call v a -> b # foldr' :: (a -> b -> b) -> b -> Call v a -> b # foldl :: (b -> a -> b) -> b -> Call v a -> b # foldl' :: (b -> a -> b) -> b -> Call v a -> b # foldr1 :: (a -> a -> a) -> Call v a -> a # foldl1 :: (a -> a -> a) -> Call v a -> a # toList :: Call v a -> [a] # null :: Call v a -> Bool # length :: Call v a -> Int # elem :: Eq a => a -> Call v a -> Bool # maximum :: Ord a => Call v a -> a # minimum :: Ord a => Call v a -> a # sum :: Num a => Call v a -> a # product :: Num a => Call v a -> a #
Traversable (Call v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Call v a -> f (Call v b) # sequenceA :: Applicative f => Call v (f a) -> f (Call v a) # mapM :: Monad m => (a -> m b) -> Call v a -> m (Call v b) # sequence :: Monad m => Call v (m a) -> m (Call v a) #
HasAnn (Call v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (Call v a) (Ann a) Source #
Eq a => Eq (Call v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Call v a -> Call v a -> Bool # (/=) :: Call v a -> Call v a -> Bool #
Show a => Show (Call v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Call v a -> ShowS # show :: Call v a -> String # showList :: [Call v a] -> ShowS #
Generic (Call v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Call v a) :: Type -> Type # Methods from :: Call v a -> Rep (Call v a) x # to :: Rep (Call v a) x -> Call v a #
type Rep (Call v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Call v a) = D1 (MetaData "Call" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkCall" PrefixI True) ((S1 (MetaSel (Just "_callAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_callFunction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a))) :: (S1 (MetaSel (Just "_callLeftParen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :: (S1 (MetaSel (Just "_callArguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (CommaSep1' (Arg v a)))) :: S1 (MetaSel (Just "_callRightParen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])))))

Lenses

callAnn :: forall v a. Lens' (Call v a) (Ann a) Source #

callFunction :: forall v a. Lens' (Call v a) (Expr v a) Source #

callLeftParen :: forall v a. Lens' (Call v a) [Whitespace] Source #

callArguments :: forall v a. Lens' (Call v a) (Maybe (CommaSep1' (Arg v a))) Source #

callRightParen :: forall v a. Lens' (Call v a) [Whitespace] Source #

Tuples

data Tuple v a Source #

Constructors

MkTuple
Fields _tupleAnn :: Ann a _tupleHead :: TupleItem v a _tupleComma :: Comma _tupleTail :: Maybe (CommaSep1' (TupleItem v a))

Instances

Functor (Tuple v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> Tuple v a -> Tuple v b # (<$) :: a -> Tuple v b -> Tuple v a #
Foldable (Tuple v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => Tuple v m -> m # foldMap :: Monoid m => (a -> m) -> Tuple v a -> m # foldr :: (a -> b -> b) -> b -> Tuple v a -> b # foldr' :: (a -> b -> b) -> b -> Tuple v a -> b # foldl :: (b -> a -> b) -> b -> Tuple v a -> b # foldl' :: (b -> a -> b) -> b -> Tuple v a -> b # foldr1 :: (a -> a -> a) -> Tuple v a -> a # foldl1 :: (a -> a -> a) -> Tuple v a -> a # toList :: Tuple v a -> [a] # null :: Tuple v a -> Bool # length :: Tuple v a -> Int # elem :: Eq a => a -> Tuple v a -> Bool # maximum :: Ord a => Tuple v a -> a # minimum :: Ord a => Tuple v a -> a # sum :: Num a => Tuple v a -> a # product :: Num a => Tuple v a -> a #
Traversable (Tuple v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> Tuple v a -> f (Tuple v b) # sequenceA :: Applicative f => Tuple v (f a) -> f (Tuple v a) # mapM :: Monad m => (a -> m b) -> Tuple v a -> m (Tuple v b) # sequence :: Monad m => Tuple v (m a) -> m (Tuple v a) #
HasAnn (Tuple v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (Tuple v a) (Ann a) Source #
Eq a => Eq (Tuple v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: Tuple v a -> Tuple v a -> Bool # (/=) :: Tuple v a -> Tuple v a -> Bool #
Show a => Show (Tuple v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> Tuple v a -> ShowS # show :: Tuple v a -> String # showList :: [Tuple v a] -> ShowS #
Generic (Tuple v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (Tuple v a) :: Type -> Type # Methods from :: Tuple v a -> Rep (Tuple v a) x # to :: Rep (Tuple v a) x -> Tuple v a #
type Rep (Tuple v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (Tuple v a) = D1 (MetaData "Tuple" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkTuple" PrefixI True) ((S1 (MetaSel (Just "_tupleAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_tupleHead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TupleItem v a))) :: (S1 (MetaSel (Just "_tupleComma") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comma) :*: S1 (MetaSel (Just "_tupleTail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (CommaSep1' (TupleItem v a)))))))

Lenses

tupleAnn :: forall v a. Lens' (Tuple v a) (Ann a) Source #

tupleHead :: forall v a. Lens' (Tuple v a) (TupleItem v a) Source #

tupleComma :: forall v a. Lens' (Tuple v a) Comma Source #

tupleTail :: forall v a. Lens' (Tuple v a) (Maybe (CommaSep1' (TupleItem v a))) Source #

Tuple items

Unpacking

data TupleUnpack v a Source #

Constructors

MkTupleUnpack
Fields _tupleUnpackAnn :: Ann a _tupleUnpackParens :: [([Whitespace], [Whitespace])] _tupleUnpackWhitespace :: [Whitespace] _tupleUnpackValue :: Expr v a

Instances

Functor (TupleUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> TupleUnpack v a -> TupleUnpack v b # (<$) :: a -> TupleUnpack v b -> TupleUnpack v a #
Foldable (TupleUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => TupleUnpack v m -> m # foldMap :: Monoid m => (a -> m) -> TupleUnpack v a -> m # foldr :: (a -> b -> b) -> b -> TupleUnpack v a -> b # foldr' :: (a -> b -> b) -> b -> TupleUnpack v a -> b # foldl :: (b -> a -> b) -> b -> TupleUnpack v a -> b # foldl' :: (b -> a -> b) -> b -> TupleUnpack v a -> b # foldr1 :: (a -> a -> a) -> TupleUnpack v a -> a # foldl1 :: (a -> a -> a) -> TupleUnpack v a -> a # toList :: TupleUnpack v a -> [a] # null :: TupleUnpack v a -> Bool # length :: TupleUnpack v a -> Int # elem :: Eq a => a -> TupleUnpack v a -> Bool # maximum :: Ord a => TupleUnpack v a -> a # minimum :: Ord a => TupleUnpack v a -> a # sum :: Num a => TupleUnpack v a -> a # product :: Num a => TupleUnpack v a -> a #
Traversable (TupleUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> TupleUnpack v a -> f (TupleUnpack v b) # sequenceA :: Applicative f => TupleUnpack v (f a) -> f (TupleUnpack v a) # mapM :: Monad m => (a -> m b) -> TupleUnpack v a -> m (TupleUnpack v b) # sequence :: Monad m => TupleUnpack v (m a) -> m (TupleUnpack v a) #
HasAnn (TupleUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (TupleUnpack v a) (Ann a) Source #
Eq a => Eq (TupleUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: TupleUnpack v a -> TupleUnpack v a -> Bool # (/=) :: TupleUnpack v a -> TupleUnpack v a -> Bool #
Show a => Show (TupleUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> TupleUnpack v a -> ShowS # show :: TupleUnpack v a -> String # showList :: [TupleUnpack v a] -> ShowS #
Generic (TupleUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (TupleUnpack v a) :: Type -> Type # Methods from :: TupleUnpack v a -> Rep (TupleUnpack v a) x # to :: Rep (TupleUnpack v a) x -> TupleUnpack v a #
type Rep (TupleUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (TupleUnpack v a) = D1 (MetaData "TupleUnpack" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkTupleUnpack" PrefixI True) ((S1 (MetaSel (Just "_tupleUnpackAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_tupleUnpackParens") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Whitespace], [Whitespace])])) :: (S1 (MetaSel (Just "_tupleUnpackWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Just "_tupleUnpackValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)))))

Lenses

tupleUnpackAnn :: forall v a. Lens' (TupleUnpack v a) (Ann a) Source #

tupleUnpackParens :: forall v a. Lens' (TupleUnpack v a) [([Whitespace], [Whitespace])] Source #

tupleUnpackWhitespace :: forall v a. Lens' (TupleUnpack v a) [Whitespace] Source #

tupleUnpackValue :: forall v a v. Lens (TupleUnpack v a) (TupleUnpack v a) (Expr v a) (Expr v a) Source #

Lists

data List v a Source #

Constructors

MkList
Fields _listAnn :: Ann a _listWhitespaceLeft :: [Whitespace] _listBody :: Maybe (CommaSep1' (ListItem v a)) _listWhitespaceRight :: [Whitespace]

Instances

Functor (List v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> List v a -> List v b # (<$) :: a -> List v b -> List v a #
Foldable (List v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => List v m -> m # foldMap :: Monoid m => (a -> m) -> List v a -> m # foldr :: (a -> b -> b) -> b -> List v a -> b # foldr' :: (a -> b -> b) -> b -> List v a -> b # foldl :: (b -> a -> b) -> b -> List v a -> b # foldl' :: (b -> a -> b) -> b -> List v a -> b # foldr1 :: (a -> a -> a) -> List v a -> a # foldl1 :: (a -> a -> a) -> List v a -> a # toList :: List v a -> [a] # null :: List v a -> Bool # length :: List v a -> Int # elem :: Eq a => a -> List v a -> Bool # maximum :: Ord a => List v a -> a # minimum :: Ord a => List v a -> a # sum :: Num a => List v a -> a # product :: Num a => List v a -> a #
Traversable (List v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> List v a -> f (List v b) # sequenceA :: Applicative f => List v (f a) -> f (List v a) # mapM :: Monad m => (a -> m b) -> List v a -> m (List v b) # sequence :: Monad m => List v (m a) -> m (List v a) #
HasAnn (List v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (List v a) (Ann a) Source #
Eq a => Eq (List v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: List v a -> List v a -> Bool # (/=) :: List v a -> List v a -> Bool #
Show a => Show (List v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> List v a -> ShowS # show :: List v a -> String # showList :: [List v a] -> ShowS #
Generic (List v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (List v a) :: Type -> Type # Methods from :: List v a -> Rep (List v a) x # to :: Rep (List v a) x -> List v a #
type Rep (List v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (List v a) = D1 (MetaData "List" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkList" PrefixI True) ((S1 (MetaSel (Just "_listAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_listWhitespaceLeft") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Just "_listBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (CommaSep1' (ListItem v a)))) :*: S1 (MetaSel (Just "_listWhitespaceRight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))))

Lenses

listAnn :: forall v a. Lens' (List v a) (Ann a) Source #

listWhitespaceLeft :: forall v a. Lens' (List v a) [Whitespace] Source #

listBody :: forall v a v. Lens (List v a) (List v a) (Maybe (CommaSep1' (ListItem v a))) (Maybe (CommaSep1' (ListItem v a))) Source #

listWhitespaceRight :: forall v a. Lens' (List v a) [Whitespace] Source #

List items

Unpacking

data ListUnpack v a Source #

Constructors

MkListUnpack
Fields _listUnpackAnn :: Ann a _listUnpackParens :: [([Whitespace], [Whitespace])] _listUnpackWhitespace :: [Whitespace] _listUnpackValue :: Expr v a

Instances

Functor (ListUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fmap :: (a -> b) -> ListUnpack v a -> ListUnpack v b # (<$) :: a -> ListUnpack v b -> ListUnpack v a #
Foldable (ListUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods fold :: Monoid m => ListUnpack v m -> m # foldMap :: Monoid m => (a -> m) -> ListUnpack v a -> m # foldr :: (a -> b -> b) -> b -> ListUnpack v a -> b # foldr' :: (a -> b -> b) -> b -> ListUnpack v a -> b # foldl :: (b -> a -> b) -> b -> ListUnpack v a -> b # foldl' :: (b -> a -> b) -> b -> ListUnpack v a -> b # foldr1 :: (a -> a -> a) -> ListUnpack v a -> a # foldl1 :: (a -> a -> a) -> ListUnpack v a -> a # toList :: ListUnpack v a -> [a] # null :: ListUnpack v a -> Bool # length :: ListUnpack v a -> Int # elem :: Eq a => a -> ListUnpack v a -> Bool # maximum :: Ord a => ListUnpack v a -> a # minimum :: Ord a => ListUnpack v a -> a # sum :: Num a => ListUnpack v a -> a # product :: Num a => ListUnpack v a -> a #
Traversable (ListUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods traverse :: Applicative f => (a -> f b) -> ListUnpack v a -> f (ListUnpack v b) # sequenceA :: Applicative f => ListUnpack v (f a) -> f (ListUnpack v a) # mapM :: Monad m => (a -> m b) -> ListUnpack v a -> m (ListUnpack v b) # sequence :: Monad m => ListUnpack v (m a) -> m (ListUnpack v a) #
HasAnn (ListUnpack v) Source #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Lens' (ListUnpack v a) (Ann a) Source #
Eq a => Eq (ListUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods (==) :: ListUnpack v a -> ListUnpack v a -> Bool # (/=) :: ListUnpack v a -> ListUnpack v a -> Bool #
Show a => Show (ListUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Methods showsPrec :: Int -> ListUnpack v a -> ShowS # show :: ListUnpack v a -> String # showList :: [ListUnpack v a] -> ShowS #
Generic (ListUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types Associated Types type Rep (ListUnpack v a) :: Type -> Type # Methods from :: ListUnpack v a -> Rep (ListUnpack v a) x # to :: Rep (ListUnpack v a) x -> ListUnpack v a #
type Rep (ListUnpack v a) Source #
Instance details Defined in Language.Python.Syntax.Types type Rep (ListUnpack v a) = D1 (MetaData "ListUnpack" "Language.Python.Syntax.Types" "hpython-0.3-inplace" False) (C1 (MetaCons "MkListUnpack" PrefixI True) ((S1 (MetaSel (Just "_listUnpackAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_listUnpackParens") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Whitespace], [Whitespace])])) :: (S1 (MetaSel (Just "_listUnpackWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]) :*: S1 (MetaSel (Just "_listUnpackValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr v a)))))

Lenses

listUnpackAnn :: forall v a. Lens' (ListUnpack v a) (Ann a) Source #

listUnpackParens :: forall v a. Lens' (ListUnpack v a) [([Whitespace], [Whitespace])] Source #

listUnpackWhitespace :: forall v a. Lens' (ListUnpack v a) [Whitespace] Source #

listUnpackValue :: forall v a v. Lens (ListUnpack v a) (ListUnpack v a) (Expr v a) (Expr v a) Source #

Parameters

Positional parameters

Lenses

Starred Parameters

Lenses

Unnamed Starred Parameters

Lenses

Keyword parameters

Lenses

Compound statements

Function definitions

Lenses

Class definitions

Lenses

if statements

Lenses

elif

Lenses

for statements

Lenses

while statements

Lenses

try ... except ... else ... finally

Lenses

except

Lenses

try ... finally

Lenses

finally

Lenses

with statements

Lenses

else

Lenses

Expressions

None

Lenses

Function calls

Lenses

Tuples

Lenses

Tuple items

Unpacking

Lenses

Lists

Lenses

List items

Unpacking

Lenses

`if` statements

`elif`

`for` statements

`while` statements

`try ... except ... else ... finally`

`except`

`try ... finally`

`finally`

`with` statements

`else`

`None`