| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
GitHub.Workflow.Command.Annotation.Properties
Documentation
data Properties Source #
Constructors
| Properties | |
Instances
| HasLocationMaybe Properties Source # | |
| GetProperties Properties Source # | |
Defined in GitHub.Workflow.Command.Annotation.Properties Methods getProperties :: Properties -> Properties Source # | |
| HasProperties Properties Source # | |
Defined in GitHub.Workflow.Command.Annotation.Properties Methods annotationProperties :: Lens' Properties Properties Source # | |
| AddToProperties Properties Source # | |
Defined in GitHub.Workflow.Command.Annotation.Properties Methods addToProperties :: Properties -> Properties0 -> Properties0 Source # | |
class HasProperties a where Source #
Methods
Instances
| HasProperties Error Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Error Methods | |
| HasProperties Notice Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Notice Methods | |
| HasProperties Warning Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Warning Methods | |
| HasProperties Properties Source # | |
Defined in GitHub.Workflow.Command.Annotation.Properties Methods annotationProperties :: Lens' Properties Properties Source # | |
class GetProperties a where Source #
Methods
getProperties :: a -> Properties Source #
Instances
| GetProperties Debug Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Debug Methods getProperties :: Debug -> Properties Source # | |
| GetProperties Error Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Error Methods getProperties :: Error -> Properties Source # | |
| GetProperties Notice Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Notice Methods getProperties :: Notice -> Properties Source # | |
| GetProperties Warning Source # | |
Defined in GitHub.Workflow.Command.Annotation.Commands.Warning Methods getProperties :: Warning -> Properties Source # | |
| GetProperties Properties Source # | |
Defined in GitHub.Workflow.Command.Annotation.Properties Methods getProperties :: Properties -> Properties Source # | |
empty :: Properties Source #