ForSyDe-3.1.1: ForSyDe's Haskell-embedded Domain Specific Language.

Portabilityportable
Stabilityexperimental
Maintainerforsyde-dev@ict.kth.se

ForSyDe.Ids

Description

ForSyDe identifier types

Synopsis

Documentation

type ProcId = StringSource

A process identifier

type PortId = StringSource

A Port identifier

type SysId = StringSource

A System identifier