Name: sketch-frp-copilot
Version: 1.0.1
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: FRP 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.7.*),
    copilot-c99 (== 3.7.*),
    copilot-language (== 3.7.*),
    mtl,
    optparse-applicative (>= 0.14.1),
    containers

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