Module

SodiumFRP.Lambda

Package: purescript-sodium
Repository: SodiumFRP/purescript-sodium

#Dep Source

data Dep :: Type

Lambda wrappers require dependencies

#IsDep Source

class IsDep target  where

Members

mkDep :: forall a. target a -> Dep

Instances

#Lambda1 Source

class Lambda1 target  where

Members

mapLambda1 :: forall b a. (a -> b) -> Array Dep -> target a -> target b

Instances

Lambda1 Stream
Lambda1 Cell

#snapshotLambda Source

snapshotLambda :: forall str cel c b a. SodiumStream str => SodiumCell cel => (a -> b -> c) -> Array Dep -> str a -> cel b -> Stream c

#snapshot3Lambda Source

snapshot3Lambda :: forall str cel d c b a. SodiumStream str => SodiumCell cel => (a -> b -> c -> d) -> Array Dep -> str a -> cel b -> cel c -> Stream d

#snapshot4Lambda Source

snapshot4Lambda :: forall str cel e d c b a. SodiumStream str => SodiumCell cel => (a -> b -> c -> d -> e) -> Array Dep -> str a -> cel b -> cel c -> cel d -> Stream e

#snapshot5Lambda Source

snapshot5Lambda :: forall str cel f e d c b a. SodiumStream str => SodiumCell cel => (a -> b -> c -> d -> e -> f) -> Array Dep -> str a -> cel b -> cel c -> cel d -> cel e -> Stream f

#snapshot6Lambda Source

snapshot6Lambda :: forall str cel g f e d c b a. SodiumStream str => SodiumCell cel => (a -> b -> c -> d -> e -> f -> g) -> Array Dep -> str a -> cel b -> cel c -> cel d -> cel e -> cel f -> Stream g

#mapLambda1StreamImpl Source

mapLambda1StreamImpl :: forall c b a. Fn3 (a -> b) (Array c) (Stream a) (Stream b)

#snapshotLambdaImpl Source

snapshotLambdaImpl :: forall c b a. Fn4 (Fn2 a b c) (Array Dep) (Stream a) (Cell b) (Stream c)

#snapshot3LambdaImpl Source

snapshot3LambdaImpl :: forall d c b a. Fn5 (Fn3 a b c d) (Array Dep) (Stream a) (Cell b) (Cell c) (Stream d)

#snapshot4LambdaImpl Source

snapshot4LambdaImpl :: forall e d c b a. Fn6 (Fn4 a b c d e) (Array Dep) (Stream a) (Cell b) (Cell c) (Cell d) (Stream e)

#snapshot5LambdaImpl Source

snapshot5LambdaImpl :: forall f e d c b a. Fn7 (Fn5 a b c d e f) (Array Dep) (Stream a) (Cell b) (Cell c) (Cell d) (Cell e) (Stream f)

#snapshot6LambdaImpl Source

snapshot6LambdaImpl :: forall g f e d c b a. Fn8 (Fn6 a b c d e f g) (Array Dep) (Stream a) (Cell b) (Cell c) (Cell d) (Cell e) (Cell f) (Stream g)

#mapLambda1CellImpl Source

mapLambda1CellImpl :: forall c b a. Fn3 (a -> b) (Array c) (Cell a) (Cell b)

#liftLambda Source

liftLambda :: forall cel c b a. SodiumCell cel => (a -> b -> c) -> Array Dep -> cel a -> cel b -> Cell c

#lift3Lambda Source

lift3Lambda :: forall cel d c b a. SodiumCell cel => (a -> b -> c -> d) -> Array Dep -> cel a -> cel b -> cel c -> Cell d

#lift4Lambda Source

lift4Lambda :: forall cel e d c b a. SodiumCell cel => (a -> b -> c -> d -> e) -> Array Dep -> cel a -> cel b -> cel c -> cel d -> Cell e

#lift5Lambda Source

lift5Lambda :: forall cel f e d c b a. SodiumCell cel => (a -> b -> c -> d -> e -> f) -> Array Dep -> cel a -> cel b -> cel c -> cel d -> cel e -> Cell f

#lift6Lambda Source

lift6Lambda :: forall cel g f e d c b a. SodiumCell cel => (a -> b -> c -> d -> e -> f -> g) -> Array Dep -> cel a -> cel b -> cel c -> cel d -> cel e -> cel f -> Cell g

#liftLambdaImpl Source

liftLambdaImpl :: forall c b a. Fn4 (Fn2 a b c) (Array Dep) (Cell a) (Cell b) (Cell c)

#lift3LambdaImpl Source

lift3LambdaImpl :: forall d c b a. Fn5 (Fn3 a b c d) (Array Dep) (Cell a) (Cell b) (Cell c) (Cell d)

#lift4LambdaImpl Source

lift4LambdaImpl :: forall e d c b a. Fn6 (Fn4 a b c d e) (Array Dep) (Cell a) (Cell b) (Cell c) (Cell d) (Cell e)

#lift5LambdaImpl Source

lift5LambdaImpl :: forall f e d c b a. Fn7 (Fn5 a b c d e f) (Array Dep) (Cell a) (Cell b) (Cell c) (Cell d) (Cell e) (Cell f)

#lift6LambdaImpl Source

lift6LambdaImpl :: forall g f e d c b a. Fn8 (Fn6 a b c d e f g) (Array Dep) (Cell a) (Cell b) (Cell c) (Cell d) (Cell e) (Cell f) (Cell g)

Modules: SodiumFRP.Cell; SodiumFRP.Class; SodiumFRP.Lambda; SodiumFRP.Operational; SodiumFRP.Stream; SodiumFRP.Transaction