ChocoPie

runChocoPie :: forall sourceRow sinkRow driverRow bundleRow. ChocoPieRecord sourceRow sinkRow driverRow bundleRow => (Record sourceRow -> Record sinkRow) -> Record driverRow -> Effect Unit

class ChocoPieRecord (sourceRow :: Row Type) (sinkRow :: Row Type) (driverRow :: Row Type) (bundleRow :: Row Type) | sourceRow -> sinkRow driverRow bundleRow where

Members

• chocoPieItUp :: (Record sourceRow -> Record sinkRow) -> (Record driverRow) -> Effect Unit

Instances

• (RowToList sourceRow sourceList, RowToList sinkRow sinkList, RowToList driverRow driverList, RowToList bundleRow bundleList, ChocoPieRowList sourceList sinkList driverList bundleList, MakeSinkProxies sinkList sinkRow bundleList bundleRow, CallDrivers driverList driverRow bundleList bundleRow sourceList sourceRow, ReplicateMany sinkList sinkRow bundleList bundleRow) => ChocoPieRecord sourceRow sinkRow driverRow bundleRow

class MakeSinkProxies (sinkList :: RowList) (sinks :: Row Type) (bundleList :: RowList) (bundles :: Row Type) | sinkList -> sinks, bundleList -> bundles where

Members

• makeSinkProxies :: RLProxy sinkList -> RLProxy bundleList -> RProxy sinks -> Effect (Record bundles)

Instances

• (IsSymbol name, MakeSinkProxies tail tailRow bundleList bundles', Lacks name bundles', Cons name { event :: Event a, push :: a -> Effect Unit } bundles' bundles) => MakeSinkProxies (Cons name (Event a) tail) row bundleList bundles
• (TypeEquals (Record bundle) (Record ())) => MakeSinkProxies Nil row bundleList bundle

class CallDrivers (driverList :: RowList) (driver :: Row Type) (bundleList :: RowList) (bundle :: Row Type) (sourceList :: RowList) (source :: Row Type) | driverList -> driver bundleList sourceList, bundleList -> bundle driverList sourceList, sourceList -> source driverList bundleList where

Members

• callDrivers :: RLProxy driverList -> RLProxy bundleList -> RLProxy sourceList -> Record driver -> Record bundle -> Effect (Record source)

Instances

• (IsSymbol name, CallDrivers driverTail driverRow bundleTail bundleRow sourceTail sourceTailRow, TypeEquals bundleton { event :: Event a, push :: a -> Effect Unit }, TypeEquals driverton (Event a -> Effect b), Cons name driverton trash1 driverRow, Cons name bundleton trash2 bundleRow, Lacks name sourceTailRow, Cons name b sourceTailRow sourceRow) => CallDrivers (Cons name driverton driverTail) driverRow (Cons name bundleton bundleTail) bundleRow (Cons name b sourceTail) sourceRow
• (TypeEquals (Record source) (Record ())) => CallDrivers Nil driver Nil bundle Nil source

class ReplicateMany (sinkList :: RowList) (sinkRow :: Row Type) (bundleList :: RowList) (bundleRow :: Row Type) | sinkList -> sinkRow, bundleList -> bundleRow where

Members

• replicateMany :: RLProxy sinkList -> RLProxy bundleList -> Record sinkRow -> Record bundleRow -> Effect Unit

Instances

• (IsSymbol name, TypeEquals bundleton { event :: Event a, push :: a -> Effect Unit }, Cons name (Event a) sinkTailRow sinkRow, Cons name bundleton bundleTailRow bundleRow, ReplicateMany sinkTail sinkRow bundleTail bundleRow) => ReplicateMany (Cons name (Event a) sinkTail) sinkRow (Cons name bundleton bundleTail) bundleRow
• ReplicateMany Nil sinkRow Nil bundleRow

class ChocoPieRowList (sourceList :: RowList) (sinkList :: RowList) (driverList :: RowList) (bundleList :: RowList) | sourceList -> sinkList driverList bundleList, sinkList -> sourceList driverList bundleList, driverList -> sourceList sinkList bundleList, bundleList -> sourceList sinkList driverList

Instances

• (ChocoPieRowList sourceTail sinkTail driverTail bundleTail, TypeEquals driver (Event a -> Effect b), TypeEquals c { event :: Event a, push :: a -> Effect Unit }) => ChocoPieRowList (Cons k b sourceTail) (Cons k (Event a) sinkTail) (Cons k driver driverTail) (Cons k c bundleTail)
• ChocoPieRowList Nil Nil Nil Nil