final case classFileNameOf[A](filename: FileName) extends Product with Serializable
Represents a FileName 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[FileNameOf[A]] will generate an arbitrary FileName where
the path segment is formed by the string representation of an arbitrary A.
Represents a
FileName
indexed by another typeA
which is used to generate the segment.i.e. For some type
A
such thatArbitrary[A]
andShow[A]
,Arbitrary[FileNameOf[A]]
will generate an arbitraryFileName
where the path segment is formed by the string representation of an arbitraryA
.