show types within optics same as functions

For example, show result for @o Tuple(_.a[2]):
before: "Tuple ∘ (@o _.a[2])"
with this PR: "(@o Tuple(_.a[2]))"

Author: aplavin

src/sugar.jl

@@ -493,7 +493,7 @@ IndexLens(::Tuple{Properties}) = Properties()
 ### nice show() for optics
 _shortstring(prev, o::PropertyLens{field}) where {field} = "$prev.$field"
 _shortstring(prev, o::IndexLens) ="$prev[$(join(repr.(o.indices), ", "))]"
-_shortstring(prev, o::Function) = _isoperator(o) ? "$o$prev" : "$o($prev)"
+_shortstring(prev, o::Union{Function,Type}) = _isoperator(o) ? "$o$prev" : "$o($prev)"
 _shortstring(prev, o::Base.Fix1) = _isoperator(o.f) ? "$(o.x) $(o.f) $prev" : "$(o.f)($(o.x), $prev)"
 _shortstring(prev, o::Base.Fix2) = _isoperator(o.f) ? "$prev $(o.f) $(o.x)" : "$(o.f)($prev, $(o.x))"
 _shortstring(prev, o::Elements) = "$prev[∗]"

test/test_core.jl

@@ -465,6 +465,7 @@ end
     @test sprint(show, (@optic (_.a + 1) * 2)) == "(@o (_.a + 1) * 2)"
     @test sprint(show, (@optic (_.a * 2) + 1)) == "(@o (_.a * 2) + 1)"
     @test sprint(show, (@optic log(_.a[2]))) == "(@o log(_.a[2]))"
+    @test sprint(show, (@optic Tuple(_.a[2]))) == "(@o Tuple(_.a[2]))"
     @test sprint(show, (@optic log(_).a[2])) == "(@o _.a[2]) ∘ log"  # could be shorter, but difficult to dispatch correctly without piracy
     @test sprint(show, (@optic log(_.a[2])); context=:compact => true) == "log(_.a[2])"
 end