libretto.lambda.Focus.Proper
sealed trait Proper[|*|[_, _], F[_]] extends Focus[|*|, F]
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Known subtypes
-
Members list
Attributes
-
Inherited from:
-
Focus
Attributes
-
Inherited from:
-
Focus
Attributes
-
Inherited from:
-
Focus
Attributes
-
Inherited from:
-
Focus