Safe Haskell	None
Language	Haskell2010

MatrixBot.MatrixApi.Types.MEventTypes

Synopsis

data MEventType
- = MAnnotationType
- | MReactionType
- | MRoomMessageType
- | MLoginPasswordType
data MEventTypeOneOf (types :: [MEventType]) where
- MAnnotationTypeOneOf :: forall (types :: [MEventType]). OneOf 'MAnnotationType types ~ 'True => MEventTypeOneOf types
- MReactionTypeOneOf :: forall (types :: [MEventType]). OneOf 'MReactionType types ~ 'True => MEventTypeOneOf types
- MRoomMessageTypeOneOf :: forall (types :: [MEventType]). OneOf 'MRoomMessageType types ~ 'True => MEventTypeOneOf types
- MLoginPasswordTypeOneOf :: forall (types :: [MEventType]). OneOf 'MLoginPasswordType types ~ 'True => MEventTypeOneOf types
mEventTypeToString :: IsString s => MEventType -> s
mEventTypeOneOfToMEventType :: forall (t :: MEventType) (ts :: [MEventType]). MEventTypeOneOf (t ': ts) -> MEventType

Documentation

data MEventType Source #

Matrix event types enum

Constructors

MAnnotationType
MReactionType
MRoomMessageType
MLoginPasswordType

Instances

Instances details

FromJSON MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods parseJSON :: Value -> Parser MEventType parseJSONList :: Value -> Parser [MEventType] omittedField :: Maybe MEventType
ToJSON MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods toJSON :: MEventType -> Value toEncoding :: MEventType -> Encoding toJSONList :: [MEventType] -> Value toEncodingList :: [MEventType] -> Encoding omitField :: MEventType -> Bool
Bounded MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods minBound :: MEventType maxBound :: MEventType
Enum MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods succ :: MEventType -> MEventType pred :: MEventType -> MEventType toEnum :: Int -> MEventType fromEnum :: MEventType -> Int enumFrom :: MEventType -> [MEventType] enumFromThen :: MEventType -> MEventType -> [MEventType] enumFromTo :: MEventType -> MEventType -> [MEventType] enumFromThenTo :: MEventType -> MEventType -> MEventType -> [MEventType]
Show MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods showsPrec :: Int -> MEventType -> ShowS show :: MEventType -> String showList :: [MEventType] -> ShowS
Eq MEventType Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods (==) :: MEventType -> MEventType -> Bool (/=) :: MEventType -> MEventType -> Bool
ToParser '(t ': ts, t ': ts) => FromJSON (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods parseJSON :: Value -> Parser (MEventTypeOneOf (t ': ts)) parseJSONList :: Value -> Parser [MEventTypeOneOf (t ': ts)] omittedField :: Maybe (MEventTypeOneOf (t ': ts))
ToJSON (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods toJSON :: MEventTypeOneOf (t ': ts) -> Value toEncoding :: MEventTypeOneOf (t ': ts) -> Encoding toJSONList :: [MEventTypeOneOf (t ': ts)] -> Value toEncodingList :: [MEventTypeOneOf (t ': ts)] -> Encoding omitField :: MEventTypeOneOf (t ': ts) -> Bool
Show (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods showsPrec :: Int -> MEventTypeOneOf (t ': ts) -> ShowS show :: MEventTypeOneOf (t ': ts) -> String showList :: [MEventTypeOneOf (t ': ts)] -> ShowS
Eq (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods (==) :: MEventTypeOneOf (t ': ts) -> MEventTypeOneOf (t ': ts) -> Bool (/=) :: MEventTypeOneOf (t ': ts) -> MEventTypeOneOf (t ': ts) -> Bool
ToHttpApiData (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods toUrlPiece :: MEventTypeOneOf (t ': ts) -> Text toEncodedUrlPiece :: MEventTypeOneOf (t ': ts) -> Builder toHeader :: MEventTypeOneOf (t ': ts) -> ByteString toQueryParam :: MEventTypeOneOf (t ': ts) -> Text toEncodedQueryParam :: MEventTypeOneOf (t ': ts) -> Builder
type EventContent (MEventTypeOneOf '['MReactionType]) Source #
Instance details Defined in MatrixBot.MatrixApi type EventContent (MEventTypeOneOf '['MReactionType]) = MReactionContent
type EventContent (MEventTypeOneOf '['MRoomMessageType]) Source #
Instance details Defined in MatrixBot.MatrixApi type EventContent (MEventTypeOneOf '['MRoomMessageType]) = MRoomMessageContent

data MEventTypeOneOf (types :: [MEventType]) where Source #

Limited/restricted subset of MEventType

Constructors

MAnnotationTypeOneOf :: forall (types :: [MEventType]). OneOf 'MAnnotationType types ~ 'True => MEventTypeOneOf types
MReactionTypeOneOf :: forall (types :: [MEventType]). OneOf 'MReactionType types ~ 'True => MEventTypeOneOf types
MRoomMessageTypeOneOf :: forall (types :: [MEventType]). OneOf 'MRoomMessageType types ~ 'True => MEventTypeOneOf types
MLoginPasswordTypeOneOf :: forall (types :: [MEventType]). OneOf 'MLoginPasswordType types ~ 'True => MEventTypeOneOf types

Instances

Instances details

ToParser '(t ': ts, t ': ts) => FromJSON (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods parseJSON :: Value -> Parser (MEventTypeOneOf (t ': ts)) parseJSONList :: Value -> Parser [MEventTypeOneOf (t ': ts)] omittedField :: Maybe (MEventTypeOneOf (t ': ts))
ToJSON (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods toJSON :: MEventTypeOneOf (t ': ts) -> Value toEncoding :: MEventTypeOneOf (t ': ts) -> Encoding toJSONList :: [MEventTypeOneOf (t ': ts)] -> Value toEncodingList :: [MEventTypeOneOf (t ': ts)] -> Encoding omitField :: MEventTypeOneOf (t ': ts) -> Bool
Show (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods showsPrec :: Int -> MEventTypeOneOf (t ': ts) -> ShowS show :: MEventTypeOneOf (t ': ts) -> String showList :: [MEventTypeOneOf (t ': ts)] -> ShowS
Eq (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods (==) :: MEventTypeOneOf (t ': ts) -> MEventTypeOneOf (t ': ts) -> Bool (/=) :: MEventTypeOneOf (t ': ts) -> MEventTypeOneOf (t ': ts) -> Bool
ToHttpApiData (MEventTypeOneOf (t ': ts)) Source #
Instance details Defined in MatrixBot.MatrixApi.Types.MEventTypes Methods toUrlPiece :: MEventTypeOneOf (t ': ts) -> Text toEncodedUrlPiece :: MEventTypeOneOf (t ': ts) -> Builder toHeader :: MEventTypeOneOf (t ': ts) -> ByteString toQueryParam :: MEventTypeOneOf (t ': ts) -> Text toEncodedQueryParam :: MEventTypeOneOf (t ': ts) -> Builder
type EventContent (MEventTypeOneOf '['MReactionType]) Source #
Instance details Defined in MatrixBot.MatrixApi type EventContent (MEventTypeOneOf '['MReactionType]) = MReactionContent
type EventContent (MEventTypeOneOf '['MRoomMessageType]) Source #
Instance details Defined in MatrixBot.MatrixApi type EventContent (MEventTypeOneOf '['MRoomMessageType]) = MRoomMessageContent

mEventTypeToString :: IsString s => MEventType -> s Source #

mEventTypeOneOfToMEventType :: forall (t :: MEventType) (ts :: [MEventType]). MEventTypeOneOf (t ': ts) -> MEventType Source #