Language.Python.Syntax.Ident

Documentation

data Ident (v :: [*]) a

An identifier. Like many types in hpython, it has an optional annotation and tracks its trailing whitespace.

Raw Idents have an IsString instance.

See https://docs.python.org/3.5/reference/lexical_analysis.html#identifiers

Constructors

MkIdent

Fields

• _identAnn :: Ann a
• _identValue :: String
• _identWhitespace :: [Whitespace]

Instances

Validated Ident

Defined in Language.Python.Syntax.Ident

Methods

unvalidated :: Getter (Ident v a) (Ident [] a)

HasIdents Ident

Defined in Language.Python.Optics.Idents

Methods

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

DoubleStarSyntax Ident Param

See def_

Defined in Language.Python.DSL

Methods

ss_ :: Raw Ident -> Raw Param

StarSyntax Ident Param

See def_

Defined in Language.Python.DSL

Methods

s_ :: Raw Ident -> Raw Param

PositionalSyntax Param Ident

See def_

Defined in Language.Python.DSL

Methods

p_ :: Raw Ident -> Raw Param

As Expr Ident ExceptAs

See exceptAs_

Defined in Language.Python.DSL

Methods

as_ :: Raw Expr -> Raw Ident -> Raw ExceptAs

Functor (Ident v)

Defined in Language.Python.Syntax.Ident

Methods

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

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

IsString (Raw Ident)

Defined in Language.Python.Syntax.Ident

Methods

fromString :: String -> Raw Ident

Foldable (Ident v)

Defined in Language.Python.Syntax.Ident

Methods

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

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

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

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

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

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

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

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

toList :: Ident v a -> [a]

null :: Ident v a -> Bool

length :: Ident v a -> Int

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

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

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

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

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

Traversable (Ident v)

Defined in Language.Python.Syntax.Ident

Methods

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

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

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

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

HasAnn (Ident v)

Defined in Language.Python.Syntax.Ident

Methods

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

Eq a => Eq (Ident v a)

Defined in Language.Python.Syntax.Ident

Methods

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

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

Show a => Show (Ident v a)

Defined in Language.Python.Syntax.Ident

Methods

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

show :: Ident v a -> String

showList :: [Ident v a] -> ShowS

Generic (Ident v a)

Defined in Language.Python.Syntax.Ident

Associated Types

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

Methods

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

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

HasTrailingWhitespace (Ident v a)

Defined in Language.Python.Syntax.Ident

Methods

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

HasNewlines (Ident v a)

Defined in Language.Python.Optics.Newlines

Methods

_Newlines :: Traversal' (Ident v a) Newline

type Rep (Ident v a)

Defined in Language.Python.Syntax.Ident

type Rep (Ident v a) = D1 (MetaData "Ident" "Language.Python.Syntax.Ident" "hpython-0.3-inplace" False) (C1 (MetaCons "MkIdent" PrefixI True) (S1 (MetaSel (Just "_identAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :*: (S1 (MetaSel (Just "_identValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "_identWhitespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Whitespace]))))

Lenses

identAnn :: Lens (Ident v a) (Ident v a) a a

identValue :: Lens (Ident v a) (Ident '[] a) String String

identWhitespace :: Lens (Ident v a) (Ident v a) [Whitespace] [Whitespace]

Extra functions

isIdentifierStart :: Char -> Bool

Determine whether this character could start a valid identifier

isIdentifierChar :: Char -> Bool

Determine whether this character could be part of a valid identifier