package ojs_filetree

You can search for identifiers within the package.

in-package search v0.2.0

Using filetrees in ojs_base applications, common part

Install

dune-project

Dependency

zoggy.frama.io Readme Edit opam file Versions (3)

Authors

Z

Zoggy <zoggy@bat8.org>

Maintainers

Z

zoggy@bat8.org

Sources

ojs-base-0.9.0.tar.bz2

md5=d1280f8b88bd6e03f62084c63027cf47

sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

doc/ojs_filetree.server/Ojs_filetree_server/Files/index.html

Module `Ojs_filetree_server.Files`Source

File utilities for filetree, server side

Sourceval is_dir : string -> bool

Source

val file_trees_of_dir : 
  ?filepred:(Ojs_base.Path.t -> bool) ->
  Ojs_base.Path.t ->
  [> `Dir of string * 'a | `File of string * string ] list as 'a