COSMETIC: Compact variant of default show method for acsets.

src/categorical_algebra/CSetDataStructures.jl

@@ -602,16 +602,21 @@ end
 
 function Base.show(io::IO, acs::T) where {S,T<:StructACSet{S}}
   s = SchemaDesc(S)
-  print(io, T)
-  println(io, "(")
-  join(io, Iterators.flatten((
-    ("  $ob = $(parts(acs,ob))" for ob in s.obs),
-    ("  $f : $(s.doms[f]) → $(s.codoms[f]) = $(subpart(acs,f))"
-     for f in s.homs),
-    ("  $a : $(s.doms[a]) → $(s.codoms[a]) = $(subpart(acs,a))"
-     for a in s.attrs),
-  )), ",\n")
-  print(io, ")")
+  if get(io, :compact, false)
+    print(io, nameof(T))
+    print(io, ": ")
+    join(io, ("$ob = $(nparts(acs,ob))" for ob in s.obs), ", ")
+  else
+    print(io, T)
+    println(io, ":")
+    join(io, Iterators.flatten((
+      ("  $ob = $(parts(acs,ob))" for ob in s.obs),
+      ("  $f : $(s.doms[f]) → $(s.codoms[f]) = $(subpart(acs,f))"
+       for f in s.homs),
+      ("  $a : $(s.doms[a]) → $(s.codoms[a]) = $(subpart(acs,a))"
+       for a in s.attrs),
+    )), "\n")
+  end
 end
 
 # TODO: implement Tables interface

test/categorical_algebra/CSetDataStructures.jl

@@ -73,14 +73,17 @@ rem_parts!(dds, :X, [1,4])
 @test incident(dds, 1, :Φ) == [1,2]
 @test incident(dds, 2, :Φ) == []
 
-## Pretty printing.
-
+# Pretty printing.
 dds = DDS()
 add_parts!(dds, :X, 3, Φ=[2,3,3])
 s = sprint(show, dds)
-@test occursin("DDS(", s)
+@test occursin("DDS:", s)
 @test occursin("X = 1:3", s)
 @test occursin("Φ : X → X = ", s)
+s = sprint(show, dds, context=:compact => true)
+@test occursin("DDS:", s)
+@test !occursin("\n", s)
+@test occursin("X = 3", s)
 
 s = sprint(show, MIME"text/plain"(), dds)
 @test occursin("DDS", s)
@@ -199,7 +202,7 @@ du = disjoint_union(d, d2)
 
 # Pretty printing of data attributes.
 s = sprint(show, d)
-@test occursin("Dendrogram{Int64}(", s)
+@test occursin("Dendrogram{Int64}:", s)
 @test occursin("height : X → R = ", s)
 
 s = sprint(show, MIME"text/plain"(), d)