zephyr-copilot-1.0.7: Embedded programming in haskell using the Copilot stream DSL and Zephyr
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Zephyr.Board.Adafruit_itsybitsy_m4_express

Contents

Description

Programming the adafruit_itsybitsy_m4_express board with Copilot.

Synopsis

Documentation

sw0 :: Pin '['DigitalIO] Source #

A push button, connected to a GPIO pin.

Many boards include such a button, which is referred to as the "User Button" in Zephyr's documentation.

led0 :: Pin '['DigitalIO] Source #

An on-board LED, connected to a GPIO pin.

Many boards include such a LED, which is referred to as the "User LED" in Zephyr's documentation.

Pins

pin13 :: Pin '['DigitalIO] Source #

same as led0

sck :: Pin '['DigitalIO] Source #

SPI SCK

mosi :: Pin '['DigitalIO] Source #

SPI MOSI

miso :: Pin '['DigitalIO] Source #

SPI MISO