Index
| action | FreeUpdate |
| ApplyAction | |
| 1 (Type/Class) | Update |
| 2 (Type/Class) | UpdateT |
| applyAction | |
| 1 (Function) | Update |
| 2 (Function) | UpdateT |
| auditUpdate | Update |
| auditUpdateT | UpdateT |
| collectFreeUpdate | FreeUpdate |
| collectUpdate | Update |
| collectUpdateT | |
| 1 (Function) | FreeUpdate |
| 2 (Function) | UpdateT |
| currentState | FreeUpdate |
| evalFreeUpdate | FreeUpdate |
| evalFreeUpdateT | FreeUpdate |
| evalUpdate | Update |
| evalUpdateT | UpdateT |
| execFreeUpdate | FreeUpdate |
| execFreeUpdateT | FreeUpdate |
| execUpdate | Update |
| execUpdateT | UpdateT |
| FreeUpdate | FreeUpdate |
| FreeUpdateT | |
| 1 (Type/Class) | FreeUpdate |
| 2 (Data Constructor) | FreeUpdate |
| getState | |
| 1 (Function) | Update |
| 2 (Function) | UpdateT |
| MonadUpdate | |
| 1 (Type/Class) | Update |
| 2 (Type/Class) | UpdateT |
| putAction | |
| 1 (Function) | Update |
| 2 (Function) | UpdateT |
| runFreeUpdate | FreeUpdate |
| runFreeUpdateT | FreeUpdate |
| runUpdate | Update |
| runUpdateT | UpdateT |
| StateReader | |
| 1 (Type/Class) | State |
| 2 (Data Constructor) | State |
| StateWriter | |
| 1 (Type/Class) | State |
| 2 (Data Constructor) | State |
| Update | |
| 1 (Type/Class) | Update |
| 2 (Data Constructor) | Update |
| UpdateT | |
| 1 (Type/Class) | UpdateT |
| 2 (Data Constructor) | UpdateT |