Package com.github.tonivade.purefun.instances

Interface ConstContravariant<T>

All Superinterfaces:
Contravariant<Const<T,?>>, Invariant<Const<T,?>>
interface ConstContravariant<T> extends Contravariant<Const<T,?>>

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final ConstContravariant
    INSTANCE
     

  • Method Summary

    Modifier and Type
    Method
    Description
    default <A, B> Const<T,B>
    contramap(Kind<Const<T,?>,? extends A> value, Function1<? super B,? extends A> map)
     

    Methods inherited from interface com.github.tonivade.purefun.typeclasses.Contravariant

    imap