aboutsummaryrefslogtreecommitdiff
path: root/matrix/Helpers.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-23 19:11:31 +0100
commitec812521b31471ce9ac3d9bdf1288b1569defbc8 (patch)
treed384c959b9e9bb2a04141ab56077026fe6e7c7f3 /matrix/Helpers.ml
parent6354358caa1dfbf2fe1d481f6ac5fba3775938fc (diff)
Add svg output
Diffstat (limited to 'matrix/Helpers.ml')
-rwxr-xr-xmatrix/Helpers.ml16
1 files changed, 0 insertions, 16 deletions
diff --git a/matrix/Helpers.ml b/matrix/Helpers.ml
deleted file mode 100755
index 6980052..0000000
--- a/matrix/Helpers.ml
+++ /dev/null
@@ -1,16 +0,0 @@
-(* Takes in a string and a separator, and separates the string into a list of
- * substrings where each substring is between two separators or between a
- * separator and the beginning/end of the string *)
-let explode (s: string) (space: string) : string list =
- let rec build (curr: string) (buffer: string) (lst: string list) : string list =
- let len = String.length curr in
- if len = 0 then buffer::lst
- else
- let c = String.sub curr (len - 1) 1 in
- if len = 1 then (c ^ buffer)::lst
- else
- let s' = String.sub curr 0 (len - 1) in
- if c = space then build s' "" (buffer::lst)
- else build s' (c ^ buffer) lst in
- build (String.trim s) "" []
-