Open sleexyz opened 9 years ago
Requirements:
X: filesystem space Y: output space
X
Y
f : X -> Y f must be an injection. That is, for each filesystem configuration x, there exists a unique output y where f(x) = y.
f : X -> Y
f
x
y
f(x) = y
Also document the data per path! e.g. src, size, mtime, etc.
src
size
mtime
Gonna add a new one, path
path
Requirements:
X
: filesystem spaceY
: output spacef : X -> Y
f
must be an injection. That is, for each filesystem configurationx
, there exists a unique outputy
wheref(x) = y
.