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

Orphan instances

Ord el => Semigroup (Diff (Set el))

Methods

(<>) :: Diff (Set el) -> Diff (Set el) -> Diff (Set el)

sconcat :: NonEmpty (Diff (Set el)) -> Diff (Set el)

stimes :: Integral b => b -> Diff (Set el) -> Diff (Set el)

Ord el => Monoid (Diff (Set el))

Methods

mempty :: Diff (Set el)

mappend :: Diff (Set el) -> Diff (Set el) -> Diff (Set el)

mconcat :: [Diff (Set el)] -> Diff (Set el)

Ord el => Incremental (Set el)

Associated Types

data Diff (Set el) :: *

type ValidationState (Set el) :: *

Methods

patch :: Set el -> Diff (Set el) -> Set el

validationInit :: Set el -> ValidationState (Set el)

validationStep :: Diff (Set el) -> ValidationState (Set el) -> Maybe (ValidationState (Set el))