util.ml
来自「php 开发的内容管理系统」· ML 代码 · 共 18 行
ML
18 行
let mapjoin f l = (List.fold_left (fun a b -> a ^ (f b)) "" l)let mapjoine e f = function [] -> "" | h::t -> (List.fold_left (fun a b -> a ^ e ^ (f b)) (f h) t)exception FileAlreadyExistslet open_out_unless_exists path = if Sys.file_exists path then raise FileAlreadyExists else open_out pathlet run_in_other_directory tmppath cmd = let prevdir = Sys.getcwd () in( Sys.chdir tmppath; let retval = Sys.command cmd in (Sys.chdir prevdir; retval) )
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?