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

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

Reactive.RTile

Contents

Description

This module is a bit messed up mixing reactive tiles with runtime tile...

Synopsis

Runtime tiles

data ID v Source #

ID for temporal values and delays duration. Eq instance on the type v defines when two values are to be merged.

Constructors

ValueID v

Index of the (unknown) duration of an input temporal value

DelayID Integer

Index of the (unknown) duration of the delay between two bundles of temporal values

Instances

Eq v => Eq (ID v) Source # 

Methods

(==) :: ID v -> ID v -> Bool #

(/=) :: ID v -> ID v -> Bool #

Ord v => Ord (ID v) Source # 

Methods

compare :: ID v -> ID v -> Ordering #

(<) :: ID v -> ID v -> Bool #

(<=) :: ID v -> ID v -> Bool #

(>) :: ID v -> ID v -> Bool #

(>=) :: ID v -> ID v -> Bool #

max :: ID v -> ID v -> ID v #

min :: ID v -> ID v -> ID v #

Show v => Show (ID v) Source # 

Methods

showsPrec :: Int -> ID v -> ShowS #

show :: ID v -> String #

showList :: [ID v] -> ShowS #

type RDuration d iv = Duration d (ID iv) Source #

Runtime tiles duration

type RTile d iv v = Tile (RDuration d iv) iv v Source #

Runtime tile.

type RQList d iv v = QList (RDuration d iv) iv v Source #

Runtime QList.

type RAtom d iv v = Atom (RDuration d iv) iv v Source #

Runtime atoms.

toRunTile :: (Num d, Ord d, Ord iv) => Tile (RDuration d iv) iv v -> RTile d iv v Source #

Transforms a tile into a runtime tile

fromRunTile :: (Num d, Ord d, Ord iv) => RTile d iv v -> Tile (RDuration d iv) iv v Source #

Transforms a runtime tile into a tile