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

Contents

Lenses

Description

Syntax used in import statements

https://docs.python.org/3.5/reference/simple_stmts.html#the-import-statement

Synopsis

data ImportAs e v a = ImportAs {
- _importAsAnn :: Ann a
- _importAsName :: e v a
- _importAsQual :: Maybe (NonEmpty Whitespace, Ident v a)
}
data ImportTargets v a
- = ImportAll (Ann a) [Whitespace]
- | ImportSome (Ann a) (CommaSep1 (ImportAs Ident v a))
- | ImportSomeParens (Ann a) [Whitespace] (CommaSep1' (ImportAs Ident v a)) [Whitespace]
importAsAnn :: Lens' (ImportAs e v a) a
importAsName :: Validated e => Lens (ImportAs e v a) (ImportAs e' '[] a) (e v a) (e' '[] a)
importAsQual :: Validated e => Lens (ImportAs e v a) (ImportAs e '[] a) (Maybe (NonEmpty Whitespace, Ident v a)) (Maybe (NonEmpty Whitespace, Ident '[] a))

Documentation

data ImportAs e v a #

Some data optionally followed by as ident

Used in:

import a as b

from a import b as c, d as e

from a import (b as c, d as e)

Constructors

ImportAs
Fields _importAsAnn :: Ann a _importAsName :: e v a _importAsQual :: Maybe (NonEmpty Whitespace, Ident v a)

Instances

Validated e => Validated (ImportAs e) #
Instance details Defined in Language.Python.Syntax.Import Methods unvalidated :: (Contravariant f, Functor f) => (ImportAs e [] a -> f (ImportAs e [] a)) -> ImportAs e v a -> f (ImportAs e v a) #
HasIdents n => HasIdents (ImportAs n) #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ImportAs n v a -> f (ImportAs n [] a) #
Functor (e v) => Functor (ImportAs e v) #
Instance details Defined in Language.Python.Syntax.Import Methods fmap :: (a -> b) -> ImportAs e v a -> ImportAs e v b # (<$) :: a -> ImportAs e v b -> ImportAs e v a #
Foldable (e v) => Foldable (ImportAs e v) #
Instance details Defined in Language.Python.Syntax.Import Methods fold :: Monoid m => ImportAs e v m -> m # foldMap :: Monoid m => (a -> m) -> ImportAs e v a -> m # foldr :: (a -> b -> b) -> b -> ImportAs e v a -> b # foldr' :: (a -> b -> b) -> b -> ImportAs e v a -> b # foldl :: (b -> a -> b) -> b -> ImportAs e v a -> b # foldl' :: (b -> a -> b) -> b -> ImportAs e v a -> b # foldr1 :: (a -> a -> a) -> ImportAs e v a -> a # foldl1 :: (a -> a -> a) -> ImportAs e v a -> a # toList :: ImportAs e v a -> [a] # null :: ImportAs e v a -> Bool # length :: ImportAs e v a -> Int # elem :: Eq a => a -> ImportAs e v a -> Bool # maximum :: Ord a => ImportAs e v a -> a # minimum :: Ord a => ImportAs e v a -> a # sum :: Num a => ImportAs e v a -> a # product :: Num a => ImportAs e v a -> a #
Traversable (e v) => Traversable (ImportAs e v) #
Instance details Defined in Language.Python.Syntax.Import Methods traverse :: Applicative f => (a -> f b) -> ImportAs e v a -> f (ImportAs e v b) # sequenceA :: Applicative f => ImportAs e v (f a) -> f (ImportAs e v a) # mapM :: Monad m => (a -> m b) -> ImportAs e v a -> m (ImportAs e v b) # sequence :: Monad m => ImportAs e v (m a) -> m (ImportAs e v a) #
HasAnn (ImportAs e v) #
Instance details Defined in Language.Python.Syntax.Import Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ImportAs e v a -> f (ImportAs e v a) #
(Eq a, Eq (e v a)) => Eq (ImportAs e v a) #
Instance details Defined in Language.Python.Syntax.Import Methods (==) :: ImportAs e v a -> ImportAs e v a -> Bool # (/=) :: ImportAs e v a -> ImportAs e v a -> Bool #
(Show a, Show (e v a)) => Show (ImportAs e v a) #
Instance details Defined in Language.Python.Syntax.Import Methods showsPrec :: Int -> ImportAs e v a -> ShowS # show :: ImportAs e v a -> String # showList :: [ImportAs e v a] -> ShowS #
Generic (ImportAs e v a) #
Instance details Defined in Language.Python.Syntax.Import Associated Types type Rep (ImportAs e v a) :: * -> * # Methods from :: ImportAs e v a -> Rep (ImportAs e v a) x # to :: Rep (ImportAs e v a) x -> ImportAs e v a #
HasTrailingWhitespace (e v a) => HasTrailingWhitespace (ImportAs e v a) #
Instance details Defined in Language.Python.Syntax.Import Methods trailingWhitespace :: Lens' (ImportAs e v a) [Whitespace] #
HasNewlines (e v a) => HasNewlines (ImportAs e v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (ImportAs e v a) Newline #
type Rep (ImportAs e v a) #
Instance details Defined in Language.Python.Syntax.Import type Rep (ImportAs e v a) = D1 (MetaData "ImportAs" "Language.Python.Syntax.Import" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "ImportAs" PrefixI True) (S1 (MetaSel (Just "_importAsAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_importAsName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (e v a)) :: S1 (MetaSel (Just "_importAsQual") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (NonEmpty Whitespace, Ident v a))))))

data ImportTargets v a #

The targets of a from ... import ... statement

Constructors

ImportAll (Ann a) [Whitespace]	from x import *
ImportSome (Ann a) (CommaSep1 (ImportAs Ident v a))	from x import a, b, c
ImportSomeParens (Ann a) [Whitespace] (CommaSep1' (ImportAs Ident v a)) [Whitespace]	from x import (a, b, c)

Instances

HasIdents ImportTargets #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ImportTargets v a -> f (ImportTargets [] a) #
Functor (ImportTargets v) #
Instance details Defined in Language.Python.Syntax.Import Methods fmap :: (a -> b) -> ImportTargets v a -> ImportTargets v b # (<$) :: a -> ImportTargets v b -> ImportTargets v a #
Foldable (ImportTargets v) #
Instance details Defined in Language.Python.Syntax.Import Methods fold :: Monoid m => ImportTargets v m -> m # foldMap :: Monoid m => (a -> m) -> ImportTargets v a -> m # foldr :: (a -> b -> b) -> b -> ImportTargets v a -> b # foldr' :: (a -> b -> b) -> b -> ImportTargets v a -> b # foldl :: (b -> a -> b) -> b -> ImportTargets v a -> b # foldl' :: (b -> a -> b) -> b -> ImportTargets v a -> b # foldr1 :: (a -> a -> a) -> ImportTargets v a -> a # foldl1 :: (a -> a -> a) -> ImportTargets v a -> a # toList :: ImportTargets v a -> [a] # null :: ImportTargets v a -> Bool # length :: ImportTargets v a -> Int # elem :: Eq a => a -> ImportTargets v a -> Bool # maximum :: Ord a => ImportTargets v a -> a # minimum :: Ord a => ImportTargets v a -> a # sum :: Num a => ImportTargets v a -> a # product :: Num a => ImportTargets v a -> a #
Traversable (ImportTargets v) #
Instance details Defined in Language.Python.Syntax.Import Methods traverse :: Applicative f => (a -> f b) -> ImportTargets v a -> f (ImportTargets v b) # sequenceA :: Applicative f => ImportTargets v (f a) -> f (ImportTargets v a) # mapM :: Monad m => (a -> m b) -> ImportTargets v a -> m (ImportTargets v b) # sequence :: Monad m => ImportTargets v (m a) -> m (ImportTargets v a) #
HasAnn (ImportTargets v) #
Instance details Defined in Language.Python.Syntax.Import Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ImportTargets v a -> f (ImportTargets v a) #
Eq a => Eq (ImportTargets v a) #
Instance details Defined in Language.Python.Syntax.Import Methods (==) :: ImportTargets v a -> ImportTargets v a -> Bool # (/=) :: ImportTargets v a -> ImportTargets v a -> Bool #
Show a => Show (ImportTargets v a) #
Instance details Defined in Language.Python.Syntax.Import Methods showsPrec :: Int -> ImportTargets v a -> ShowS # show :: ImportTargets v a -> String # showList :: [ImportTargets v a] -> ShowS #
Generic (ImportTargets v a) #
Instance details Defined in Language.Python.Syntax.Import Associated Types type Rep (ImportTargets v a) :: * -> * # Methods from :: ImportTargets v a -> Rep (ImportTargets v a) x # to :: Rep (ImportTargets v a) x -> ImportTargets v a #
HasTrailingWhitespace (ImportTargets v a) #
Instance details Defined in Language.Python.Syntax.Import Methods trailingWhitespace :: Lens' (ImportTargets v a) [Whitespace] #
HasNewlines (ImportTargets v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (ImportTargets v a) Newline #
type Rep (ImportTargets v a) #
Instance details Defined in Language.Python.Syntax.Import type Rep (ImportTargets v a) = D1 (MetaData "ImportTargets" "Language.Python.Syntax.Import" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "ImportAll" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :+: (C1 (MetaCons "ImportSome" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1 (ImportAs Ident v a)))) :+: C1 (MetaCons "ImportSomeParens" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CommaSep1' (ImportAs Ident v a))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace])))))

Lenses

importAsAnn :: Lens' (ImportAs e v a) a #

importAsName :: Validated e => Lens (ImportAs e v a) (ImportAs e' '[] a) (e v a) (e' '[] a) #

importAsQual :: Validated e => Lens (ImportAs e v a) (ImportAs e '[] a) (Maybe (NonEmpty Whitespace, Ident v a)) (Maybe (NonEmpty Whitespace, Ident '[] a)) #