userid-0.1.2.5: The UserId type and useful instances for web development

Safe HaskellNone
LanguageHaskell2010

Data.UserId

Description

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

Synopsis

Documentation

newtype UserId Source

a UserId uniquely identifies a user.

Constructors

UserId 

Fields

_unUserId :: Integer
 

Instances

unUserId :: Functor f => (Integer -> f Integer) -> UserId -> f UserId Source

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

succUserId :: UserId -> UserId Source

get the next UserId