Data.Incremental

Changes

class Change p where

Associated Types

type Value p :: *

Methods

($$) :: p -> Value p -> Value p infixr 0

Instances

Change (PrimitiveChange a)

Change p => Change (MultiChange p)

Changeable a => Change (AtomicChange a)

(Changeable a, Changeable b) => Change (AtomicChange a b)

Typeable (* -> Constraint) Change

data PrimitiveChange a

Constructors

Keep

ReplaceBy a

Instances

Functor PrimitiveChange

Read a => Read (PrimitiveChange a)

Show a => Show (PrimitiveChange a)

Monoid (PrimitiveChange a)

Change (PrimitiveChange a)

type Value (PrimitiveChange a) = a

Transformations

data Trans p q

Instances

Category * Trans

Typeable (* -> * -> *) Trans

type TransProc m p q = Value p -> m (Value q, p -> m q)

Construction

simpleTrans :: (Value p -> Value q) -> (p -> q) -> Trans p q

stateTrans :: (Value p -> (Value q, s)) -> (p -> s -> (q, s)) -> Trans p q

stTrans :: (forall s. TransProc (ST s) p q) -> Trans p q

trans :: (forall r. (forall m. Monad m => TransProc m p q -> m r) -> r) -> Trans p q

Deconstruction

runTrans :: Trans p q -> (Value p, [p]) -> (Value q, [q])

toFunction :: Trans p q -> Value p -> Value q

toSTProc :: Trans p q -> TransProc (ST s) p q

Utilities

const :: Monoid q => Value q -> Trans p q

fromFunction :: (a -> b) -> Trans (PrimitiveChange a) (PrimitiveChange b)

sanitize :: Eq a => Trans (PrimitiveChange a) (PrimitiveChange a)

Changeables

class (Monoid (DefaultChange a), Change (DefaultChange a), Value (DefaultChange a) ~ a) => Changeable a

Associated Types

type DefaultChange a :: *

Instances

Changeable Bool

Changeable Int

Changeable a => Changeable (Seq a)

(Changeable a, Changeable b) => Changeable (a, b)

Typeable (* -> Constraint) Changeable

type (->>) a b = Trans (DefaultChange a) (DefaultChange b) infixr 0