userid-0.1.3.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

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

Methods

compare :: UserId -> UserId -> Ordering

(<) :: UserId -> UserId -> Bool

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

(>) :: UserId -> UserId -> Bool

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

max :: UserId -> UserId -> UserId

min :: UserId -> UserId -> UserId

Read UserId Source # 
Instance details

Defined in Data.UserId

Methods

readsPrec :: Int -> ReadS UserId

readList :: ReadS [UserId]

readPrec :: ReadPrec UserId

readListPrec :: ReadPrec [UserId]

Show UserId Source # 
Instance details

Defined in Data.UserId

Methods

showsPrec :: Int -> UserId -> ShowS

show :: UserId -> String

showList :: [UserId] -> ShowS

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.5-FTn3329bHAXFoad6Sk4MPn" 'True) (C1 ('MetaCons "UserId" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unUserId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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

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