FRP.Grapefruit.Signal.Incremental

Incremental signal type

data ISignal era val

class Semigroup (Diff val) => Incremental val where

Minimal complete definition

patch, validationInit, validationStep

Associated Types

data Diff val :: *

type ValidationState val :: *

Methods

patch :: val -> Diff val -> val

validationInit :: val -> ValidationState val

validationStep :: Diff val -> ValidationState val -> Maybe (ValidationState val)

Instances

Incremental (Monolithic val)

Associated Types

data Diff (Monolithic val) :: *

type ValidationState (Monolithic val) :: *

Methods

patch :: Monolithic val -> Diff (Monolithic val) -> Monolithic val

validationInit :: Monolithic val -> ValidationState (Monolithic val)

validationStep :: Diff (Monolithic val) -> ValidationState (Monolithic val) -> Maybe (ValidationState (Monolithic val))

Monolithic values

newtype Monolithic val

Constructors

Monolithic val

Instances

Semigroup (Diff (Monolithic val))

Methods

(<>) :: Diff (Monolithic val) -> Diff (Monolithic val) -> Diff (Monolithic val)

sconcat :: NonEmpty (Diff (Monolithic val)) -> Diff (Monolithic val)

stimes :: Integral b => b -> Diff (Monolithic val) -> Diff (Monolithic val)

Incremental (Monolithic val)

Associated Types

data Diff (Monolithic val) :: *

type ValidationState (Monolithic val) :: *

Methods

patch :: Monolithic val -> Diff (Monolithic val) -> Monolithic val

validationInit :: Monolithic val -> ValidationState (Monolithic val)

validationStep :: Diff (Monolithic val) -> ValidationState (Monolithic val) -> Maybe (ValidationState (Monolithic val))

data Diff (Monolithic val)

data Diff (Monolithic val) = Replacement val

type ValidationState (Monolithic val)

type ValidationState (Monolithic val) = ()

Construction

construct :: Incremental val => val -> DSignal era (Diff val) -> ISignal era val

Queries

withInit :: Signal signal => ISignal era val -> (val -> signal era val') -> signal era val'

updates :: ISignal era val -> DSignal era (Diff val)

Conversion

toSSignal :: Incremental val => ISignal era val -> SSignal era val

monolithicFromSSignal :: SSignal era val -> ISignal era (Monolithic val)

monolithicToSSignal :: ISignal era (Monolithic val) -> SSignal era val

Composition

const :: Incremental val => val -> ISignal era val

map :: (Incremental val, Incremental val') => (val -> (val', state)) -> (Diff val -> state -> (Diff val', state)) -> ISignal era val -> ISignal era val'

combine :: (Incremental val1, Incremental val2, Incremental val') => (val1 -> val2 -> (val', state)) -> (Diff val1 -> state -> (Diff val', state)) -> (Diff val2 -> state -> (Diff val', state)) -> ISignal era val1 -> ISignal era val2 -> ISignal era val'

Connectors

consumer :: (val -> IO ()) -> (Diff val -> IO ()) -> Consumer ISignal val