zephyr-copilot-1.0.2: Embedded programming in haskell using the Copilot stream DSL and Zephyr
Safe HaskellNone
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.