ChocoPie

runChocoPie :: forall driver sink source. ChocoPieRecord source sink driver => ({  | source } -> {  | sink }) -> {  | driver } -> Effect Unit

class ChocoPieRecord (source :: # Type) (sink :: # Type) (driver :: # Type) | source -> sink driver where

Members

• chocoPieItUp :: ({ | source } -> { | sink }) -> ({ | driver }) -> Effect Unit

Instances

• (RowToList driver driverL, RowToList sink sinkL, MakeSinkProxies sinkL () bundle, CallDrivers driverL driver bundle () source, ReplicateMany sinkL sink bundle) => ChocoPieRecord source sink driver

class MakeSinkProxies (sinkL :: RowList) (bundle' :: # Type) (bundle :: # Type) | sinkL -> bundle' bundle where

Members

• makeSinkProxies :: RLProxy sinkL -> Effect (Builder ({ | bundle' }) ({ | bundle }))

Instances

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

class CallDrivers (driverL :: RowList) (driver :: # Type) (bundle :: # Type) (source' :: # Type) (source :: # Type) | driverL -> driver bundle source' source where

Members

• callDrivers :: RLProxy driverL -> { | driver } -> { | bundle } -> Effect (Builder ({ | source' }) ({ | source }))

Instances

• (IsSymbol name, CallDrivers driverTail driver bundle source'' source', Cons name (Event a -> Effect b) trash1 driver, Cons name { event :: Event a, push :: a -> Effect Unit } trash2 bundle, Lacks name source', Cons name b source' source) => CallDrivers (Cons name driverton driverTail) driver bundle source'' source
• CallDrivers Nil driver bundle () ()

class ReplicateMany (sinkL :: RowList) (sink :: # Type) (bundle :: # Type) | sinkL -> sink bundle where

Members

• replicateMany :: RLProxy sinkL -> { | sink } -> { | bundle } -> Effect Unit

Instances

• (IsSymbol name, Cons name (Event a) sink' sink, Cons name { event :: Event a, push :: a -> Effect Unit } bundle' bundle, ReplicateMany tail sink bundle) => ReplicateMany (Cons name (Event a) tail) sink bundle
• ReplicateMany Nil sink bundle