Snoc defines a Prism between a S and its init and last element A and thus can be seen as the reverse of Cons. It provides a way to attach or detach elements on the end side of a structure.
source of Prism and init of Prism target.
last of Prism focus, A is supposed to be unique for a given S.
Provides an Optional between S and its init S.
Provides an Optional between S and its last element A.
Provides a Prism between a S and its init and last element A.
Append an element A to S.
Deconstruct an S between its init and last element.
Selects all elements except the last.