org.joda.time.format.DateTimeFormatter <auto-generated stub> Infix methods def apply(y: Rep[string]): Rep[double]