Generated Tutorial Dataset Paths

TorchLean tutorials can generate a few small deterministic datasets under NN/Examples/Data/. This module centralizes:

• the default data directory,
• the file paths of the generated sample datasets, and
• a small CLI convenience for overriding the directory via --data-dir.

These helpers are small and predictable: they exist so tutorial code does not hardcode paths (or reimplement the same flag parsing) in many places.

def NN.Examples.Data.ToyPaths.defaultDataDir : System.FilePath

Default relative directory containing generated tutorial datasets.

def NN.Examples.Data.ToyPaths.takeDataDir (args : List String) (default : System.FilePath := defaultDataDir) : Except String (System.FilePath × List String)

Parse an optional --data-dir PATH flag (defaults to defaultDataDir).

This is used by tutorials that load local generated CSV/NPY files from disk.

def NN.Examples.Data.ToyPaths.regressionCsv (dataDir : System.FilePath := defaultDataDir) : System.FilePath

toy_regression.csv (2D regression).

def NN.Examples.Data.ToyPaths.regressionXNpy (dataDir : System.FilePath := defaultDataDir) : System.FilePath

toy_regression_X.npy (shape 25x2).

def NN.Examples.Data.ToyPaths.regressionYNpy (dataDir : System.FilePath := defaultDataDir) : System.FilePath

toy_regression_y.npy (shape 25x1).

def NN.Examples.Data.ToyPaths.cifar10likeXNpy (dataDir : System.FilePath := defaultDataDir) : System.FilePath

toy_cifar10like_X.npy (shape 200x3x32x32).

def NN.Examples.Data.ToyPaths.cifar10likeYNpy (dataDir : System.FilePath := defaultDataDir) : System.FilePath

toy_cifar10like_y.npy (shape 200).