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

Description

Module names, including those qualified by packages.

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

Synopsis

data ModuleName v a
- = ModuleNameOne (Ann a) (Ident v a)
- | ModuleNameMany (Ann a) (Ident v a) Dot (ModuleName v a)
data RelativeModuleName v a
- = RelativeWithName (Ann a) [Dot] (ModuleName v a)
- | Relative (Ann a) (NonEmpty Dot)
makeModuleName :: Ident v a -> [([Whitespace], Ident v a)] -> ModuleName v a

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

Constructors

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

Instances

HasIdents ModuleName #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ModuleName v a -> f (ModuleName [] a) #
Functor (ModuleName v) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.ModuleNames Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ModuleName v a -> f (ModuleName v a) #
Eq a => Eq (ModuleName v a) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.ModuleNames Associated Types type Rep (ModuleName v a) :: * -> * # Methods from :: ModuleName v a -> Rep (ModuleName v a) x # to :: Rep (ModuleName v a) x -> ModuleName v a #
HasTrailingWhitespace (ModuleName v a) #
Instance details Defined in Language.Python.Syntax.ModuleNames Methods trailingWhitespace :: Lens' (ModuleName v a) [Whitespace] #
HasNewlines (ModuleName v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (ModuleName v a) Newline #
type Rep (ModuleName v a) #
Instance details Defined in Language.Python.Syntax.ModuleNames type Rep (ModuleName v a) = D1 (MetaData "ModuleName" "Language.Python.Syntax.ModuleNames" "hpython-0.1.0.1-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 #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> RelativeModuleName v a -> f (RelativeModuleName [] a) #
Functor (RelativeModuleName v) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.ModuleNames Methods annot :: Functor f => (Ann a -> f (Ann a)) -> RelativeModuleName v a -> f (RelativeModuleName v a) #
Eq a => Eq (RelativeModuleName v a) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.ModuleNames Associated Types type Rep (RelativeModuleName v a) :: * -> * # Methods from :: RelativeModuleName v a -> Rep (RelativeModuleName v a) x # to :: Rep (RelativeModuleName v a) x -> RelativeModuleName v a #
HasTrailingWhitespace (RelativeModuleName v a) #
Instance details Defined in Language.Python.Syntax.ModuleNames Methods trailingWhitespace :: Lens' (RelativeModuleName v a) [Whitespace] #
HasNewlines (RelativeModuleName v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (RelativeModuleName v a) Newline #
type Rep (RelativeModuleName v a) #
Instance details Defined in Language.Python.Syntax.ModuleNames type Rep (RelativeModuleName v a) = D1 (MetaData "RelativeModuleName" "Language.Python.Syntax.ModuleNames" "hpython-0.1.0.1-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