zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/ContravariantSubset

ContravariantSubset

zio.prelude.ContravariantSubset
trait ContravariantSubset[F[_], Subset[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Contravariant[F]

Members list

Value members

Abstract methods

def contramapSubset[A, B : Subset](f: B => A): (F[A]) => F[B]
Generated with