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

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

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.8), 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>
Revised Revision 1 made by ryanglscott at 2025-03-27T18:19:15Z
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 94 total (1 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.