我正在努力用Scalaz7
来理解monad堆栈和monad变换器。我觉得我非常接近答案,但却无法理解我的特定步骤。
以下代码在磁盘上查找ffmpeg
二进制文件,然后创建要运行的可执行命令,然后执行该命令,然后对输出执行一些简单的操作。
object Encoder {
def findFfmpeg: OptionT[IO, String] = {
OptionT[IO, String](IO {
List("/usr/local/bin/ffmpeg", "/usr/bin/ffmpeg").find {
new File(_).exists
}
}
)
}
def getCommand(ffmpegBin: String,
videoFile: String) = s"$ffmpegBin $videoFile '-vcodec libx264 -s 1024x576' /tmp/out.mp4"
def callFfmpeg(command: String): IO[Option[Stream[String]]] = IO {
Some(Process(command).lines_!)
}
def getStream(fileName: String): OptionT[IO, Stream[String]] = {
val optionalCommand: OptionT[IO, String] = findFfmpeg map {
getCommand(_, fileName)
}
optionalCommand >>= {
command => OptionT[IO, Stream[String]](callFfmpeg(command))
}
}
def encode(fileName: String): IO[Unit] = {
getStream(fileName) map {
a: Stream[String] =>
a map {
_.length
} foreach (println)
} getOrElse (Unit.box {println("nothing")})
}
}
运行
启动代码Encoder.encode("/path/to/video.mp4").unsafePerformIO
此代码有效,但您会注意到callFfmpeg
的类型签名为IO[Option[Stream[String]]]
而非IO[Stream[String]]
。我必须将其更改为使其进行类型检查,但实际上所有callFfmpeg
都会调用执行一个返回Stream
的进程,它的类型签名应为IO[Stream[String]]
。
我的问题是,鉴于当时我致电callFfmpeg
我正在处理IO[Option[String]]
我该如何到达IO[Option[Stream[String]]]
?
答案 0 :(得分:1)
所以我设法使用liftM[OptionT]
转换了类型。
所以我的callFfmpeg
功能可以变成:
def callFfmpeg(command: String): IO[Stream[String]] = IO {
Process(command).lines_!
}
我的getStream
函数现在变为:
def getStream(fileName: String): OptionT[IO, Stream[String]] = {
val optionalCommand: OptionT[IO, String] = findFfmpeg map {
getCommand(_, fileName)
}
optionalCommand >>= {
command => callFfmpeg(command).liftM[OptionT]
}
}
这允许从IO[Stream[String]]
转换为IO[Option[Stream[String]]]
这是我所追求的。