Language.Python.Syntax.ModuleNames

Module names, including those qualified by packages.

See https://docs.python.org/3.5/tutorial/modules.html#packages

Documentation

data ModuleName v a

A module name. It can be a single segment, or a sequence of them which are implicitly separated by period character.

a

a.b

Constructors

ModuleNameOne (Ann a) (Ident v a)

ModuleNameMany (Ann a) (Ident v a) Dot (ModuleName v a)

Instances

HasIdents ModuleName

Defined in Language.Python.Optics.Idents

Methods

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

Functor (ModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

Foldable (ModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

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

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

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

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

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

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

toList :: ModuleName v a -> [a]

null :: ModuleName v a -> Bool

length :: ModuleName v a -> Int

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

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

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

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

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

Traversable (ModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

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

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

HasAnn (ModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

Eq a => Eq (ModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

Show a => Show (ModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

show :: ModuleName v a -> String

showList :: [ModuleName v a] -> ShowS

Generic (ModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Associated Types

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

Methods

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

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

HasTrailingWhitespace (ModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

trailingWhitespace :: Lens' (ModuleName v a) [Whitespace]

HasNewlines (ModuleName v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (ModuleName v a) Newline

type Rep (ModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

type Rep (ModuleName v a) = D1 (MetaData "ModuleName" "Language.Python.Syntax.ModuleNames" "hpython-0.3-inplace" False) (C1 (MetaCons "ModuleNameOne" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a))) :+: C1 (MetaCons "ModuleNameMany" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ident v a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Dot) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ModuleName v a)))))

data RelativeModuleName v a

.a.b

.

...

See https://docs.python.org/3.5/tutorial/modules.html#intra-package-references

Constructors

RelativeWithName (Ann a) [Dot] (ModuleName v a)

Relative (Ann a) (NonEmpty Dot)

Instances

HasIdents RelativeModuleName

Defined in Language.Python.Optics.Idents

Methods

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

Functor (RelativeModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

Foldable (RelativeModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

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

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

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

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

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

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

toList :: RelativeModuleName v a -> [a]

null :: RelativeModuleName v a -> Bool

length :: RelativeModuleName v a -> Int

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

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

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

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

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

Traversable (RelativeModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

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

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

HasAnn (RelativeModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

Eq a => Eq (RelativeModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

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

Show a => Show (RelativeModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

show :: RelativeModuleName v a -> String

showList :: [RelativeModuleName v a] -> ShowS

Generic (RelativeModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Associated Types

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

Methods

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

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

HasTrailingWhitespace (RelativeModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

Methods

trailingWhitespace :: Lens' (RelativeModuleName v a) [Whitespace]

HasNewlines (RelativeModuleName v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (RelativeModuleName v a) Newline

type Rep (RelativeModuleName v a)

Defined in Language.Python.Syntax.ModuleNames

type Rep (RelativeModuleName v a) = D1 (MetaData "RelativeModuleName" "Language.Python.Syntax.ModuleNames" "hpython-0.3-inplace" False) (C1 (MetaCons "RelativeWithName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Dot]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ModuleName v a)))) :+: C1 (MetaCons "Relative" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty Dot))))

makeModuleName :: Ident v a -> [([Whitespace], Ident v a)] -> ModuleName v a

Convenience constructor for ModuleName