GitHub.Workflow.Command.Annotation.Position

Documentation

data Position

Where an annotation is marked within a file

Constructors

Position

Fields

• line :: Line
• extent :: Maybe Extent

Instances

AddToProperties Position

Defined in GitHub.Workflow.Command.Annotation.Position

Methods

addToProperties :: Position -> Properties -> Properties

line :: Lens' Position Line

extent :: Lens' Position (Maybe Extent)

atLine :: Line -> Position