ref. esp8266#6047

Author: mcspr

Diff for: cores/esp8266/Arduino.h

@@ -182,9 +182,9 @@ unsigned long pulseInLong(uint8_t pin, uint8_t state, unsigned long timeout);
 void shiftOut(uint8_t dataPin, uint8_t clockPin, uint8_t bitOrder, uint8_t val);
 uint8_t shiftIn(uint8_t dataPin, uint8_t clockPin, uint8_t bitOrder);
 
-void attachInterrupt(uint8_t pin, void (*)(void), int mode);
+void attachInterrupt(uint8_t pin, void (*)(), int mode);
+void attachInterruptParam(uint8_t pin, void (*)(void*), int mode, void* param);
 void detachInterrupt(uint8_t pin);
-void attachInterruptArg(uint8_t pin, void (*)(void*), void* arg, int mode);
 
 void preinit(void);
 void setup(void);
@@ -223,6 +223,7 @@ void optimistic_yield(uint32_t interval_us);
 #ifdef __cplusplus
 
 #include <algorithm>
+#include <functional>
 #include <cstdlib>
 #include <cmath>
 
@@ -264,6 +265,9 @@ long secureRandom(long);
 long secureRandom(long, long);
 long map(long, long, long, long, long);
 
+// Functional interrupt handler
+void attachInterrupt(uint8_t pin, std::function<void()>, int mode);
+
 void setTZ(const char* tz);
 
 void configTime(int timezone, int daylightOffset_sec, const char* server1,