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

Contents

Lenses
Extra functions

Description

Synopsis

data Ident (v :: [*]) a = MkIdent {
- _identAnn :: Ann a
- _identValue :: String
- _identWhitespace :: [Whitespace]
}
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]
isIdentifierStart :: Char -> Bool
isIdentifierChar :: Char -> Bool

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 #
Instance details Defined in Language.Python.Syntax.Ident Methods unvalidated :: (Contravariant f, Functor f) => (Ident [] a -> f (Ident [] a)) -> Ident v a -> f (Ident v a) #
HasIdents Ident #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Ident v a -> f (Ident [] a) #
DoubleStarSyntax Ident Param #	See `def_`
Instance details Defined in Language.Python.DSL Methods ss_ :: Raw Ident -> Raw Param #
StarSyntax Ident Param #	See `def_`
Instance details Defined in Language.Python.DSL Methods s_ :: Raw Ident -> Raw Param #
PositionalSyntax Param Ident #	See `def_`
Instance details Defined in Language.Python.DSL Methods p_ :: Raw Ident -> Raw Param #
As Expr Ident ExceptAs #	See `exceptAs_`
Instance details Defined in Language.Python.DSL Methods as_ :: Raw Expr -> Raw Ident -> Raw ExceptAs #
Functor (Ident v) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Ident Methods fromString :: String -> Raw Ident #
Foldable (Ident v) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Ident Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Ident v a -> f (Ident v a) #
Eq a => Eq (Ident v a) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Ident Associated Types type Rep (Ident v a) :: * -> * # Methods from :: Ident v a -> Rep (Ident v a) x # to :: Rep (Ident v a) x -> Ident v a #
HasTrailingWhitespace (Ident v a) #
Instance details Defined in Language.Python.Syntax.Ident Methods trailingWhitespace :: Lens' (Ident v a) [Whitespace] #
HasNewlines (Ident v a) #
Instance details Defined in Language.Python.Optics.Newlines Methods _Newlines :: Traversal' (Ident v a) Newline #
type Rep (Ident v a) #
Instance details Defined in Language.Python.Syntax.Ident type Rep (Ident v a) = D1 (MetaData "Ident" "Language.Python.Syntax.Ident" "hpython-0.1.0.1-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