GitHub.Types.Events.DeleteEvent

Documentation

data DeleteEvent

Constructors

DeleteEvent

Fields

• deleteEventInstallation :: Maybe Installation
• deleteEventOrganization :: Organization
• deleteEventRepository :: Repository
• deleteEventSender :: User
• deleteEventPusherType :: Text
• deleteEventRef :: Text
• deleteEventRefType :: Text

Instances

Eq DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

(==) :: DeleteEvent -> DeleteEvent -> Bool

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

Read DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

readsPrec :: Int -> ReadS DeleteEvent

readList :: ReadS [DeleteEvent]

readPrec :: ReadPrec DeleteEvent

readListPrec :: ReadPrec [DeleteEvent]

Show DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

showsPrec :: Int -> DeleteEvent -> ShowS

show :: DeleteEvent -> String

showList :: [DeleteEvent] -> ShowS

Arbitrary DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

arbitrary :: Gen DeleteEvent

shrink :: DeleteEvent -> [DeleteEvent]

ToJSON DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

toJSON :: DeleteEvent -> Value

toEncoding :: DeleteEvent -> Encoding

toJSONList :: [DeleteEvent] -> Value

toEncodingList :: [DeleteEvent] -> Encoding

FromJSON DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

parseJSON :: Value -> Parser DeleteEvent

parseJSONList :: Value -> Parser [DeleteEvent]

Event DeleteEvent

Defined in GitHub.Types.Events.DeleteEvent

Methods

typeName :: TypeName DeleteEvent

eventName :: EventName DeleteEvent