AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

systems/partitioned-regression/src/PartitionedRegression/CoordinateHost.alpha

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 441–464

chDestinations

Full file
441def chDestinations =
442  (lambda unrestricted layout : (family CoordinateHostLayout) .
443    (lambda unrestricted worker : Nat .
444      (constructor
445        StdList
446        StdListCons
447        (family NativeRegionDestination)
448        (constructor
449          NativeRegionDestination
450          NativeRegionDestinationOf
451          0
452          (coordinateInterval worker)
453          (chWeight layout))
454        (constructor
455          StdList
456          StdListCons
457          (family NativeRegionDestination)
458          (constructor
459            NativeRegionDestination
460            NativeRegionDestinationOf
461            1
462            (coordinateInterval worker)
463            (chAccumulator layout))
464          (constructor StdList StdListEmpty (family NativeRegionDestination))))))

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.