Hackage :: [Package]

forsyde-shallow: ForSyDe's Haskell-embedded Domain Specific Language.

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

The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.

This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: http://forsyde.ict.kth.se/.

This package is a spin-off of the ForSyDe project and it follows its versioning.

[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 3.3.1.0, 3.3.2.0, 3.3.3.0, 3.4.0.0, 3.4.0.1, 3.5.0.0
Dependencies base (>=4 && <6), directory, old-time, process, random [details]
Tested with ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.1
License BSD-3-Clause
Copyright Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ES
Author ForSyDe Group, KTH/EECS/ES
Maintainer ForSyDe Group <forsyde-dev@eecs.kth.se>
Category Language
Home page http://forsyde.ict.kth.se/
Source repo head: git clone git://github.com/forsyde/forsyde-shallow
Uploaded by ugeorge at 2018-01-15T13:58:09Z
Distributions NixOS:3.5.0.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2884 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 2018-01-15 [all 1 reports]

Readme for forsyde-shallow-3.3.1.0

[back to package description] 
 ForSyDe's Haskell-embedded Domain Specific Language.
 ====================================================

DESCRIPTION

 The ForSyDe (Formal System Design) methodology has been developed
 with the objective to move system design to a higher level of
 abstraction and to bridge the abstraction gap by transformational
 design refinement.
 
 This library provides ForSyDe's implementation as a Haskell-embedded
 Domain Specific Language (DSL). 

 For more information, please see ForSyDe's website:
 <http://forsyde.ict.kth.se/>.


INSTALLATION

 For information on how to install ForSyDe see the INSTALL file.