Index
| rUserId | Data.UserId |
| succUserId | Data.UserId |
| unUserId | Data.UserId |
| UserId | |
| 1 (Type/Class) | Data.UserId |
| 2 (Data Constructor) | Data.UserId |
| _unUserId | Data.UserId |
userid-0.1.3.5: The UserId type and useful instances for web development
Index
| rUserId | Data.UserId |
| succUserId | Data.UserId |
| unUserId | Data.UserId |
| UserId | |
| 1 (Type/Class) | Data.UserId |
| 2 (Data Constructor) | Data.UserId |
| _unUserId | Data.UserId |