Safe Haskell	Safe-Inferred
Language	Haskell2010

Mpv

Contents

Introduction
Effects
Interpreters
Misc

Synopsis

data Mpv :: Effect
data VideoPlayer (meta :: Type) :: Effect
current :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r (Maybe meta)
load :: forall meta r. MemberWithError (VideoPlayer meta) r => meta -> Path Abs File -> Sem r ()
pause :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r PlaybackState
stop :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r ()
seek :: forall meta r. MemberWithError (VideoPlayer meta) r => Double -> SeekFlags -> Sem r ()
info :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r MpvInfo
subtitles :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r Subtitles
setSubtitle :: forall meta r. MemberWithError (VideoPlayer meta) r => SubtitleId -> Sem r ()
subDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r SubDelay
setSubDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => SubDelay -> Sem r ()
addSubDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => SubDelay -> Sem r SubDelay
subFps :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r SubFps
setSubFps :: forall meta r. MemberWithError (VideoPlayer meta) r => SubFps -> Sem r ()
volume :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r Volume
setVolume :: forall meta r. MemberWithError (VideoPlayer meta) r => Volume -> Sem r ()
adjustVolumeBy :: forall meta r. MemberWithError (VideoPlayer meta) r => Volume -> Sem r Volume
audios :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r AudioTracks
setAudio :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioId -> Sem r ()
audioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r AudioDelay
setAudioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioDelay -> Sem r ()
addAudioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioDelay -> Sem r AudioDelay
duration :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoDuration
progress :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoProgress
expired :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoExpired
withMpvServer :: Members [Reader MpvProcessConfig, Time t d, Log, Resource, Race, Async, Embed IO, Final IO] r => InterpretersFor [MpvServer Command !! MpvError, ChanConsumer MpvEvent] r
interpretMpvClient :: Members [MpvServer Command !! MpvError, EventConsumer token MpvEvent, Log, Resource, Async, Race] r => InterpreterFor (Mpv !! MpvError) r
interpretVideoPlayer :: forall meta token r. Members [MpvServer Command !! MpvError, EventConsumer token MpvEvent, Log, Resource, Async, Race, Embed IO] r => InterpretersFor [VideoPlayer meta !! MpvError, Mpv !! MpvError] r
interpretVideoPlayerServer :: Members [Reader MpvProcessConfig, Log, Resource, Async, Race, Time t d, Embed IO, Final IO] r => InterpretersFor [VideoPlayer meta !! MpvError, Mpv !! MpvError, ChanConsumer MpvEvent] r
data MpvError = MpvError Text
data MpvEvent = MpvEvent EventName (Some Event)
type MpvEventConsumer = ChanConsumer MpvEvent
data Event (name :: EventName)
data EventName

Introduction

This is an implementation of an mpv client using its JSON IPC API, built with [https:/hackage.haskell.orgpackage/polysemy].

Effects

data Mpv :: Effect Source #

Instances

Instances details

type DefiningModule Mpv Source #
Instance details Defined in Mpv.Effect.Mpv type DefiningModule Mpv = "Mpv.Effect.Mpv"

data VideoPlayer (meta :: Type) :: Effect Source #

Instances

Instances details

type DefiningModule VideoPlayer Source #
Instance details Defined in Mpv.Effect.VideoPlayer type DefiningModule VideoPlayer = "Mpv.Effect.VideoPlayer"

current :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r (Maybe meta) Source #

load :: forall meta r. MemberWithError (VideoPlayer meta) r => meta -> Path Abs File -> Sem r () Source #

pause :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r PlaybackState Source #

stop :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r () Source #

seek :: forall meta r. MemberWithError (VideoPlayer meta) r => Double -> SeekFlags -> Sem r () Source #

info :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r MpvInfo Source #

subtitles :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r Subtitles Source #

setSubtitle :: forall meta r. MemberWithError (VideoPlayer meta) r => SubtitleId -> Sem r () Source #

subDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r SubDelay Source #

setSubDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => SubDelay -> Sem r () Source #

addSubDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => SubDelay -> Sem r SubDelay Source #

subFps :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r SubFps Source #

setSubFps :: forall meta r. MemberWithError (VideoPlayer meta) r => SubFps -> Sem r () Source #

volume :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r Volume Source #

setVolume :: forall meta r. MemberWithError (VideoPlayer meta) r => Volume -> Sem r () Source #

adjustVolumeBy :: forall meta r. MemberWithError (VideoPlayer meta) r => Volume -> Sem r Volume Source #

audios :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r AudioTracks Source #

setAudio :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioId -> Sem r () Source #

audioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r AudioDelay Source #

setAudioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioDelay -> Sem r () Source #

addAudioDelay :: forall meta r. MemberWithError (VideoPlayer meta) r => AudioDelay -> Sem r AudioDelay Source #

duration :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoDuration Source #

progress :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoProgress Source #

expired :: forall meta r. MemberWithError (VideoPlayer meta) r => Sem r VideoExpired Source #

Interpreters

withMpvServer :: Members [Reader MpvProcessConfig, Time t d, Log, Resource, Race, Async, Embed IO, Final IO] r => InterpretersFor [MpvServer Command !! MpvError, ChanConsumer MpvEvent] r Source #

interpretMpvClient :: Members [MpvServer Command !! MpvError, EventConsumer token MpvEvent, Log, Resource, Async, Race] r => InterpreterFor (Mpv !! MpvError) r Source #

interpretVideoPlayer :: forall meta token r. Members [MpvServer Command !! MpvError, EventConsumer token MpvEvent, Log, Resource, Async, Race, Embed IO] r => InterpretersFor [VideoPlayer meta !! MpvError, Mpv !! MpvError] r Source #

interpretVideoPlayerServer :: Members [Reader MpvProcessConfig, Log, Resource, Async, Race, Time t d, Embed IO, Final IO] r => InterpretersFor [VideoPlayer meta !! MpvError, Mpv !! MpvError, ChanConsumer MpvEvent] r Source #

Misc

data MpvError Source #

Constructors

MpvError Text

Instances

Instances details

FromJSON MpvError Source #
Instance details Defined in Mpv.Data.MpvError Methods parseJSON :: Value -> Parser MpvError # parseJSONList :: Value -> Parser [MpvError] #
ToJSON MpvError Source #
Instance details Defined in Mpv.Data.MpvError Methods toJSON :: MpvError -> Value # toEncoding :: MpvError -> Encoding # toJSONList :: [MpvError] -> Value # toEncodingList :: [MpvError] -> Encoding #
Show MpvError Source #
Instance details Defined in Mpv.Data.MpvError Methods showsPrec :: Int -> MpvError -> ShowS # show :: MpvError -> String # showList :: [MpvError] -> ShowS #
Eq MpvError Source #
Instance details Defined in Mpv.Data.MpvError Methods (==) :: MpvError -> MpvError -> Bool # (/=) :: MpvError -> MpvError -> Bool #

data MpvEvent Source #

Constructors

MpvEvent EventName (Some Event)

Instances

Instances details

FromJSON MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent Methods parseJSON :: Value -> Parser MpvEvent # parseJSONList :: Value -> Parser [MpvEvent] #
ToJSON MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent Methods toJSON :: MpvEvent -> Value # toEncoding :: MpvEvent -> Encoding # toJSONList :: [MpvEvent] -> Value # toEncodingList :: [MpvEvent] -> Encoding #
Generic MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent Associated Types type Rep MpvEvent :: Type -> Type # Methods from :: MpvEvent -> Rep MpvEvent x # to :: Rep MpvEvent x -> MpvEvent #
Show MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent Methods showsPrec :: Int -> MpvEvent -> ShowS # show :: MpvEvent -> String # showList :: [MpvEvent] -> ShowS #
Eq MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent Methods (==) :: MpvEvent -> MpvEvent -> Bool # (/=) :: MpvEvent -> MpvEvent -> Bool #
type Rep MpvEvent Source #
Instance details Defined in Mpv.Data.MpvEvent type Rep MpvEvent = D1 ('MetaData "MpvEvent" "Mpv.Data.MpvEvent" "mpv-0.1.0.0-JpycyfjAFzQI1mqEzHeqWy" 'False) (C1 ('MetaCons "MpvEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EventName) :*: S1 ('MetaSel ('Just "payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Some Event))))

type MpvEventConsumer = ChanConsumer MpvEvent Source #

data Event (name :: EventName) Source #

Instances

Instances details

GEq Event Source #
Instance details Defined in Mpv.Data.Event Methods geq :: forall (a :: k) (b :: k). Event a -> Event b -> Maybe (a :~: b) #
GShow Event Source #
Instance details Defined in Mpv.Data.Event Methods gshowsPrec :: forall (a :: k). Int -> Event a -> ShowS #
ToJSON (Some Event) Source #
Instance details Defined in Mpv.Data.Event Methods toJSON :: Some Event -> Value # toEncoding :: Some Event -> Encoding # toJSONList :: [Some Event] -> Value # toEncodingList :: [Some Event] -> Encoding #

data EventName Source #

Instances

Instances details

FromJSON EventName Source #
Instance details Defined in Mpv.Data.EventName Methods parseJSON :: Value -> Parser EventName # parseJSONList :: Value -> Parser [EventName] #
ToJSON EventName Source #
Instance details Defined in Mpv.Data.EventName Methods toJSON :: EventName -> Value # toEncoding :: EventName -> Encoding # toJSONList :: [EventName] -> Value # toEncodingList :: [EventName] -> Encoding #
Generic EventName Source #
Instance details Defined in Mpv.Data.EventName Associated Types type Rep EventName :: Type -> Type # Methods from :: EventName -> Rep EventName x # to :: Rep EventName x -> EventName #
Show EventName Source #
Instance details Defined in Mpv.Data.EventName Methods showsPrec :: Int -> EventName -> ShowS # show :: EventName -> String # showList :: [EventName] -> ShowS #
Eq EventName Source #
Instance details Defined in Mpv.Data.EventName Methods (==) :: EventName -> EventName -> Bool # (/=) :: EventName -> EventName -> Bool #
GEq Event Source #
Instance details Defined in Mpv.Data.Event Methods geq :: forall (a :: k) (b :: k). Event a -> Event b -> Maybe (a :~: b) #
GShow Event Source #
Instance details Defined in Mpv.Data.Event Methods gshowsPrec :: forall (a :: k). Int -> Event a -> ShowS #
ToJSON (Some Event) Source #
Instance details Defined in Mpv.Data.Event Methods toJSON :: Some Event -> Value # toEncoding :: Some Event -> Encoding # toJSONList :: [Some Event] -> Value # toEncodingList :: [Some Event] -> Encoding #
type Rep EventName Source #
Instance details Defined in Mpv.Data.EventName type Rep EventName = D1 ('MetaData "EventName" "Mpv.Data.EventName" "mpv-0.1.0.0-JpycyfjAFzQI1mqEzHeqWy" 'False) ((C1 ('MetaCons "FileLoaded" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EndFile" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pause" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Unknown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Other" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))