ComonadTrans

public protocol ComonadTrans : Comonad

The ComonadTrans type class represents Comonad Transformers.

  • The input type parameter of this transformer.

    Declaration

    Swift

    associatedtype W : Comonad
  • Obtains the comonadic value contained in the provided comonad transformer.

    Declaration

    Swift

    static func lower<A>(_ twa: Kind<Self, A>) -> Kind<W, A>

    Parameters

    twa

    Value containing another comonadic value.

    Return Value

    Contained comonadic value within the transformer.