Language.Python.Syntax.Ann

Documentation

newtype Ann a

Used to mark annotations in data structures, which helps with generic deriving

Constructors

Ann

Fields

• getAnn :: a

Instances

Functor Ann

Defined in Language.Python.Syntax.Ann

Methods

fmap :: (a -> b) -> Ann a -> Ann b

(<$) :: a -> Ann b -> Ann a

Foldable Ann

Defined in Language.Python.Syntax.Ann

Methods

fold :: Monoid m => Ann m -> m

foldMap :: Monoid m => (a -> m) -> Ann a -> m

foldr :: (a -> b -> b) -> b -> Ann a -> b

foldr' :: (a -> b -> b) -> b -> Ann a -> b

foldl :: (b -> a -> b) -> b -> Ann a -> b

foldl' :: (b -> a -> b) -> b -> Ann a -> b

foldr1 :: (a -> a -> a) -> Ann a -> a

foldl1 :: (a -> a -> a) -> Ann a -> a

toList :: Ann a -> [a]

null :: Ann a -> Bool

length :: Ann a -> Int

elem :: Eq a => a -> Ann a -> Bool

maximum :: Ord a => Ann a -> a

minimum :: Ord a => Ann a -> a

sum :: Num a => Ann a -> a

product :: Num a => Ann a -> a

Traversable Ann

Defined in Language.Python.Syntax.Ann

Methods

traverse :: Applicative f => (a -> f b) -> Ann a -> f (Ann b)

sequenceA :: Applicative f => Ann (f a) -> f (Ann a)

mapM :: Monad m => (a -> m b) -> Ann a -> m (Ann b)

sequence :: Monad m => Ann (m a) -> m (Ann a)

Eq1 Ann

Defined in Language.Python.Syntax.Ann

Methods

liftEq :: (a -> b -> Bool) -> Ann a -> Ann b -> Bool

Ord1 Ann

Defined in Language.Python.Syntax.Ann

Methods

liftCompare :: (a -> b -> Ordering) -> Ann a -> Ann b -> Ordering

Show1 Ann

Defined in Language.Python.Syntax.Ann

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Ann a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Ann a] -> ShowS

Eq a => Eq (Ann a)

Defined in Language.Python.Syntax.Ann

Methods

(==) :: Ann a -> Ann a -> Bool

(/=) :: Ann a -> Ann a -> Bool

Ord a => Ord (Ann a)

Defined in Language.Python.Syntax.Ann

Methods

compare :: Ann a -> Ann a -> Ordering

(<) :: Ann a -> Ann a -> Bool

(<=) :: Ann a -> Ann a -> Bool

(>) :: Ann a -> Ann a -> Bool

(>=) :: Ann a -> Ann a -> Bool

max :: Ann a -> Ann a -> Ann a

min :: Ann a -> Ann a -> Ann a

Show a => Show (Ann a)

Defined in Language.Python.Syntax.Ann

Methods

showsPrec :: Int -> Ann a -> ShowS

show :: Ann a -> String

showList :: [Ann a] -> ShowS

Semigroup a => Semigroup (Ann a)

Defined in Language.Python.Syntax.Ann

Methods

(<>) :: Ann a -> Ann a -> Ann a

sconcat :: NonEmpty (Ann a) -> Ann a

stimes :: Integral b => b -> Ann a -> Ann a

Monoid a => Monoid (Ann a)

Defined in Language.Python.Syntax.Ann

Methods

mempty :: Ann a

mappend :: Ann a -> Ann a -> Ann a

mconcat :: [Ann a] -> Ann a

Wrapped (Ann a)

Defined in Language.Python.Syntax.Ann

Associated Types

type Unwrapped (Ann a) :: Type

Methods

_Wrapped' :: Iso' (Ann a) (Unwrapped (Ann a))

Ann a1 ~ t => Rewrapped (Ann a2) t

Defined in Language.Python.Syntax.Ann

type Unwrapped (Ann a)

Defined in Language.Python.Syntax.Ann

type Unwrapped (Ann a) = a

annot_ :: HasAnn s => Lens' (s a) a

Get an annotation and forget the wrapper

class HasAnn s where

Classy Lens' for things that are annotated

Methods

annot :: Lens' (s a) (Ann a)

Instances

HasAnn Comment

Defined in Language.Python.Syntax.Comment

Methods

annot :: Lens' (Comment a) (Ann a)

HasAnn IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

annot :: Lens' (IntLiteral a) (Ann a)

HasAnn FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

annot :: Lens' (FloatLiteral a) (Ann a)

HasAnn ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

annot :: Lens' (ImagLiteral a) (Ann a)

HasAnn Indents

Defined in Language.Python.Syntax.Whitespace

Methods

annot :: Lens' (Indents a) (Ann a)

HasAnn Blank

Defined in Language.Python.Syntax.Whitespace

Methods

annot :: Lens' (Blank a) (Ann a)

HasAnn StringLiteral

Defined in Language.Python.Syntax.Strings

Methods

annot :: Lens' (StringLiteral a) (Ann a)

HasAnn Semicolon

Defined in Language.Python.Syntax.Punctuation

Methods

annot :: Lens' (Semicolon a) (Ann a)

HasAnn UnOp

Defined in Language.Python.Syntax.Operator.Unary

Methods

annot :: Lens' (UnOp a) (Ann a)

HasAnn BinOp

Defined in Language.Python.Syntax.Operator.Binary

Methods

annot :: Lens' (BinOp a) (Ann a)

HasAnn AugAssign

Defined in Language.Python.Syntax.AugAssign

Methods

annot :: Lens' (AugAssign a) (Ann a)

HasAnn (Ident v)

Defined in Language.Python.Syntax.Ident

Methods

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

HasAnn (ModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

HasAnn (RelativeModuleName v)

Defined in Language.Python.Syntax.ModuleNames

Methods

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

HasAnn (ImportTargets v)

Defined in Language.Python.Syntax.Import

Methods

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

HasAnn (Expr v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (TupleItem v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (SetItem v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (ListItem v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (DictItem v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (CompFor v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (CompIf v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (Arg v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (Param v)

Defined in Language.Python.Syntax.Expr

Methods

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

HasAnn (CompoundStatement v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (Decorator v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (WithItem v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (Suite v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (ExceptAs v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (SimpleStatement v)

Defined in Language.Python.Syntax.Statement

Methods

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

HasAnn (Fundef v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (While v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (KeywordParam v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (PositionalParam v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (StarParam v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (UnnamedStarParam v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (Call v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (If v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (For v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (TryExcept v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (TryFinally v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (ClassDef v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (With v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (Tuple v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (List v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (ListUnpack v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (None v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (TupleUnpack v)

Defined in Language.Python.Syntax.Types

Methods

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

HasAnn (ImportAs e v)

Defined in Language.Python.Syntax.Import

Methods

annot :: Lens' (ImportAs e v a) (Ann a)

HasAnn (Comprehension e v)

Defined in Language.Python.Syntax.Expr

Methods

annot :: Lens' (Comprehension e v a) (Ann a)