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

Description

Synopsis

data Module v a
- = ModuleEmpty
- | ModuleBlankFinal (Blank a)
- | ModuleBlank (Blank a) Newline (Module v a)
- | ModuleStatement (Statement v a) (Module v a)

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 #
Instance details Defined in Language.Python.Syntax.Module Methods _Exprs :: Applicative f => (Expr v a -> f (Expr [] a)) -> Module v a -> f (Module [] a) #
HasStatements Module #
Instance details Defined in Language.Python.Syntax.Module Methods _Statements :: Applicative f => (Statement v a -> f (Statement [] a)) -> Module v a -> f (Module [] a) #
HasIdents Module #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Module v a -> f (Module [] a) #
Functor (Module v) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Module Associated Types type Rep (Module v a) :: * -> * # Methods from :: Module v a -> Rep (Module v a) x # to :: Rep (Module v a) x -> Module v a #
HasNewlines (Module v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (Module v a) Newline #
type Rep (Module v a) #
Instance details Defined in Language.Python.Syntax.Module type Rep (Module v a) = D1 (MetaData "Module" "Language.Python.Syntax.Module" "hpython-0.1.0.1-inplace" False) ((C1 (MetaCons "ModuleEmpty" PrefixI False) (U1 :: * -> ) :+: 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)))))