Safe Haskell | None |
---|
- data ISignal era val
- class Semigroup (Diff val) => Incremental val where
- data Diff val :: *
- type ValidationState val :: *
- patch :: val -> Diff val -> val
- validationInit :: val -> ValidationState val
- validationStep :: Diff val -> ValidationState val -> Maybe (ValidationState val)
- newtype Monolithic val = Monolithic val
- construct :: Incremental val => val -> DSignal era (Diff val) -> ISignal era val
- withInit :: Signal signal => ISignal era val -> (val -> signal era val') -> signal era val'
- updates :: ISignal era val -> DSignal era (Diff val)
- 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
- 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'
- consumer :: (val -> IO ()) -> (Diff val -> IO ()) -> Consumer ISignal val
Incremental signal type
class Semigroup (Diff val) => Incremental val whereSource
type ValidationState val :: *Source
patch :: val -> Diff val -> valSource
validationInit :: val -> ValidationState valSource
validationStep :: Diff val -> ValidationState val -> Maybe (ValidationState val)Source
Semigroup (Diff (Seq el)) => Incremental (Seq el) | |
(Semigroup (Diff (Set el)), Ord el) => Incremental (Set el) | |
Semigroup (Diff (Monolithic val)) => Incremental (Monolithic val) |
Monolithic values
newtype Monolithic val Source
Monolithic val |
Semigroup (Diff (Monolithic val)) | |
Semigroup (Diff (Monolithic val)) => Incremental (Monolithic val) |
Construction
Queries
Conversion
toSSignal :: Incremental val => ISignal era val -> SSignal era valSource
monolithicFromSSignal :: SSignal era val -> ISignal era (Monolithic val)Source
monolithicToSSignal :: ISignal era (Monolithic val) -> SSignal era valSource
Composition
const :: Incremental val => val -> ISignal era valSource
map :: (Incremental val, Incremental val') => (val -> (val', state)) -> (Diff val -> state -> (Diff val', state)) -> ISignal era val -> ISignal era val'Source
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'Source