view package:Agda

Ask for part of read-only state.

The next patterns are ... (This view discards PatInfo.)

Construct the LHSPatternView of the given list (if not empty). Return the view and the remaining patterns.

Collects plain lambdas.

Collect A.Pis.

Gather applications to expose head and spine. Note: everything is an application, possibly of itself to 0 arguments

Gather top-level AsPatterns to expose underlying pattern.

The Expr is not an application.

Split a name into a base name plus a suffix.