FilesIO Module
Types
Type | Description |
Functions and values
Function or value | Description |
Full Usage:
askForExistingProjectPath defaultPath
Parameters:
string option
Returns: string option
|
|
Full Usage:
askForExistingSheetPaths defaultPath
Parameters:
string option
Returns: string list option
|
|
Full Usage:
askForNewFile projectPath
Parameters:
string
Returns: string option
|
|
Full Usage:
askForNewProjectPath defaultPath
Parameters:
string option
Returns: string option
|
|
Full Usage:
backupFileData path baseName
Parameters:
string
baseName : string
Returns: (int option * string) list
|
|
Full Usage:
baseName filePath
Parameters:
string
Returns: string
|
|
Full Usage:
baseNameWithoutExtension
Returns: string -> string
|
|
|
|
Full Usage:
copyFile sourcePath newPath
Parameters:
string
newPath : string
|
|
Full Usage:
createEmptyDgmFile folderPath baseName
Parameters:
string
baseName : string
Returns: Result<unit, string>
|
|
Full Usage:
dirName filePath
Parameters:
string
Returns: string
|
|
Full Usage:
ensureDirectory dPath
Parameters:
string
|
|
Full Usage:
exists filePath
Parameters:
string
Returns: bool
|
|
Full Usage:
extName filePath
Parameters:
string
Returns: string
|
|
Full Usage:
fileExistsWithExtn extn folderPath baseName
Parameters:
string
folderPath : string
baseName : string
Returns: bool
|
|
Full Usage:
fileNameIsBad name
Parameters:
char seq
Returns: bool
|
|
Full Usage:
filePathIsBad
Returns: string -> bool
|
|
Full Usage:
getBaseNameNoExtension filePath
Parameters:
string
Returns: string
|
|
Full Usage:
getCWD u
Parameters:
unit
Returns: string
|
|
Full Usage:
getLatestCanvas state
Parameters:
SavedInfo
Returns: Component list * Connection list
|
|
|
Update from old component types to new In addition do some sanity checks The standard way to add functionality to an existing component is to create a new component type, keeping the old type. Then on reading sheets from disk both new and old will be correctly read. This function will be called on load and will convert from the old type to the new one so that the rest of issie need only process new types, but compatibility with saved old types remains.
|
Full Usage:
hasExtn extn fName
Parameters:
string
fName : string
Returns: bool
|
|
|
|
|
|
Full Usage:
latestBackupFileData path baseName
Parameters:
string
baseName : string
Returns: (int * string) option
|
|
Full Usage:
loadAllComponentFiles folderPath
Parameters:
string
Returns: Result<LoadStatus list, string>
|
|
Full Usage:
magnifySheet magnification comp
Parameters:
float
comp : LegacyComponent
Returns: LegacyComponent
|
|
Full Usage:
makeData aWidth dWidth makeFun
Parameters:
int
dWidth : int
makeFun : int -> int -> bigint
Returns: Map<bigint, bigint>
|
|
|
|
Full Usage:
makeLoadedComponentFromCanvasData (arg1, arg2) filePath timeStamp waveInfo sheetInfo
Parameters:
Component list
arg1 : Connection list
filePath : string
timeStamp : DateTime
waveInfo : SavedWaveInfo option
sheetInfo : SheetInfo option
Returns: LoadedComponent * Component list
|
|
Full Usage:
mkdir folderPath
Parameters:
string
|
|
Full Usage:
openWriteDialogAndWriteMemory mem path
Parameters:
Memory1
path : string
Returns: string option
|
|
Full Usage:
pathJoin args
Parameters:
string[]
Returns: string
|
|
Full Usage:
pathWithoutExtension filePath
Parameters:
string
Returns: string
|
|
Full Usage:
readFile filePath
Parameters:
string
Returns: string
|
|
Full Usage:
readFilesFromDirectory path
Parameters:
string
Returns: string list
|
|
Full Usage:
readFilesFromDirectoryWithExtn path extn
Parameters:
string
extn : string
Returns: string list
|
|
Full Usage:
readMemDefnLine addressWidth wordWidth lineNo s
Parameters:
int
wordWidth : int
lineNo : int
s : string
Returns: Result<(bigint * bigint), string>
|
|
|
|
Full Usage:
readMemLines addressWidth wordWidth lines
Parameters:
int
wordWidth : int
lines : string array
Returns: Result<(bigint * bigint)[], string>
|
|
Full Usage:
readdir folderPath
Parameters:
string
Returns: string[]
|
|
Full Usage:
removeAutoFile folderPath baseName
Parameters:
string
baseName : string
|
|
Full Usage:
removeExtn extn fName
Parameters:
string
fName : string
Returns: string option
|
|
Full Usage:
removeFile folderPath baseName
Parameters:
string
baseName : string
|
|
Full Usage:
removeFileWithExtn extn folderPath baseName
Parameters:
string
folderPath : string
baseName : string
|
|
Full Usage:
rename oldPath newPath
Parameters:
string
newPath : string
|
|
Full Usage:
renameFile extn folderPath baseName newBaseName
Parameters:
string
folderPath : string
baseName : string
newBaseName : string
Returns: Result<unit, string>
|
|
|
|
Full Usage:
savePngFile folderPath baseName png
Parameters:
string
baseName : string
png : string
Returns: Result<unit, string>
|
|
Full Usage:
saveStateToFile folderPath baseName (arg3, arg4, arg5)
Parameters:
string
baseName : string
arg2 : CanvasState
arg3 : SavedWaveInfo option
arg4 : SheetInfo option
Returns: Result<unit, string>
|
|
Full Usage:
saveStateToFileExperimental folderPath baseName (arg3, arg4, arg5)
Parameters:
string
baseName : string
arg2 : CanvasState
arg3 : SavedWaveInfo option
arg4 : SheetInfo option
Returns: Result<unit, string>
|
|
Full Usage:
staticDir ()
Parameters:
unit
Returns: string
|
|
Full Usage:
staticDirFromStatic ()
Parameters:
unit
Returns: string
|
|
Full Usage:
staticFileDirectory
Returns: string
|
|
|
|
|
|
Full Usage:
tryLoadComponentFromPath filePath
Parameters:
string
Returns: Result<LoadedComponent, string>
|
|
|
|
Full Usage:
unlink folderPath
Parameters:
string
|
|
Full Usage:
writeFile path data
Parameters:
string
data : string
Returns: Result<unit, string>
|
|
|
|