什么Diagrams后端支持动画？

Question

在diagrams tutorial中出现以下文字：

  

某些后端支持渲染动画（通常作为单独索引的帧文件）。

> -- Animation
>
> a :: Animation Cairo V2 Double
> a = ...
>
> main = mainWith a

所以从这里开始制作一个小动画。我找到Diagrams.Animation并发现Animation类型是

type Animation b v n = Active (QDiagram b v n Any) 

从那里我看了Data.Active，并且能够为自己建立一点Animation。

此时我尝试编译，但被告知我的Animation不是Mainable。我认为这必然意味着我的后端Diagrams.Backend.SVG.CmdLine不支持动画。所以我去看了一些其他的后端，但我找不到Animation s Mainable。

教程讲的是什么后端？那是什么后端支持动画？

Answer 1

li和diagrams-cairo可以从diagrams-rasterific生成动画GIF。 Animation有一个diagrams-postscript实例，可为Mainable的每一帧保存一个带编号的文件。