module ProAbstract.Tag.TagOptics where import ProAbstract.Tag.TagType name :: Lens' (Tag ann) Text name :: Lens' (Tag ann) Text name = (Tag ann -> Text) -> (Tag ann -> Text -> Tag ann) -> Lens' (Tag ann) Text forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b lens Tag ann -> Text forall ann. Tag ann -> Text tagName (\Tag ann t Text n -> Tag ann t { tagName :: Text tagName = Text n })