arduino-copilot-1.7.9: arduino-copilot.cabal

Name: arduino-copilot
Version: 1.7.9
Cabal-Version: >= 1.10
License: BSD3
Maintainer: Joey Hess <id@joeyh.name>
Author: Joey Hess
Stability: Experimental
Copyright: 2020 Joey Hess
License-File: LICENSE
Build-Type: Simple
Category: Embedded, Language
Synopsis: Arduino programming in haskell using the Copilot stream DSL
Description:
 arduino-copilot contains the basic building blocks to program your
 Arduino Nano, Arduino Uno or compatible hardware using Haskell
 and Functional Reactive Programming (FRP).
 .
 arduino-copilot uses the Copilot stream DSL (domain-specific language)
 to generate an Arduino sketch, which can be loaded in the Arduino IDE
 and uploaded to the board. Other methods of deploying sketches to the
 Arduino, such as the Arduino-Makefile, can also be used with a sketch
 generated by arduino-copilot.
 .
 All the messy details are abstracted away, letting you focus on the
 desired behavior of the Arduino.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language
 (DSL) in Haskell that compiles into embedded C. Copilot contains an
 interpreter, multiple back-end compilers, and other verification tools.
 <https://copilot-language.github.io/>
Extra-Source-Files:
  README
  CHANGELOG
  TODO
  stack.yaml
  Examples/Blink/Makefile
  Examples/Blink/README
  Examples/Blink/pre-build-hook.sh
  Examples/Blink/Demo.cabal
  Examples/Blink/stack.yaml
  Examples/Button/Makefile
  Examples/Button/README
  Examples/Button/pre-build-hook.sh
  Examples/Button/Demo.cabal
  Examples/Button/stack.yaml
  Examples/ButtonHold/Makefile
  Examples/ButtonHold/README
  Examples/ButtonHold/pre-build-hook.sh
  Examples/ButtonHold/Demo.cabal
  Examples/ButtonHold/stack.yaml
  Examples/EEPROM/Makefile
  Examples/EEPROM/README
  Examples/EEPROM/pre-build-hook.sh
  Examples/EEPROM/Demo.cabal
  Examples/EEPROM/stack.yaml
  Examples/EEPROMrange/Makefile
  Examples/EEPROMrange/README
  Examples/EEPROMrange/pre-build-hook.sh
  Examples/EEPROMrange/Demo.cabal
  Examples/EEPROMrange/stack.yaml
  Examples/Random/Makefile
  Examples/Random/README
  Examples/Random/pre-build-hook.sh
  Examples/Random/Demo.cabal
  Examples/Random/stack.yaml
  Examples/SerialPort/Makefile
  Examples/SerialPort/README
  Examples/SerialPort/pre-build-hook.sh
  Examples/SerialPort/Demo.cabal
  Examples/SerialPort/stack.yaml
  Examples/WaterHeater/Makefile
  Examples/WaterHeater/README
  Examples/WaterHeater/pre-build-hook.sh
  Examples/WaterHeater/Demo.cabal
  Examples/WaterHeater/stack.yaml

test-suite test
  Main-Is: test.hs
  Type: exitcode-stdio-1.0
  GHC-Options: -Wall -fno-warn-tabs
  Default-Language: Haskell2010
  Build-Depends:
    base (>= 4.6 && < 5),
    arduino-copilot,
    temporary,
    directory,
    process
  Other-Modules:
    Examples.Blink.Demo
    Examples.Button.Demo
    Examples.ButtonHold.Demo
    Examples.EEPROM.Demo
    Examples.EEPROMrange.Demo
    Examples.Random.Demo
    Examples.Robot.Demo
    Examples.SerialPort.Demo
    Examples.WaterHeater.Demo

Library
  GHC-Options: -Wall -fno-warn-tabs
  Default-Language: Haskell2010
  Hs-Source-Dirs: src
  Exposed-Modules:
    Copilot.Arduino
    Copilot.Arduino.Nano
    Copilot.Arduino.Uno
    Copilot.Arduino.Internals
    Copilot.Arduino.Library.Serial
    Copilot.Arduino.Library.Serial.Device
    Copilot.Arduino.Library.Serial.XBee
    Copilot.Arduino.Library.EEPROMex
    Copilot.Arduino.Library.Random
  Other-Modules:
    Copilot.Arduino.Main
  Build-Depends:
    base (>= 4.5 && < 5),
    sketch-frp-copilot (== 1.0.11),
    copilot (== 4.3.*),
    copilot-c99 (== 4.3.*),
    copilot-language (== 4.3.*),
    filepath,
    directory,
    mtl,
    temporary,
    optparse-applicative (>= 0.14.1),
    containers

source-repository head
  type: git
  location: git://git.joeyh.name/arduino-copilot.git