userid-0.1.3.6: 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

Instances

Instances details
Enum UserId Source # 
Instance details

Defined in Data.UserId

Eq UserId Source # 
Instance details

Defined in Data.UserId

Methods

(==) :: UserId -> UserId -> Bool #

(/=) :: UserId -> UserId -> Bool #

Data UserId Source # 
Instance details

Defined in Data.UserId

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserId -> c UserId #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserId #

toConstr :: UserId -> Constr #

dataTypeOf :: UserId -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UserId) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId) #

gmapT :: (forall b. Data b => b -> b) -> UserId -> UserId #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r #

gmapQ :: (forall d. Data d => d -> u) -> UserId -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UserId -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

Ord UserId Source # 
Instance details

Defined in Data.UserId

Read UserId Source # 
Instance details

Defined in Data.UserId

Show UserId Source # 
Instance details

Defined in Data.UserId

Generic UserId Source # 
Instance details

Defined in Data.UserId

Associated Types

type Rep UserId :: Type -> Type #

Methods

from :: UserId -> Rep UserId x #

to :: Rep UserId x -> UserId #

ToJSON UserId Source # 
Instance details

Defined in Data.UserId

FromJSON UserId Source # 
Instance details

Defined in Data.UserId

Serialize UserId Source # 
Instance details

Defined in Data.UserId

SafeCopy UserId Source # 
Instance details

Defined in Data.UserId

PathInfo UserId Source # 
Instance details

Defined in Data.UserId

type Rep UserId Source # 
Instance details

Defined in Data.UserId

type Rep UserId = D1 ('MetaData "UserId" "Data.UserId" "userid-0.1.3.6-1ln3fexGAlE8KTzni9jItq" 'True) (C1 ('MetaCons "UserId" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unUserId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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