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

Copilot.Zephyr.Board.Generic

Description

This module exposes inputs and outputs that Zephyr provides for many boards, such as led0 and sw0.

When used with a board that does not support a particular input or output, compilation of the generated C code will fail with an error.

Synopsis

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.

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.