Source/Packages

Representation.Schema

packages/representations/src/Representation/Schema.alpha

701 lines99 declarations24.8 KiBSHA-256 209c8ba5712e

def · lines 686–701

continuationSchemaKeys

Full file
one line per entry: the category, then the structural key, for rendering
686def continuationSchemaKeys =
687  (lambda unrestricted schema : (family ContinuationSchema) .
688    (stdListFold
689      (family ContinuationEntry)
690      Bytes
691      (lambda unrestricted entry : (family ContinuationEntry) .
692        (lambda unrestricted rest : Bytes .
693          (bytes-append
694            (continuationCategoryName (continuationEntryCategoryOf entry))
695            (bytes-append
696              b" "
697              (bytes-append
698                (updatePathBytes (continuationEntryKeyOf entry))
699                (bytes-append b"\n" rest))))))
700      b""
701      (continuationSchemaEntriesOf schema)))

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.