GitHub.Workflow.Command.Syntax.Properties

Documentation

data Properties

Instances

Show Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

showsPrec :: Int -> Properties -> ShowS

show :: Properties -> String

showList :: [Properties] -> ShowS

Eq Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

(==) :: Properties -> Properties -> Bool

(/=) :: Properties -> Properties -> Bool

Ord Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

compare :: Properties -> Properties -> Ordering

(<) :: Properties -> Properties -> Bool

(<=) :: Properties -> Properties -> Bool

(>) :: Properties -> Properties -> Bool

(>=) :: Properties -> Properties -> Bool

max :: Properties -> Properties -> Properties

min :: Properties -> Properties -> Properties

HasProperties Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

properties :: Lens' Properties Properties

ToByteString Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

toByteStringBuilder :: Properties -> Builder

toByteString :: Properties -> ByteString

class HasProperties a where

Methods

properties :: Lens' a Properties

Instances

HasProperties Command

Defined in GitHub.Workflow.Command.Syntax.Command

Methods

properties :: Lens' Command Properties

HasProperties Properties

Defined in GitHub.Workflow.Command.Syntax.Properties

Methods

properties :: Lens' Properties Properties

class AddToProperties a where

Methods

addToProperties :: a -> Properties -> Properties

Instances

AddToProperties Location

Defined in GitHub.Workflow.Command.Annotation.Location

Methods

addToProperties :: Location -> Properties -> Properties

AddToProperties Position

Defined in GitHub.Workflow.Command.Annotation.Position

Methods

addToProperties :: Position -> Properties -> Properties

AddToProperties Columns

Defined in GitHub.Workflow.Command.Annotation.Position.Columns

Methods

addToProperties :: Columns -> Properties -> Properties

AddToProperties Extent

Defined in GitHub.Workflow.Command.Annotation.Position.Extent

Methods

addToProperties :: Extent -> Properties -> Properties

AddToProperties Properties

Defined in GitHub.Workflow.Command.Annotation.Properties

Methods

addToProperties :: Properties -> Properties0 -> Properties0

property :: HasProperties a => Key -> Lens' a (Maybe Value)

empty :: Properties

null :: Properties -> Bool