| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Copilot.Core.Spec
- data Stream = forall a . Typed a => Stream {
- streamId :: Id
- streamBuffer :: [a]
- streamExpr :: Expr a
- streamExprType :: Type a
- data Observer = forall a . Observer {
- observerName :: Name
- observerExpr :: Expr a
- observerExprType :: Type a
- data Trigger = Trigger {
- triggerName :: Name
- triggerGuard :: Expr Bool
- triggerArgs :: [UExpr]
- data Spec = Spec {
- specStreams :: [Stream]
- specObservers :: [Observer]
- specTriggers :: [Trigger]
- specProperties :: [Property]
- data Property = Property {
- propertyName :: Name
- propertyExpr :: Expr Bool
- data StructData = StructData {
- structName :: Name
- structFields :: [(Name, UExpr)]
Documentation
A stream.
Constructors
| forall a . Typed a => Stream | |
Fields
| |
An observer.
Constructors
| forall a . Observer | |
Fields
| |
A trigger.
Constructors
| Trigger | |
Fields
| |
A Copilot specification consists of a list of variables bound to anonymous streams, a list of anomymous streams, a list of observers, a list of triggers, and a list of structs.
Constructors
| Spec | |
Fields
| |
A property.
Constructors
| Property | |
Fields
| |
data StructData Source
Struct representation as a bit array.
Constructors
| StructData | |
Fields
| |