copilot-frp-sketch-1.0.0: copilot-frp-sketch.cabal

Name: copilot-frp-sketch
Version: 1.0.0
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

Library
  GHC-Options: -Wall -fno-warn-tabs
  Default-Language: Haskell2010
  Hs-Source-Dirs: src
  Exposed-Modules:
    Copilot.FRPSketch
    Copilot.FRPSketch.Internals
  Build-Depends:
    base (>= 4.5 && < 5),
    copilot (== 3.7.*),
    copilot-c99 (== 3.7.*),
    copilot-language (== 3.7.*),
    filepath,
    directory,
    mtl,
    temporary,
    optparse-applicative (>= 0.14.1),
    containers

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