Generated Tutorial Dataset Paths

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

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

Keeping these paths in one module keeps tutorial code from hardcoding filenames or reimplementing the same flag parsing in each example.

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

Default relative directory containing generated tutorial datasets.

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

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

Tutorials use this when they load generated CSV/NPY files from disk.

structure NN.Examples.Data.SamplePaths.XyPaths : Type

Resolved --x / --y dataset paths for sample-data tutorials.

• xPath : System.FilePath

  Feature or image tensor path.

• yPath : System.FilePath

  Label or target tensor path.

@[implicit_reducible]

instance NN.Examples.Data.SamplePaths.instReprXyPaths : Repr XyPaths

def NN.Examples.Data.SamplePaths.instReprXyPaths.repr : XyPaths → ℕ → Std.Format

def NN.Examples.Data.SamplePaths.takeXyPaths (args : List String) (defaultX defaultY : System.FilePath) : Except String (XyPaths × List String)

Parse optional --x / --y overrides and fall back to the supplied sample-data defaults.

Tutorials that load paired .npy files use this instead of re-implementing the same takePathFlagOnce / getD boilerplate in every example.

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

small_regression.csv (2D regression).

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

small_regression_X.npy (shape 25x2).

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

small_regression_y.npy (shape 25x1).

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

small_cifar10like_X.npy (shape 200x3x32x32).

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

small_cifar10like_y.npy (shape 200).