Mpv.Data.Event

Documentation

data Event (name :: EventName) where

Constructors

EndFile :: EndFile -> Event 'EndFile

FileLoaded :: Event 'FileLoaded

Pause :: Event 'Pause

Unknown :: Value -> Event 'Unknown

Instances

GEq Event

Defined in Mpv.Data.Event

Methods

geq :: forall (a :: k) (b :: k). Event a -> Event b -> Maybe (a :~: b)

GShow Event

Defined in Mpv.Data.Event

Methods

gshowsPrec :: forall (a :: k). Int -> Event a -> ShowS

ToJSON (Some Event)

Defined in Mpv.Data.Event

Methods

toJSON :: Some Event -> Value

toEncoding :: Some Event -> Encoding

toJSONList :: [Some Event] -> Value

toEncodingList :: [Some Event] -> Encoding