Data.UserId

This module provides a UserId type plus some useful instances for web development.

Documentation

newtype UserId

a UserId uniquely identifies a user.

Constructors

UserId

Fields

_unUserId :: Integer

Instances

Enum UserId

Eq UserId

Data UserId

Ord UserId

Read UserId

Show UserId

Generic UserId

ToJSON UserId

FromJSON UserId

SafeCopy UserId

PathInfo UserId

type Rep UserId

unUserId :: Iso' UserId Integer

rUserId :: forall tok e r. Boomerang e tok ((:-) Integer r) ((:-) UserId r)

succUserId :: UserId -> UserId

get the next UserId