You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As a point of comparison, we have atraversalVL and toAtraversalVL for AffineTraversal, even though our definition of AffineTraversalVL is slightly wrong as it takes the "Pointed dictionary" as an explicit argument. So there's precedent for deviating slightly here. As long as we document the infelicity I'd be happy with foldVL.
Split from #165.
mkFold
used to be calledfoldVL
, but I changed it as it takes something more general than VL fold sincef
doesn't need to beContravariant
.But it occurs to me now that we can't have proper
foldVL
because we usewander
for folds internally and it doesn't know aboutContravariant
.Shall we rename it back? I'd be inclined to do so. @adamgundry what do you think?
The text was updated successfully, but these errors were encountered: