FRP.Grapefruit.Signal.Incremental.Set

Diffs

insertion :: Ord el => Set el -> Diff (Set el)

deletion :: Ord el => Set el -> Diff (Set el)

elementInsertion :: el -> Diff (Set el)

elementDeletion :: el -> Diff (Set el)

Construction

empty :: Ord el => ISignal era (Set el)

singleton :: Ord el => SSignal era el -> ISignal era (Set el)

Conversion

toSeqs :: Ord el => ISignal era (Set el) -> ISignal era (Seq el)

toAscSeqs :: Ord el => ISignal era (Set el) -> ISignal era (Seq el)

Combination

union :: Ord el => ISignal era (Set el) -> ISignal era (Set el) -> ISignal era (Set el)

difference :: Ord el => ISignal era (Set el) -> ISignal era (Set el) -> ISignal era (Set el)

intersection :: Ord el => ISignal era (Set el) -> ISignal era (Set el) -> ISignal era (Set el)

Queries

null :: Ord el => ISignal era (Set el) -> SSignal era Bool

size :: Ord el => ISignal era (Set el) -> SSignal era Int

member :: Ord el => SSignal era el -> ISignal era (Set el) -> SSignal era Bool

staticMember :: Ord el => el -> ISignal era (Set el) -> SSignal era Bool

notMember :: Ord el => SSignal era el -> ISignal era (Set el) -> SSignal era Bool

staticNotMember :: Ord el => el -> ISignal era (Set el) -> SSignal era Bool

Filtering

Mapping