System.GPIO.Types
data Pin
data PinInputMode
data PinOutputMode
data PinCapabilities
data PinDirection
data PinActiveLevel
data PinValue
data PinInterruptMode
pinNumber
invertDirection
invertValue
valueToBool
boolToValue
data SomeGpioException
gpioExceptionToException
gpioExceptionFromException