ComonadEnv

public protocol ComonadEnv : Comonad

Undocumented

  • Undocumented

    Declaration

    Swift

    associatedtype E
  • Undocumented

    Declaration

    Swift

    static func ask<A>(_ wa: Kind<Self, A>) -> E
  • Undocumented

    Declaration

    Swift

    static func local<A>(_ wa: Kind<Self, A>, _ f: @escaping (E) -> E) -> Kind<Self, A>
  • asks(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    static func asks<A, EE>(_ wa: Kind<Self, A>, _ f: @escaping (E) -> EE) -> EE