FRP.Grapefruit.Signal.Incremental.Sequence

Diffs

data AtomicDiff el

Constructors

Insertion Int (Seq el)

Deletion Int Int

Shift Int Int Int

Update Int (Seq el)

Instances

Functor AtomicDiff

Methods

fmap :: (a -> b) -> AtomicDiff a -> AtomicDiff b

(<$) :: a -> AtomicDiff b -> AtomicDiff a

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)

Construction

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)

Combination

(><) :: ISignal era (Seq el) -> ISignal era (Seq el) -> ISignal era (Seq el)

Queries

null :: ISignal era (Seq el) -> SSignal era Bool

length :: ISignal era (Seq el) -> SSignal era Int

Transformations

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)

Orphan instances

Semigroup (Diff (Seq el))

Methods

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

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

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

Monoid (Diff (Seq el))

Methods

mempty :: Diff (Seq el)

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

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

Incremental (Seq el)

Associated Types

data Diff (Seq el) :: *

type ValidationState (Seq el) :: *

Methods

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

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

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