FRP.Grapefruit.Signal.Incremental.Sequence

Contents

• Diffs
• Construction
• Combination
• Queries
• Transformations
• Orphan instances

Synopsis

• data AtomicDiff el
  • = Insertion Int (Seq el)
  • | Deletion Int Int
  • | Shift Int Int Int
  • | Update Int (Seq el)
• insertion :: Int -> Seq el -> Diff (Seq el)
• deletion :: Int -> Int -> Diff (Seq el)
• shift :: Int -> Int -> Int -> Diff (Seq el)
• update :: Int -> Seq el -> Diff (Seq el)
• elementInsertion :: Int -> el -> Diff (Seq el)
• elementDeletion :: Int -> Diff (Seq el)
• elementShift :: Int -> Int -> Diff (Seq el)
• elementUpdate :: Int -> el -> Diff (Seq el)
• empty :: ISignal era (Seq a)
• singleton :: SSignal era el -> ISignal era (Seq el)
• (<|) :: SSignal era el -> ISignal era (Seq el) -> ISignal era (Seq el)
• (|>) :: ISignal era (Seq el) -> SSignal era el -> ISignal era (Seq el)
• (><) :: ISignal era (Seq el) -> ISignal era (Seq el) -> ISignal era (Seq el)
• null :: ISignal era (Seq el) -> SSignal era Bool
• length :: ISignal era (Seq el) -> SSignal era Int
• map :: SSignal era (el -> el') -> ISignal era (Seq el) -> ISignal era (Seq el')
• staticMap :: (el -> el') -> ISignal era (Seq el) -> ISignal era (Seq el')
• filter :: SSignal era (el -> Bool) -> ISignal era (Seq el) -> ISignal era (Seq el)
• staticFilter :: (el -> Bool) -> ISignal era (Seq el) -> ISignal era (Seq el)
• reverse :: ISignal era (Seq el) -> ISignal era (Seq el)

Diffs

Construction

Combination

Queries

Transformations

Orphan instances