harness-deriving
API
Generated with
harness-deriving/harness.deriving/K0T/ProductInstances/withInstance

withInstance

harness.deriving.K0T.ProductInstances.withInstance
final case class withInstance(a: F)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Classlikes

object foldLeft

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
foldLeft.type
object map

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
map.type

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with