final case classDirNameOf[A](dirname: DirName) extends Product with Serializable
Represents a DirName indexed by another type A which is used to
generate the segment.
i.e. For some type A such that Arbitrary[A] and Show[A],
Arbitrary[DirNameOf[A]] will generate an arbitrary DirName where
the path segment is formed by the string representation of an arbitrary A.
Represents a
DirName
indexed by another typeA
which is used to generate the segment.i.e. For some type
A
such thatArbitrary[A]
andShow[A]
,Arbitrary[DirNameOf[A]]
will generate an arbitraryDirName
where the path segment is formed by the string representation of an arbitraryA
.