Idris2Doc : Katla.CLI

Katla.CLI

(source)
Reexports
import public Collie
Definitions
inlineCmd : Command "inline"
  Visibility: export
macroCmd : Command "macro"
  Visibility: export
markdownCmd : Command "markdown"
  Visibility: export
literateCmd : Command "literate"
  Visibility: export
htmlCmd : Command "html"
  Visibility: export
latexCmd : Command "latex"
  Visibility: export
katlaCmd : Command "katla"
  Visibility: export
katlaExec : katlaCmd ~~> IO ()
  Visibility: export