AlphaGitHub
Source/Packages

Learning.DataParallel

packages/learning/src/Learning/DataParallel.alpha

672 lines35 declarations28.2 KiBSHA-256 f725f80cd07f
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 437–448

dataParallelAllSamples

Full file
Every sample in owner order: the learner's input sequence without its placement among owners.
437def dataParallelAllSamples =
438  (lambda erased contribution : Nat .
439    (lambda erased update : Nat .
440      (lambda unrestricted system : (family DataParallelSystem contribution update) .
441        (stdListFold
442          (family StdList (family StdList StdU64))
443          (family StdList (family StdList StdU64))
444          (lambda unrestricted owned : (family StdList (family StdList StdU64)) .
445            (lambda unrestricted rest : (family StdList (family StdList StdU64)) .
446              (stdListAppend (family StdList StdU64) owned rest)))
447          (constructor StdList StdListEmpty (family StdList StdU64))
448          (dataParallelOwnerSamples contribution update system)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.