CodeGen.hs.template 531 B

123456789101112131415161718192021
  1. {-# LANGUAGE ScopedTypeVariables #-}
  2. {-# LANGUAGE DataKinds #-}
  3. {-# OPTIONS_GHC -fno-warn-unused-imports #-}
  4. module Main where
  5. import Ivory.Language
  6. import Ivory.Tower
  7. import Ivory.Tower.Config
  8. import Ivory.OS.FreeRTOS.Tower.STM32
  9. $imports$
  10. main :: IO ()
  11. main = compileTowerSTM32FreeRTOS testplatform_stm32 p app
  12. where p topts = getConfig topts (stm32ConfigParser (stm32f405Defaults 24))
  13. app :: Tower e ()
  14. app = do
  15. (c :: (ChanInput (Array 80 (Stored Uint8)), ChanOutput (Array 80 (Stored Uint8)))) <- channel
  16. $app_body$