Safe Haskell | Safe |
---|
- 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]
Documentation
A stream.
forall a . Typed a => Stream | |
|
An observer.
forall a . Observer | |
|
A trigger.
Trigger | |
|
A Copilot specification consists of a list of variables bound to anonymous streams, a lost of anomymous streams, a list of observers, and a list of triggers.
Spec | |
|