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

Copyright(c) ForSyDe Group KTH 2007-2008
LicenseBSD-style (see the file LICENSE)
Maintainerforsyde-dev@ict.kth.se
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

ForSyDe.Shallow

Description

Shallow-embedded implementation of ForSyDe (see ForSyDe.Shallow.Core.Signal).

Unlike systems built using the deep-embedded Signal type of ForSyDe (see forsyde-deep), systems built with Signal can make use of new and experimental features such as multiple, heterogeneous MoCs (Models of Computation) other than the Synchronous MoC (the only Model of Computation currently supported by deep-embdded ForSyDe). However, as an important tradeoff, Signal is unaware of the resulting system structure, only allowing simulation (i.e. a VHDL or GraphML backend is impossible to implement).

Synopsis

Documentation

The ForSyDe.Shallow.Core module contains the basic definitions and functions such as events and signals.

The ForSyDe.Shallow.MoC module defines the models of computations included in ForSyDe.

The ForSyDe.Shallow.Utility module provides several additional modules that are useful and convenient in practice.