View Source Finitomata.Persistency.Persistable protocol (Finitomata v0.29.3)

The protocol to be implemented for custom data to be used in pair with Finitomata.Persistency.Protocol persistency adapter.

For that combination, one should implement the protocol for that particular struct and specify Finitomata.Persistency.Protocol as a persistency in a call to use Finitomata.

use Finitomata, …, persistency: Finitomata.Persistency.Protocol

Summary

Types

t()

All the types that implement this protocol.

Functions

load(data)

Loads the entity from some external storage

store(data, info)

Persists the transitioned entity to some external storage

store_error(data, reason, info)

Persists the error happened while an attempt to transition the entity