Language.Python.Syntax.Module

Documentation

data Module v a

A Python Module, which is stored as a sequence of statements. A module corresponds to one source file of Python code.

Constructors

ModuleEmpty

ModuleBlankFinal (Blank a)

ModuleBlank (Blank a) Newline (Module v a)

ModuleStatement (Statement v a) (Module v a)

Instances

HasExprs Module

Defined in Language.Python.Syntax.Module

Methods

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

HasStatements Module

Defined in Language.Python.Syntax.Module

Methods

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

HasIdents Module

Defined in Language.Python.Optics.Idents

Methods

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

Functor (Module v)

Defined in Language.Python.Syntax.Module

Methods

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

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

Foldable (Module v)

Defined in Language.Python.Syntax.Module

Methods

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

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

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

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

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

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

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

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

toList :: Module v a -> [a]

null :: Module v a -> Bool

length :: Module v a -> Int

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

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

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

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

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

Traversable (Module v)

Defined in Language.Python.Syntax.Module

Methods

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

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

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

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

Eq a => Eq (Module v a)

Defined in Language.Python.Syntax.Module

Methods

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

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

Show a => Show (Module v a)

Defined in Language.Python.Syntax.Module

Methods

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

show :: Module v a -> String

showList :: [Module v a] -> ShowS

Generic (Module v a)

Defined in Language.Python.Syntax.Module

Associated Types

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

Methods

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

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

HasNewlines (Module v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Module v a) Newline

type Rep (Module v a)

Defined in Language.Python.Syntax.Module

type Rep (Module v a) = D1 (MetaData "Module" "Language.Python.Syntax.Module" "hpython-0.3-inplace" False) ((C1 (MetaCons "ModuleEmpty" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ModuleBlankFinal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Blank a)))) :+: (C1 (MetaCons "ModuleBlank" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Blank a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Newline) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Module v a)))) :+: C1 (MetaCons "ModuleStatement" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Statement v a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Module v a)))))