view package:parameterized-utils

Deprecated: Use viewAssign or the Empty and :> patterns instead.

View an assignment as either empty or an assignment with one appended.

Project an index

Project a size

Project out of Pair.

convert the view back to the runtime representation

Project out of Some.

Projects a value out of a SomeSym into a function, re-ifying the Symbol type parameter to the called function, along with the KnownSymbol constraint on that Symbol value.

Represent an assignment as either empty or an assignment with one appended.

View of indexes as pointing to the last element in the index range or pointing to an earlier element in a smaller range.

Allows interpreting a size.

When we have optimized the runtime representation, we need to have a "view" that decomposes the representation into the standard form.

Test whether a number is Zero or Successor