Module
Control.Cycle
- Package
- purescript-cycle-run
- Repository
- justinwoo/purescript-cycle-run
#CycleRunRecord Source
class CycleRunRecord (sourceRow :: Row Type) (sinkRow :: Row Type) (driverRow :: Row Type) | sourceRow -> sinkRow driverRow, sinkRow -> sourceRow driverRow, driverRow -> sourceRow sinkRow
Instances
(RowToList sourceRow sourceList, RowToList sinkRow sinkList, RowToList driverRow driverList, CycleRunRowList sourceList sinkList driverList, ListToRow sourceList sourceRow, ListToRow sinkList sinkRow, ListToRow driverList driverRow) => CycleRunRecord sourceRow sinkRow driverRow
#CycleRunRowList Source
class CycleRunRowList (sourceList :: RowList) (sinkList :: RowList) (driverList :: RowList) | sourceList -> sinkList driverList, sinkList -> sourceList driverList, driverList -> sourceList sinkList
Instances
(CycleRunRowList sourceTail sinkTail driverTail) => CycleRunRowList (Cons k b sourceTail) (Cons k (Stream a) sinkTail) (Cons k ((Stream a) -> Eff e b) driverTail)
CycleRunRowList Nil Nil Nil
- Modules
- Control.
Cycle