tcalculus-1.0.0: A DSL prototype for structured realtime/reactive functional programing

Copyright(c) David Janin, Simon Archipoff, 2016
Licensesee the LICENSE file in the distribution
Maintainerjanin@labri.fr
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Reactive.Input

Contents

Description

Defines timed list of temporal values (aka atoms) that can be created and updated on the fly from inputs.

Synopsis

Input lists of temporal values (actual version)

data InQList d iv where Source #

Input qlists, built over duration type d and input value type iv

Constructors

InQList :: [(d, iv)] -> IDQ d iv -> InQList d iv 
InQUndef :: InQList d iv 
InQEnd :: InQList d iv 

Instances

(Show d, Show iv) => Show (InQList d iv) Source # 

Methods

showsPrec :: Int -> InQList d iv -> ShowS #

show :: InQList d iv -> String #

showList :: [InQList d iv] -> ShowS #

Updatable (InQList d iv) d iv Source #

On-the fly updates of inputs

Methods

update :: UpdateData d iv -> InQList d iv -> InQList d iv Source #

data IDQ d iv Source #

Input delayed qlists, built over duration type d and input value type iv with invariant property

In every value (IDQ d iv) we should have (partialCompare 0 d) == Just LT

Constructors

IDQ d (InQList d iv) 

Instances

(Show d, Show iv) => Show (IDQ d iv) Source # 

Methods

showsPrec :: Int -> IDQ d iv -> ShowS #

show :: IDQ d iv -> String #

showList :: [IDQ d iv] -> ShowS #