Idris2Doc
: Graphics.DOT.Utils
Index
Default
Alternative
Black & White
Graphics.DOT.Utils
(
source
)
Various utilities for common manipulations of the DOT AST
Reexports
import
public
Graphics.DOT.Utils.Filters