Language.Python.Syntax.Types

Datatypes for different parts of Python syntax

Parameters

Positional parameters

data PositionalParam v a

Constructors

MkPositionalParam

Fields

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

Instances

Functor (PositionalParam v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (PositionalParam v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (PositionalParam v a) = D1 (MetaData "PositionalParam" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

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

Starred Parameters

data StarParam v a

Constructors

MkStarParam

Fields

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

Instances

Functor (StarParam v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (StarParam v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (StarParam v a) = D1 (MetaData "StarParam" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

Unnamed Starred Parameters

data UnnamedStarParam (v :: [*]) a

Constructors

MkUnnamedStarParam

Fields

• _uspAnn :: Ann a
• _uspWhitespace :: [Whitespace]

Instances

Functor (UnnamedStarParam v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (UnnamedStarParam v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (UnnamedStarParam v a) = D1 (MetaData "UnnamedStarParam" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

Keyword parameters

data KeywordParam v a

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)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (KeywordParam v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (KeywordParam v a) = D1 (MetaData "KeywordParam" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

Compound statements

Function definitions

data Fundef v a

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

Defined in Language.Python.Optics

Methods

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

AsyncSyntax Fundef

Defined in Language.Python.DSL

Methods

async_ :: Raw Fundef -> Raw Fundef

DecoratorsSyntax Fundef

Defined in Language.Python.DSL

Methods

setDecorators :: [Raw Expr] -> Raw Fundef -> Raw Fundef

getDecorators :: Raw Fundef -> [Raw Expr]

decorators :: Lens' (Raw Fundef) [Raw Decorator]

ParametersSyntax Fundef

Defined in Language.Python.DSL

Methods

parameters_ :: Functor f => ([Raw Param] -> f [Raw Param]) -> Raw Fundef -> f (Raw Fundef)

parameters :: Lens' (Raw Fundef) (CommaSep (Raw Param))

BodySyntax Fundef

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Fundef -> f (Raw Fundef)

body :: Lens' (Raw Fundef) (Raw Suite)

AsLine Fundef

Defined in Language.Python.DSL

Methods

line_ :: Raw Fundef -> Raw Line

Functor (Fundef v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (Fundef v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (Fundef v a)

Defined in Language.Python.Syntax.Types

type Rep (Fundef v a) = D1 (MetaData "Fundef" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

Class definitions

data ClassDef v a

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

Defined in Language.Python.Optics

Methods

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

DecoratorsSyntax ClassDef

Defined in Language.Python.DSL

Methods

setDecorators :: [Raw Expr] -> Raw ClassDef -> Raw ClassDef

getDecorators :: Raw ClassDef -> [Raw Expr]

decorators :: Lens' (Raw ClassDef) [Raw Decorator]

ArgumentsSyntax ClassDef

Defined in Language.Python.DSL

Methods

setArguments :: [Raw Arg] -> Raw ClassDef -> Raw ClassDef

getArguments :: Raw ClassDef -> [Raw Arg]

BodySyntax ClassDef

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw ClassDef -> f (Raw ClassDef)

body :: Lens' (Raw ClassDef) (Raw Suite)

AsLine ClassDef

Defined in Language.Python.DSL

Methods

line_ :: Raw ClassDef -> Raw Line

Functor (ClassDef v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (ClassDef v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (ClassDef v a)

Defined in Language.Python.Syntax.Types

type Rep (ClassDef v a) = D1 (MetaData "ClassDef" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

if statements

data If v a

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

Defined in Language.Python.Optics

Methods

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

ElseSyntax If

Defined in Language.Python.DSL

Methods

getElse :: Raw If -> Maybe (Raw Else)

setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw If -> Raw If

BodySyntax If

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw If -> f (Raw If)

body :: Lens' (Raw If) (Raw Suite)

AsLine If

Defined in Language.Python.DSL

Methods

line_ :: Raw If -> Raw Line

Functor (If v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (If v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (If v a)

Defined in Language.Python.Syntax.Types

type Rep (If v a) = D1 (MetaData "If" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

elif

data Elif v a

Constructors

MkElif

Fields

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

Instances

BodySyntax Elif

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Elif -> f (Raw Elif)

body :: Lens' (Raw Elif) (Raw Suite)

Functor (Elif v)

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)

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)

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)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (Elif v a)

Defined in Language.Python.Syntax.Types

type Rep (Elif v a) = D1 (MetaData "Elif" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

for statements

data For v a

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

Defined in Language.Python.Optics

Methods

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

AsyncSyntax For

Defined in Language.Python.DSL

Methods

async_ :: Raw For -> Raw For

ElseSyntax For

Defined in Language.Python.DSL

Methods

getElse :: Raw For -> Maybe (Raw Else)

setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw For -> Raw For

BodySyntax For

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw For -> f (Raw For)

body :: Lens' (Raw For) (Raw Suite)

AsLine For

Defined in Language.Python.DSL

Methods

line_ :: Raw For -> Raw Line

Functor (For v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (For v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (For v a)

Defined in Language.Python.Syntax.Types

type Rep (For v a) = D1 (MetaData "For" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

while statements

data While v a

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

Defined in Language.Python.Optics

Methods

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

ElseSyntax While

Defined in Language.Python.DSL

Methods

getElse :: Raw While -> Maybe (Raw Else)

setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw While -> Raw While

BodySyntax While

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw While -> f (Raw While)

body :: Lens' (Raw While) (Raw Suite)

AsLine While

Defined in Language.Python.DSL

Methods

line_ :: Raw While -> Raw Line

Functor (While v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (While v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (While v a)

Defined in Language.Python.Syntax.Types

type Rep (While v a) = D1 (MetaData "While" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

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

data TryExcept v a

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

Defined in Language.Python.Optics

Methods

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

ElseSyntax TryExcept

Defined in Language.Python.DSL

Methods

getElse :: Raw TryExcept -> Maybe (Raw Else)

setElse :: [Whitespace] -> Maybe (Raw Else) -> Raw TryExcept -> Raw TryExcept

BodySyntax TryExcept

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw TryExcept -> f (Raw TryExcept)

body :: Lens' (Raw TryExcept) (Raw Suite)

AsLine TryExcept

Defined in Language.Python.DSL

Methods

line_ :: Raw TryExcept -> Raw Line

Functor (TryExcept v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

ExceptSyntax (Raw TryExcept)

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_]

Defined in Language.Python.DSL

Methods

except_ :: [Raw Line] -> Raw TryExcept -> Raw TryExcept

exceptAs_ :: AsExceptAs e => Raw e -> [Raw Line] -> Raw TryExcept -> Raw TryExcept

FinallySyntax (Raw TryExcept) TryExcept

>>> 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

Defined in Language.Python.DSL

Methods

finally_ :: [Raw Line] -> Raw TryExcept -> Raw TryExcept

Eq a => Eq (TryExcept v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (TryExcept v a)

Defined in Language.Python.Syntax.Types

type Rep (TryExcept v a) = D1 (MetaData "TryExcept" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

except

data Except v a

Constructors

MkExcept

Fields

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

Instances

Functor (Except v)

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)

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)

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)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (Except v a)

Defined in Language.Python.Syntax.Types

type Rep (Except v a) = D1 (MetaData "Except" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

try ... finally

data TryFinally v a

Constructors

MkTryFinally

Fields

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

Instances

HasTryFinally TryFinally

Defined in Language.Python.Optics

Methods

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

BodySyntax TryFinally

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw TryFinally -> f (Raw TryFinally)

body :: Lens' (Raw TryFinally) (Raw Suite)

AsLine TryFinally

Defined in Language.Python.DSL

Methods

line_ :: Raw TryFinally -> Raw Line

Functor (TryFinally v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

ExceptSyntax (Raw TryFinally)

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_]

Defined in Language.Python.DSL

Methods

except_ :: [Raw Line] -> Raw TryFinally -> Raw TryExcept

exceptAs_ :: AsExceptAs e => Raw e -> [Raw Line] -> Raw TryFinally -> Raw TryExcept

FinallySyntax (Raw TryFinally) TryFinally

Defined in Language.Python.DSL

Methods

finally_ :: [Raw Line] -> Raw TryFinally -> Raw TryFinally

Eq a => Eq (TryFinally v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

(a ~ [Raw Line], b ~ Raw TryFinally) => FinallySyntax (a -> b) TryFinally

Defined in Language.Python.DSL

Methods

finally_ :: [Raw Line] -> (a -> b) -> Raw TryFinally

type Rep (TryFinally v a)

Defined in Language.Python.Syntax.Types

type Rep (TryFinally v a) = D1 (MetaData "TryFinally" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

finally

data Finally v a

Constructors

MkFinally

Fields

• _finallyIndents :: Indents a
• _finallyFinally :: [Whitespace]
• _finallyBody :: Suite v a

Instances

Functor (Finally v)

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)

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)

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)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (Finally v a)

Defined in Language.Python.Syntax.Types

type Rep (Finally v a) = D1 (MetaData "Finally" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

with statements

data With v a

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

Defined in Language.Python.Optics

Methods

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

AsyncSyntax With

Defined in Language.Python.DSL

Methods

async_ :: Raw With -> Raw With

BodySyntax With

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw With -> f (Raw With)

body :: Lens' (Raw With) (Raw Suite)

AsLine With

Defined in Language.Python.DSL

Methods

line_ :: Raw With -> Raw Line

Functor (With v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (With v a)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (With v a)

Defined in Language.Python.Syntax.Types

type Rep (With v a) = D1 (MetaData "With" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

else

data Else v a

Constructors

MkElse

Fields

• _elseIndents :: Indents a
• _elseElse :: [Whitespace]
• _elseBody :: Suite v a

Instances

BodySyntax Else

Defined in Language.Python.DSL

Methods

body_ :: Functor f => ([Raw Line] -> f [Raw Line]) -> Raw Else -> f (Raw Else)

body :: Lens' (Raw Else) (Raw Suite)

Functor (Else v)

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)

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)

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)

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)

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)

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

Defined in Language.Python.Optics.Indents

Methods

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

type Rep (Else v a)

Defined in Language.Python.Syntax.Types

type Rep (Else v a) = D1 (MetaData "Else" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

Expressions

None

data None (v :: [*]) a

Constructors

MkNone

Fields

• _noneAnn :: Ann a
• _noneWhitespace :: [Whitespace]

Instances

Functor (None v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (None v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (None v a) = D1 (MetaData "None" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

Function calls

data Call v a

Constructors

MkCall

Fields

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

Instances

ArgumentsSyntax Call

Defined in Language.Python.DSL

Methods

setArguments :: [Raw Arg] -> Raw Call -> Raw Call

getArguments :: Raw Call -> [Raw Arg]

Functor (Call v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (Call v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (Call v a) = D1 (MetaData "Call" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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]

Tuples

data Tuple v a

Constructors

MkTuple

Fields

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

Instances

Functor (Tuple v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (Tuple v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (Tuple v a) = D1 (MetaData "Tuple" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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

Tuple items

Unpacking

data TupleUnpack v a

Constructors

MkTupleUnpack

Fields

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

Instances

Functor (TupleUnpack v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (TupleUnpack v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (TupleUnpack v a) = D1 (MetaData "TupleUnpack" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)

Lists

data List v a

Constructors

MkList

Fields

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

Instances

Functor (List v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (List v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (List v a) = D1 (MetaData "List" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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]

List items

Unpacking

data ListUnpack v a

Constructors

MkListUnpack

Fields

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

Instances

Functor (ListUnpack v)

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)

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)

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)

Defined in Language.Python.Syntax.Types

Methods

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

Eq a => Eq (ListUnpack v a)

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)

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)

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)

Defined in Language.Python.Syntax.Types

type Rep (ListUnpack v a) = D1 (MetaData "ListUnpack" "Language.Python.Syntax.Types" "hpython-0.2-7fNN6PEHntyHCqZaN2NGK0" 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)

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)