AppliedBitraversalElementOps
Value members
Concrete methods
create a monomorphic proptics.Traversal_ for structure G[A, A]
that can traverse both sides
create a monomorphic proptics.Traversal_ for structure G[A, A]
that can traverse both sides
create a polymorphic proptics.Traversal_ for structure G[A, A]
that can traverse both sides
create a polymorphic proptics.Traversal_ for structure G[A, A]
that can traverse both sides