Package migrated to monorepo and published with new name
@fsmoothy/typeorm
. This repo in maintenance mode. Only critical bugs will be fixed.
typeorm-fsm
is a strongly typed state machine designed for TypeORM entities. It allows you to define and manage state transitions in a declarative manner. The library is using fsmoothy package to provide the best DX.
Let's create a basic order state machine to showcase the features of the library. The diagram below illustrates the states and transitions of the state machine.
stateDiagram-v2
draft --> assembly: create
assembly --> warehouse: assemble
assembly --> shipping: ship
warehouse --> warehouse: transfer
warehouse --> shipping: ship
shipping --> delivered: deliver
The library was initially designed to use enums
for events and states. However, using string enums would provide more convenient method names. It is also possible to use string
or number
as event or state types, but this approach is not recommended.
enum OrderItemState {
draft = 'draft',
assembly = 'assembly',
warehouse = 'warehouse',
shipping = 'shipping',
delivered = 'delivered',
}
enum OrderItemEvent {
create = 'create',
assemble = 'assemble',
transfer = 'transfer',
ship = 'ship',
deliver = 'deliver',
}
interface IOrderItemContext = FSMContext<{
place: string;
}>
To create an entity class, it must extend StateMachineEntity
and have defined initial state and transitions. Additionally, you can combine StateMachineEntity
with your own BaseEntity
, which should be extended from TypeORM's base entity.
class BaseEntity extends TypeOrmBaseEntity {
@PrimaryGeneratedColumn()
id: string;
}
@Entity('order')
class Order extends StateMachineEntity(
{
itemsStatus: state({
id: 'orderItemsStatus',
initial: OrderItemState.draft,
persistContext: true,
data: () => ({
place: 'My warehouse',
}),
transitions: [
t(OrderItemState.draft, OrderItemEvent.create, OrderItemState.assembly),
t(
OrderItemState.assembly,
OrderItemEvent.assemble,
OrderItemState.warehouse,
),
{
from: OrderItemState.warehouse,
event: OrderItemEvent.transfer,
to: OrderItemState.warehouse,
guard(context: IOrderItemContext, place: string) {
return context.data.place !== place;
},
onExit(context: IOrderItemContext, place: string) {
context.data.place = place;
},
},
t(
[OrderItemState.assembly, OrderItemState.warehouse],
OrderItemEvent.ship,
OrderItemState.shipping,
),
t(
OrderItemState.shipping,
OrderItemEvent.deliver,
OrderItemState.delivered,
),
],
}),
},
BaseEntity, // It's optional
) {
@Column({
default: 0,
})
price: number;
}
Let's take a look at the StateMachineEntity
mixin. It accepts an object with the following properties:
id
- a unique identifier for the state machine (used for debugging purposes)initial
- the initial state of the state machinepersistContext
- if set totrue
, the state machine context will be saved to the database. Default value isfalse
saveAfterTransition
- iftrue
, the state machine will be saved to the database after each transition. Default value istrue
data
- initial data for the state machine contexttransitions
- an array of transitionssubscribers
- an object with subscribers array for events
It also support extend your own BaseEntity
class by passing it as a second argument.
The most common way to define a transition is by using the t
function, which requires three arguments (guard is optional).
t(from: State | State[], event: Event, to: State, guard?: (context: Context) => boolean);
We also able to pass optional onEnter
and onExit
functions to the transition as options:
t(
from: State | State[],
event: Event,
to: State,
options?: {
guard?: (context: Context) => boolean;
onEnter?: (context: Context) => void;
onExit?: (context: Context) => void;
},
);
In such cases, we're using next options:
from
- represents the state from which the transition is permittedevent
- denotes the event that triggers the transitionto
- indicates the state to which the transition leadsguard
- a function that verifies if the transition is permissibleonEnter
- a function that executes when the transition is triggeredonExit
- a function that executes when the transition is completedonLeave
- a function that executes when the next transition is triggered (beforeonEnter
)
To make a transition, we need to call the transition
method of the entity or use methods with the same name as the event. State changes will persist to the database by default.
const order = new Order();
await order.fsm.itemsStatus.create();
await order.fsm.itemsStatus.assemble();
await order.fsm.itemsStatus.transfer('Another warehouse');
await order.fsm.itemsStatus.ship();
We're passing the place
argument to the transfer
method. It will be passed to the guard
and onExit
functions.
We can add transition dynamically using the addTransition
method.
orderItemFSM.addTransition([
t(
OrderItemState.shipping,
OrderItemEvent.transfer,
OrderItemState.shipping,
{
guard(context: IOrderItemContext, place: string) {
return context.data.place !== place;
},
onExit(context: IOrderItemContext, place: string) {
context.data.place = place;
},
},
),
]);
You can get the current state of the state machine using the current
property.
const order = new Order();
console.log(order.fsm.itemsStatus.current); // draft
Also you can use is
+ state name
method to check the current state.
const order = new Order();
console.log(order.fsm.itemsStatus.isDraft()); // true
Also is(state: State)
method is available.
You can check if the transition is available using the can
+ event name
method.
const order = new Order();
console.log(order.fsm.itemsStatus.canCreate()); // true
await order.fsm.itemsStatus.create();
console.log(order.fsm.itemsStatus.canCreate()); // false
await order.fsm.itemsStatus.assemble();
Arguments are passed to the guard
function.
await order.fsm.itemsStatus.transfer('Another warehouse');
console.log(order.fsm.itemsStatus.canTransfer('Another warehouse')); // false
Also can(event: Event, ...args)
method is available.
You can subscribe to transition using the on
method. And unsubscribe using the off
method.
const order = new Order();
const subscriber = (state: OrderItemState) => {
console.log(state);
};
order.fsm.itemsStatus.on(OrderItemEvent.create, subscriber);
await order.fsm.itemsStatus.create();
order.fsm.itemsStatus.off(OrderItemEvent.create, subscriber);
The state machine has the following lifecycle methods in the order of execution:
- guard
- onLeave (from previous transition)
- onEnter
- transition
- subscribers
- onExit
The entity instance will be bound to the lifecycle methods. You can access the entity instance using this
keyword.
const order = new Order();
order.fsm.itemsStatus.onEnter(function (this: Order) {
console.log(this.id);
});
order.fsm.itemStatus.on(OrderItemEvent.create, function (this: Order) {
console.log(this.id);
});
await order.fsm.itemsStatus.create();
You also able to use bind
method to bind your own this
keyword to the function.
order.fsm.itemsStatus.on(function () {
console.log(this.current);
}.bind({ current: 'test' }));
Library throws StateMachineError
if transition is not available. It can be caught using try/catch
and checked using isStateMachineError
function.
import { isStateMachineError } from 'typeorm-fsm';
try {
await order.fsm.itemsStatus.create();
} catch (error) {
if (isStateMachineError(error)) {
console.log(error.message);
}
}
npm install typeorm fsm-typeorm
Check out the examples directory for more examples.
Take a look at the CHANGELOG for details about recent changes to the current version.
This project was inspired by aasm and typescript-fsm.
And thank you for reading this far. I hope you find this library useful.