not quite ready to demo, but getting close
# arrowj
jacob
05/11/2019, 3:37 PMnot quite ready to demo, but getting close
👏 1
p
pakoito
05/11/2019, 11:46 PMcan’t you create a fun <F, A, T> T.getAndLog(Fa) where T: HasLog<F>, T: HasRepository<F>
pakoito
05/11/2019, 11:47 PMand then an object that implements both
pakoito
05/11/2019, 11:47 PMit may not be possible with some recent changes to inference
j
jacob
05/12/2019, 12:24 AMended up using kleisli
p
pakoito
05/12/2019, 12:33 AM👍🏼
j
jacob
05/12/2019, 9:34 AMhmm ,trying to unify the two approaches. Kleisli { env -> } is seems like the env should be the T, but I can't make the types match up
p
pakoito
05/12/2019, 10:38 AMcan you please give me a self-contained snippet I can paste in IJ or the try.arrow-kt.in sandbox?
j
jacob
05/12/2019, 10:39 AMsure thing! thanks, appreciate your time
4 Views