Hackage :: [Package]

language-bluespec: An implementation of the Bluespec Haskell AST

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

This package contains an implementation of the Bluespec language's AST. In particular, this implements the Bluespec Haskell (BH) syntax, also known as Bluespec Classic. We may add support for the Bluespec SystemVerilog (BSV) syntax at a later date. To our knowledge, there is no formal grammar that describes the syntax of BH or BSV, so this package is based off of the code in the <https://github.com/B-Lang-org/bsc Bluespec compiler>. Although the Bluespec compiler is written in Haskell, it is not particularly simple to depend on the compiler as a library, so this package exists to extract out the relevant compiler code into a simple-to-use library.

[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1
Change log CHANGELOG.md
Dependencies base (>=4.12 && <5), containers (>=0.1 && <0.7), integer-gmp, pretty (>=1.1.2 && <1.2), text (>=0.1 && <2.2) [details]
Tested with ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.2, ghc ==9.4.8, ghc ==9.6.4, ghc ==9.8.1
License BSD-3-Clause
Copyright (C) 2020-2022 Bluespec Inc., (C) 2022 Galois, Inc.
Author Galois, Inc.
Maintainer Ryan Scott <rscott@galois.com>
Category Language
Home page https://github.com/GaloisInc/language-bluespec
Bug tracker https://github.com/GaloisInc/language-bluespec/issues
Source repo head: git clone https://github.com/GaloisInc/language-bluespec
Uploaded by ryanglscott at 2024-02-08T13:09:43Z
Distributions NixOS:0.1
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 80 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-02-08 [all 1 reports]

Readme for language-bluespec-0.1

[back to package description]

language-bluespec

This package contains an implementation of the Bluespec AST. In particular, this implements the Bluespec Haskell (BH) syntax, also known as Bluespec Classic. We may add support for the Bluespec SystemVerilog (BSV) syntax at a later date.

To our knowledge, there is no formal grammar that describes the syntax of BH or BSV, so this package is based off of the code in the Bluespec compiler. Although the Bluespec compiler is written in Haskell, it is not particularly simple to depend on the compiler as a library, so this package exists to extract out the relevant compiler code into a simple-to-use library.