{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Copilot.Zephyr.Board.Generic
(
led0,
sw0,
module X,
) where
import Copilot.Zephyr as X
import Copilot.Zephyr.Internals
led0 :: Pin '[ 'DigitalIO ]
led0 :: Pin '[ 'DigitalIO]
led0 = forall {k} (t :: k). Zephyr -> Pin t
Pin (GPIOAlias -> GPIOAddress -> Zephyr
Zephyr (String -> GPIOAlias
GPIOAlias String
"led0") GPIOAddress
GPIOAddressBuiltIn)
sw0 :: Pin '[ 'DigitalIO ]
sw0 :: Pin '[ 'DigitalIO]
sw0 = forall {k} (t :: k). Zephyr -> Pin t
Pin (GPIOAlias -> GPIOAddress -> Zephyr
Zephyr (String -> GPIOAlias
GPIOAlias String
"sw0") GPIOAddress
GPIOAddressBuiltIn)