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.Optics.Idents

Description

Synopsis

class HasIdents s where

Documentation

class HasIdents s where #

Traversal that targets all the Idents in a structure

Methods

_Idents :: Traversal (s v a) (s '[] a) (Ident v a) (Ident '[] a) #

_Idents :: forall v a l m. (Generic (s v a), Generic (s '[] a), Rep (s v a) ~ l, Rep (s '[] a) ~ m, GHasIdents l m v a) => Traversal (s v a) (s '[] a) (Ident v a) (Ident '[] a) #

Instances

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) #
HasIdents ModuleName #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ModuleName v a -> f (ModuleName [] a) #
HasIdents RelativeModuleName #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> RelativeModuleName v a -> f (RelativeModuleName [] a) #
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) #
HasIdents Expr #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Expr v a -> f (Expr [] a) #
HasIdents TupleItem #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> TupleItem v a -> f (TupleItem [] a) #
HasIdents SetItem #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> SetItem v a -> f (SetItem [] a) #
HasIdents ListItem #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ListItem v a -> f (ListItem [] a) #
HasIdents Subscript #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Subscript v a -> f (Subscript [] a) #
HasIdents DictItem #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> DictItem v a -> f (DictItem [] a) #
HasIdents CompFor #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> CompFor v a -> f (CompFor [] a) #
HasIdents CompIf #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> CompIf v a -> f (CompIf [] a) #
HasIdents Arg #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Arg v a -> f (Arg [] a) #
HasIdents Param #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Param v a -> f (Param [] a) #
HasIdents CompoundStatement #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> CompoundStatement v a -> f (CompoundStatement [] a) #
HasIdents Decorator #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Decorator v a -> f (Decorator [] a) #
HasIdents WithItem #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> WithItem v a -> f (WithItem [] a) #
HasIdents Suite #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Suite v a -> f (Suite [] a) #
HasIdents ExceptAs #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> ExceptAs v a -> f (ExceptAs [] a) #
HasIdents SimpleStatement #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> SimpleStatement v a -> f (SimpleStatement [] a) #
HasIdents Statement #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Statement v a -> f (Statement [] a) #
HasIdents SmallStatement #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> SmallStatement v a -> f (SmallStatement [] a) #
HasIdents Block #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Block v a -> f (Block [] a) #
HasIdents Module #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Module v a -> f (Module [] 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) #
HasIdents e => HasIdents (Comprehension e) #
Instance details Defined in Language.Python.Optics.Idents Methods _Idents :: Applicative f => (Ident v a -> f (Ident [] a)) -> Comprehension e v a -> f (Comprehension e [] a) #