Procs
proc developCommand(v: Values) {....raises: [ValueError, OSError, IOError, KeyError, Exception, StoreError, WalError, CatchableError, JsonParsingError], tags: [ ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteDirEffect, WriteIOEffect, RootEffect, TimeEffect], forbids: [].}
proc initCommand(v: Values) {....raises: [OSError, KeyError, IOError, ValueError, EOFError, Exception], tags: [ WriteIOEffect, ReadEnvEffect, RootEffect, ReadIOEffect, ReadDirEffect, WriteDirEffect], forbids: [].}
- Initializes a new Tim Engine package at the current working directory
proc installCommand(v: Values) {....raises: [ValueError, OSError, IOError, KeyError, Exception, StorageError, InvalidVersionError, StoreError, WalError, CatchableError, JsonParsingError, ResourceExhaustedError, Exception], tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteDirEffect, WriteIOEffect, RootEffect, TimeEffect, ExecIOEffect], forbids: [].}
proc removeCommand(v: Values) {....raises: [ValueError, OSError, IOError, KeyError, Exception, StoreError, WalError, CatchableError], tags: [ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteDirEffect, WriteIOEffect, RootEffect, TimeEffect], forbids: [].}
proc watchCommand(v: Values) {....raises: [OSError, IOError], tags: [ReadDirEffect, WriteIOEffect], forbids: [].}
-
Watches for file changes and rebuilds the project.
This command is used for development purposes for transpiling Tim code to target source on the fly.