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

Description

Synopsis

newtype Ann a = Ann {
- getAnn :: a
}
annot_ :: HasAnn s => Lens' (s a) a
class HasAnn s where

Documentation

newtype Ann a #

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

Constructors

Ann
Fields getAnn :: a

Instances

Functor Ann #
Instance details Defined in Language.Python.Syntax.Ann Methods fmap :: (a -> b) -> Ann a -> Ann b # (<$) :: a -> Ann b -> Ann a #
Foldable Ann #
Instance details 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 #
Instance details 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 #
Instance details Defined in Language.Python.Syntax.Ann Methods liftEq :: (a -> b -> Bool) -> Ann a -> Ann b -> Bool #
Ord1 Ann #
Instance details Defined in Language.Python.Syntax.Ann Methods liftCompare :: (a -> b -> Ordering) -> Ann a -> Ann b -> Ordering #
Show1 Ann #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Ann Methods (==) :: Ann a -> Ann a -> Bool # (/=) :: Ann a -> Ann a -> Bool #
Ord a => Ord (Ann a) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Language.Python.Syntax.Ann Associated Types type Unwrapped (Ann a) :: * # Methods _Wrapped' :: Iso' (Ann a) (Unwrapped (Ann a)) #
Ann a1 ~ t => Rewrapped (Ann a2) t #
Instance details Defined in Language.Python.Syntax.Ann
type Unwrapped (Ann a) #
Instance details 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

Minimal complete definition

annot

Methods

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

Instances

HasAnn Comment #
Instance details Defined in Language.Python.Syntax.Comment Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Comment a -> f (Comment a) #
HasAnn IntLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> IntLiteral a -> f (IntLiteral a) #
HasAnn FloatLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> FloatLiteral a -> f (FloatLiteral a) #
HasAnn ImagLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ImagLiteral a -> f (ImagLiteral a) #
HasAnn Indents #
Instance details Defined in Language.Python.Syntax.Whitespace Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Indents a -> f (Indents a) #
HasAnn Blank #
Instance details Defined in Language.Python.Syntax.Whitespace Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Blank a -> f (Blank a) #
HasAnn StringLiteral #
Instance details Defined in Language.Python.Syntax.Strings Methods annot :: Functor f => (Ann a -> f (Ann a)) -> StringLiteral a -> f (StringLiteral a) #
HasAnn Semicolon #
Instance details Defined in Language.Python.Syntax.Punctuation Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Semicolon a -> f (Semicolon a) #
HasAnn UnOp #
Instance details Defined in Language.Python.Syntax.Operator.Unary Methods annot :: Functor f => (Ann a -> f (Ann a)) -> UnOp a -> f (UnOp a) #
HasAnn BinOp #
Instance details Defined in Language.Python.Syntax.Operator.Binary Methods annot :: Functor f => (Ann a -> f (Ann a)) -> BinOp a -> f (BinOp a) #
HasAnn AugAssign #
Instance details Defined in Language.Python.Syntax.AugAssign Methods annot :: Functor f => (Ann a -> f (Ann a)) -> AugAssign a -> f (AugAssign 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) #
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) #
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) #
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) #
HasAnn (Expr v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Expr v a -> f (Expr v a) #
HasAnn (TupleItem v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> TupleItem v a -> f (TupleItem v a) #
HasAnn (SetItem v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> SetItem v a -> f (SetItem v a) #
HasAnn (ListItem v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ListItem v a -> f (ListItem v a) #
HasAnn (DictItem v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> DictItem v a -> f (DictItem v a) #
HasAnn (CompFor v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> CompFor v a -> f (CompFor v a) #
HasAnn (CompIf v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> CompIf v a -> f (CompIf v a) #
HasAnn (Arg v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Arg v a -> f (Arg v a) #
HasAnn (Param v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Param v a -> f (Param v a) #
HasAnn (CompoundStatement v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> CompoundStatement v a -> f (CompoundStatement v a) #
HasAnn (Decorator v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Decorator v a -> f (Decorator v a) #
HasAnn (WithItem v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> WithItem v a -> f (WithItem v a) #
HasAnn (Suite v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Suite v a -> f (Suite v a) #
HasAnn (ExceptAs v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ExceptAs v a -> f (ExceptAs v a) #
HasAnn (SimpleStatement v) #
Instance details Defined in Language.Python.Syntax.Statement Methods annot :: Functor f => (Ann a -> f (Ann a)) -> SimpleStatement v a -> f (SimpleStatement v a) #
HasAnn (Fundef v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Fundef v a -> f (Fundef v a) #
HasAnn (While v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> While v a -> f (While v a) #
HasAnn (KeywordParam v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> KeywordParam v a -> f (KeywordParam v a) #
HasAnn (PositionalParam v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> PositionalParam v a -> f (PositionalParam v a) #
HasAnn (StarParam v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> StarParam v a -> f (StarParam v a) #
HasAnn (UnnamedStarParam v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> UnnamedStarParam v a -> f (UnnamedStarParam v a) #
HasAnn (Call v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Call v a -> f (Call v a) #
HasAnn (If v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> If v a -> f (If v a) #
HasAnn (For v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> For v a -> f (For v a) #
HasAnn (TryExcept v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> TryExcept v a -> f (TryExcept v a) #
HasAnn (TryFinally v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> TryFinally v a -> f (TryFinally v a) #
HasAnn (ClassDef v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ClassDef v a -> f (ClassDef v a) #
HasAnn (With v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> With v a -> f (With v a) #
HasAnn (Tuple v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Tuple v a -> f (Tuple v a) #
HasAnn (List v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> List v a -> f (List v a) #
HasAnn (ListUnpack v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ListUnpack v a -> f (ListUnpack v a) #
HasAnn (None v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> None v a -> f (None v a) #
HasAnn (TupleUnpack v) #
Instance details Defined in Language.Python.Syntax.Types Methods annot :: Functor f => (Ann a -> f (Ann a)) -> TupleUnpack v a -> f (TupleUnpack 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) #
HasAnn (Comprehension e v) #
Instance details Defined in Language.Python.Syntax.Expr Methods annot :: Functor f => (Ann a -> f (Ann a)) -> Comprehension e v a -> f (Comprehension e v a) #