Polysemy.Video

Experimental Video processing DSL for Polysemy.

Documentation

data Time

Timestamp data type.

Constructors

Time

Fields

• hour :: Int
• minutes :: Int
• seconds :: Int
• frame :: Int

Instances

Eq Time

Defined in Polysemy.Video

Methods

(==) :: Time -> Time -> Bool

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

Ord Time

Defined in Polysemy.Video

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

(<=) :: Time -> Time -> Bool

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

Show Time

Defined in Polysemy.Video

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

data Range

Interval of two timestamps.

Constructors

Range

Fields

• from :: Time
• to :: Time

Instances

Eq Range

Defined in Polysemy.Video

Methods

(==) :: Range -> Range -> Bool

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

Ord Range

Defined in Polysemy.Video

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

(<=) :: Range -> Range -> Bool

(>) :: Range -> Range -> Bool

(>=) :: Range -> Range -> Bool

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Show Range

Defined in Polysemy.Video

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

data ClipProcess m a where

Constructors

ExtractAudio :: Path b File -> [(Range, Path b' File)] -> ClipProcess m ()

ExtractClips :: Path b File -> [(Range, Path b' File)] -> ClipProcess m ()

ExtractFrames :: Path b File -> [(Time, Path b' File)] -> ClipProcess m ()

extractFrames :: forall r b b'. MemberWithError ClipProcess r => Path b File -> [(Time, Path b' File)] -> Sem r ()

extractClips :: forall r b b'. MemberWithError ClipProcess r => Path b File -> [(Range, Path b' File)] -> Sem r ()

extractAudio :: forall r b b'. MemberWithError ClipProcess r => Path b File -> [(Range, Path b' File)] -> Sem r ()

timeFF :: Time -> Text

Format a Timestamp to ffmpeg's format 00:00:00.000.

seekFF :: Time -> [Text]

"-ss x" where x is a timestamp.

rangeFF :: Range -> Path b File -> [Text]

"-ss x -to y output".

frameFF :: Time -> Path b File -> [Text]

"-ss x -vframes 1 output"

inputFF :: Path b File -> [Text]

"-i output"

runffmpeg :: MonadIO m => [Text] -> m ()

"ffmpeg -y" followed by some arguments.

mktreeFP :: MonadIO m => Path b Dir -> m ()

"mkdir -p" with a `Path b Dir`.

interpretFFMpegCli :: Member (Embed IO) effs => Sem (ClipProcess ': effs) a -> Sem effs a

Interpret ClipProcess by running it against ffmpeg on the command line.

interpretFFMpegNoop :: Member (Embed IO) effs => Sem (ClipProcess ': effs) a -> Sem effs a

Interpret ClipProcess by printing out the command it would have run to the terminal.