Data.Delta.Embedding.Internal

Description

Internal representation of Embedding in terms of state machines.

Synopsis

data Machine da db = Machine {
- state_ :: !(Base db)
- step_ :: (Base da, da) -> (db, Machine da db)
}
idle :: Delta da => Base da -> Machine da da
pairMachine :: Machine da1 db1 -> Machine da2 db2 -> Machine (da1, da2) (db1, db2)
fromState :: Delta db => ((Base da, da) -> (Base db, s) -> (db, s)) -> (Base db, s) -> Machine da db

Documentation

A state machine that maps deltas to deltas. This machine always carries a state of type Base db around.

Constructors

Machine
Fields state_ :: !(Base db) step_ :: (Base da, da) -> (db, Machine da db)

Instances details

Semigroupoid Machine Source #	Composition of `Machine`
Instance details Defined in Data.Delta.Embedding.Internal Methods o :: forall (j :: k) (k1 :: k) (i :: k). Machine j k1 -> Machine i j -> Machine i k1 #

Identity machine starting from a base type.

pairMachine :: Machine da1 db1 -> Machine da2 db2 -> Machine (da1, da2) (db1, db2) Source #

Pair two Machines.

fromState :: Delta db => ((Base da, da) -> (Base db, s) -> (db, s)) -> (Base db, s) -> Machine da db Source #

Create a Machine from a specific state s, and the built-in state Base db.