Реактивная модель возврата какао типа

Question

Я хочу создать расширение на SignalProducerType, как показано ниже.

extension SignalProducerType{ 
    func mapR() -> SignalProducer<[String:AnyObject], XError> { 
      return attemptMap { (value: [String:AnyObject]) -> Result<[String:AnyObject], XError> in 
       return Result(value: ["1":1]) 
      } 
     } 
} 

XError определяется как ERRORTYPE

public enum XError: ErrorType{ 
    case Invalid 
    case Unsuccessful 
} 

Но это не будет компилировать и ошибок.

'attemptMap' производит 'SignalProducer', а не предполагаемого типа контекстной результат 'Результат < [Строка: AnyObject], XError>' (ака 'Результат, XError>')

Answer 1

Вы расширяют SignalProducerType, который имеет общие связанные типы Value и Error, что означает, что self является типичным типом, например SignalProducer<Value, Error>. Поэтому вы не можете вызвать attempMap с конкретным типом значения [String: AnyObject] и конкретным типом ошибки XError.

Заменить первую строку extension SignalProducerType с

extension SignalProducerType where Value == [String:AnyObject], Error == XError