Name: sketch-frp-copilot
Version: 1.0.10
Cabal-Version: >= 1.10
License: BSD3
Maintainer: Joey Hess <id@joeyh.name>
Author: Joey Hess
Stability: Experimental
Copyright: 2020-2022 Joey Hess
License-File: LICENSE
Build-Type: Simple
Category: Embedded, Language
Synopsis: Sketch programming with Copilot
Description:
This extends Copilot with a FRP-like interface which can be used to
implement simple standalone programs (sketches) for embedded boards.
.
It is used by arduino-copilot and zephyr-copilot.
.
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:
TODO
CHANGELOG
Library
GHC-Options: -Wall -fno-warn-tabs
Default-Language: Haskell2010
Hs-Source-Dirs: src
Exposed-Modules:
Sketch.FRP.Copilot
Sketch.FRP.Copilot.Types
Sketch.FRP.Copilot.Internals
Build-Depends:
base (>= 4.5 && < 5),
copilot (== 3.18.*),
copilot-c99 (== 3.18.*),
copilot-language (== 3.18.*),
mtl,
optparse-applicative (>= 0.14.1),
containers
source-repository head
type: git
location: git://git.joeyh.name/sketch-frp-copilot.git