AlphaGitHub
Source/Systems

LocalCorrelation.System

systems/local-correlation/src/LocalCorrelation/System.alpha

104 lines9 declarations2.8 KiBSHA-256 4f106dd3a7be
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 87–104

correlationEvaluation

Full file
87def correlationEvaluation =
88  (constructor
89    StdList
90    StdListCons
91    (family PointwiseAssignment StdU64 2)
92    (constructor
93      PointwiseAssignment
94      PointwiseAssign
95      StdU64
96      2
97      (stdFinFirst 1)
98      (pointwiseBinary
99        StdU64
100        2
101        (constructor PointwiseBinary PointwiseAdd)
102        (constructor PointwiseExpression PointwiseInput StdU64 2 (stdFinFirst 1))
103        (constructor PointwiseExpression PointwiseInput StdU64 2 (stdFinNextOf 1 (stdFinFirst 0)))))
104    (constructor StdList StdListEmpty (family PointwiseAssignment StdU64 2)))

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.