Safe Haskell	None
Language	Haskell2010

Model.Id.Types

Synopsis

Documentation

type family IdType a Source #

This defines a way to make a ID type specific to a specific record type. IdType takes a containing type as a parameter (e.g. Asset, Volume), and defines an alias for the containing types actual ID type. IdType Volume = String would mean Volume's use String for their identifiers

Instances

type IdType Category Source #
type IdType Category = Int16
type IdType Format Source #
type IdType Format = Int16
type IdType Funder Source #
type IdType Funder = Int64
type IdType Party Source #
type IdType Party = Int32
type IdType LoginToken Source #
type IdType LoginToken = ByteString
type IdType Token Source #
type IdType Token = ByteString
type IdType Volume Source #
type IdType Volume = Int32
type IdType Asset Source #
type IdType Asset = Int32
type IdType Transcode Source #
type IdType Transcode = Int32
type IdType Container Source #
type IdType Container = Int32
type IdType Metric Source #
type IdType Metric = Int32
type IdType Record Source #
type IdType Record = Int32
type IdType Slot Source #
type IdType Slot = SlotId
type IdType Comment Source #
type IdType Comment = Int32
type IdType AssetSlot Source #
type IdType AssetSlot = AssetSlotId
type IdType RecordSlot Source #
type IdType RecordSlot
type IdType Tag Source #
type IdType Tag = Int32
type IdType Notice Source #
type IdType Notice = Int16
type IdType Notification Source #
type IdType Notification = Int32
type IdType GeoName Source #
type IdType GeoName = Int64

newtype Id a Source #

This builds a new type around the container specific type. See tests for examples.

Constructors

Id
Fields unId :: IdType a

Instances

(PGParameter t (IdType a), PGColumn t (IdType a), PGRep t (IdType a), PGType t) => PGRep t (Id a) Source #
Methods pgTypeOf :: Id a -> PGTypeName t # pgEncodeRep :: Id a -> PGValue # pgLiteralRep :: Id a -> ByteString # pgDecodeRep :: PGValue -> Id a #
(PGParameter t (IdType a), PGType t) => PGParameter t (Id a) Source #
Methods pgEncode :: PGTypeName t -> Id a -> PGTextValue # pgLiteral :: PGTypeName t -> Id a -> ByteString # pgEncodeValue :: PGTypeEnv -> PGTypeName t -> Id a -> PGValue #
(PGColumn t (IdType a), PGType t) => PGColumn t (Id a) Source #
Methods pgDecode :: PGTypeName t -> PGTextValue -> Id a # pgDecodeBinary :: PGTypeEnv -> PGTypeName t -> PGBinaryValue -> Id a # pgDecodeValue :: PGTypeEnv -> PGTypeName t -> PGValue -> Id a #
Deform f (IdType a) => Deform f (Id a) Source #
Methods deform :: Monad m => DeformT f m (Id a) Source #
Bounded (IdType a) => Bounded (Id a) Source #
Methods minBound :: Id a # maxBound :: Id a #
Enum (IdType a) => Enum (Id a) Source #
Methods succ :: Id a -> Id a # pred :: Id a -> Id a # toEnum :: Int -> Id a # fromEnum :: Id a -> Int # enumFrom :: Id a -> [Id a] # enumFromThen :: Id a -> Id a -> [Id a] # enumFromTo :: Id a -> Id a -> [Id a] # enumFromThenTo :: Id a -> Id a -> Id a -> [Id a] #
Eq (IdType a) => Eq (Id a) Source #
Methods (==) :: Id a -> Id a -> Bool # (/=) :: Id a -> Id a -> Bool #
Ord (IdType a) => Ord (Id a) Source #
Methods compare :: Id a -> Id a -> Ordering # (<) :: Id a -> Id a -> Bool # (<=) :: Id a -> Id a -> Bool # (>) :: Id a -> Id a -> Bool # (>=) :: Id a -> Id a -> Bool # max :: Id a -> Id a -> Id a # min :: Id a -> Id a -> Id a #
Read (IdType a) => Read (Id a) Source #
Methods readsPrec :: Int -> ReadS (Id a) # readList :: ReadS [Id a] # readPrec :: ReadPrec (Id a) # readListPrec :: ReadPrec [Id a] #
Show (IdType a) => Show (Id a) Source #
Methods showsPrec :: Int -> Id a -> ShowS # show :: Id a -> String # showList :: [Id a] -> ShowS #
Lift (IdType a) => Lift (Id a) Source #
Methods lift :: Id a -> Q Exp #
Hashable (IdType a) => Hashable (Id a) Source #
Methods hashWithSalt :: Int -> Id a -> Int # hash :: Id a -> Int #
ToJSON (IdType a) => ToJSON (Id a) Source #
Methods toJSON :: Id a -> Value # toEncoding :: Id a -> Encoding # toJSONList :: [Id a] -> Value # toEncodingList :: [Id a] -> Encoding #
FromJSON (IdType a) => FromJSON (Id a) Source #
Methods parseJSON :: Value -> Parser (Id a) # parseJSONList :: Value -> Parser [Id a] #
Has (Maybe (Id Container)) AssetSlot Source #
Methods view :: AssetSlot -> Maybe (Id Container) Source #
Has (Id Category) Record Source #
Methods view :: Record -> Id Category Source #
Has (Id Category) RecordSlot Source #
Methods view :: RecordSlot -> Id Category Source #
Has (Id Format) Asset Source #
Methods view :: Asset -> Id Format Source #
Has (Id Format) AssetRow Source #
Methods view :: AssetRow -> Id Format Source #
Has (Id Format) AssetSlot Source #
Methods view :: AssetSlot -> Id Format Source #
Has (Id Format) AssetSegment Source #
Methods view :: AssetSegment -> Id Format Source #
Has (Id Party) SiteAuth Source #
Methods view :: SiteAuth -> Id Party Source #
Has (Id Party) Account Source #
Methods view :: Account -> Id Party Source #
Has (Id Party) Party Source #
Methods view :: Party -> Id Party Source #
Has (Id Party) Session Source #
Methods view :: Session -> Id Party Source #
Has (Id Party) AccountToken Source #
Methods view :: AccountToken -> Id Party Source #
Has (Id Party) Identity Source #
Methods view :: Identity -> Id Party Source #
Has (Id Party) SolrIndexingContext Source #
Methods view :: SolrIndexingContext -> Id Party Source #
Has (Id Party) BackgroundContext Source #
Methods view :: BackgroundContext -> Id Party Source #
Has (Id Token) Upload Source #
Methods view :: Upload -> Id Token Source #
Has (Id Token) Session Source #
Methods view :: Session -> Id Token Source #
Has (Id Token) LoginToken Source #
Methods view :: LoginToken -> Id Token Source #
Has (Id Token) AccountToken Source #
Methods view :: AccountToken -> Id Token Source #
Has (Id Token) Token Source #
Methods view :: Token -> Id Token Source #
Has (Id Volume) Asset Source #
Methods view :: Asset -> Id Volume Source #
Has (Id Volume) AssetSlot Source #
Methods view :: AssetSlot -> Id Volume Source #
Has (Id Volume) AssetSegment Source #
Methods view :: AssetSegment -> Id Volume Source #
Has (Id Volume) TagUse Source #
Methods view :: TagUse -> Id Volume Source #
Has (Id Asset) Asset Source #
Methods view :: Asset -> Id Asset Source #
Has (Id Asset) AssetRow Source #
Methods view :: AssetRow -> Id Asset Source #
Has (Id Asset) AssetSlot Source #
Methods view :: AssetSlot -> Id Asset Source #
Has (Id Asset) Excerpt Source #
Methods view :: Excerpt -> Id Asset Source #
Has (Id Asset) AssetSegment Source #
Methods view :: AssetSegment -> Id Asset Source #
Has (Id Container) Container Source #
Methods view :: Container -> Id Container Source #
Has (Id Container) ContainerRow Source #
Methods view :: ContainerRow -> Id Container Source #
Has (Id Container) Slot Source #
Methods view :: Slot -> Id Container Source #
Has (Id Container) Excerpt Source #
Methods view :: Excerpt -> Id Container Source #
Has (Id Container) AssetSegment Source #
Methods view :: AssetSegment -> Id Container Source #
Has (Id Container) RecordSlot Source #
Methods view :: RecordSlot -> Id Container Source #
Has (Id Container) TagUse Source #
Methods view :: TagUse -> Id Container Source #
Has (Id Record) Record Source #
Methods view :: Record -> Id Record Source #
Has (Id Record) RecordSlot Source #
Methods view :: RecordSlot -> Id Record Source #

data Int32 :: * #

32-bit signed integer type

Instances

Bounded Int32
Methods minBound :: Int32 # maxBound :: Int32 #
Enum Int32
Methods succ :: Int32 -> Int32 # pred :: Int32 -> Int32 # toEnum :: Int -> Int32 # fromEnum :: Int32 -> Int # enumFrom :: Int32 -> [Int32] # enumFromThen :: Int32 -> Int32 -> [Int32] # enumFromTo :: Int32 -> Int32 -> [Int32] # enumFromThenTo :: Int32 -> Int32 -> Int32 -> [Int32] #
Eq Int32
Methods (==) :: Int32 -> Int32 -> Bool # (/=) :: Int32 -> Int32 -> Bool #
Integral Int32
Methods quot :: Int32 -> Int32 -> Int32 # rem :: Int32 -> Int32 -> Int32 # div :: Int32 -> Int32 -> Int32 # mod :: Int32 -> Int32 -> Int32 # quotRem :: Int32 -> Int32 -> (Int32, Int32) # divMod :: Int32 -> Int32 -> (Int32, Int32) # toInteger :: Int32 -> Integer #
Num Int32
Methods (+) :: Int32 -> Int32 -> Int32 # (-) :: Int32 -> Int32 -> Int32 # (*) :: Int32 -> Int32 -> Int32 # negate :: Int32 -> Int32 # abs :: Int32 -> Int32 # signum :: Int32 -> Int32 # fromInteger :: Integer -> Int32 #
Ord Int32
Methods compare :: Int32 -> Int32 -> Ordering # (<) :: Int32 -> Int32 -> Bool # (<=) :: Int32 -> Int32 -> Bool # (>) :: Int32 -> Int32 -> Bool # (>=) :: Int32 -> Int32 -> Bool # max :: Int32 -> Int32 -> Int32 # min :: Int32 -> Int32 -> Int32 #
Read Int32
Methods readsPrec :: Int -> ReadS Int32 # readList :: ReadS [Int32] # readPrec :: ReadPrec Int32 # readListPrec :: ReadPrec [Int32] #
Real Int32
Methods toRational :: Int32 -> Rational #
Show Int32
Methods showsPrec :: Int -> Int32 -> ShowS # show :: Int32 -> String # showList :: [Int32] -> ShowS #
Ix Int32
Methods range :: (Int32, Int32) -> [Int32] # index :: (Int32, Int32) -> Int32 -> Int # unsafeIndex :: (Int32, Int32) -> Int32 -> Int inRange :: (Int32, Int32) -> Int32 -> Bool # rangeSize :: (Int32, Int32) -> Int # unsafeRangeSize :: (Int32, Int32) -> Int
Lift Int32
Methods lift :: Int32 -> Q Exp #
Hashable Int32
Methods hashWithSalt :: Int -> Int32 -> Int # hash :: Int32 -> Int #
ToJSON Int32
Methods toJSON :: Int32 -> Value # toEncoding :: Int32 -> Encoding # toJSONList :: [Int32] -> Value # toEncodingList :: [Int32] -> Encoding #
ToJSONKey Int32
Methods toJSONKey :: ToJSONKeyFunction Int32 # toJSONKeyList :: ToJSONKeyFunction [Int32] #
FromJSON Int32
Methods parseJSON :: Value -> Parser Int32 # parseJSONList :: Value -> Parser [Int32] #
FromJSONKey Int32
Methods fromJSONKey :: FromJSONKeyFunction Int32 # fromJSONKeyList :: FromJSONKeyFunction [Int32] #
Storable Int32
Methods sizeOf :: Int32 -> Int # alignment :: Int32 -> Int # peekElemOff :: Ptr Int32 -> Int -> IO Int32 # pokeElemOff :: Ptr Int32 -> Int -> Int32 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int32 # pokeByteOff :: Ptr b -> Int -> Int32 -> IO () # peek :: Ptr Int32 -> IO Int32 # poke :: Ptr Int32 -> Int32 -> IO () #
Bits Int32
Methods (.&.) :: Int32 -> Int32 -> Int32 # (.\|.) :: Int32 -> Int32 -> Int32 # xor :: Int32 -> Int32 -> Int32 # complement :: Int32 -> Int32 # shift :: Int32 -> Int -> Int32 # rotate :: Int32 -> Int -> Int32 # zeroBits :: Int32 # bit :: Int -> Int32 # setBit :: Int32 -> Int -> Int32 # clearBit :: Int32 -> Int -> Int32 # complementBit :: Int32 -> Int -> Int32 # testBit :: Int32 -> Int -> Bool # bitSizeMaybe :: Int32 -> Maybe Int # bitSize :: Int32 -> Int # isSigned :: Int32 -> Bool # shiftL :: Int32 -> Int -> Int32 # unsafeShiftL :: Int32 -> Int -> Int32 # shiftR :: Int32 -> Int -> Int32 # unsafeShiftR :: Int32 -> Int -> Int32 # rotateL :: Int32 -> Int -> Int32 # rotateR :: Int32 -> Int -> Int32 # popCount :: Int32 -> Int #
FiniteBits Int32
Methods finiteBitSize :: Int32 -> Int # countLeadingZeros :: Int32 -> Int # countTrailingZeros :: Int32 -> Int #
PrimType Int32
Methods primSizeInBytes :: Proxy * Int32 -> CountOf Word8 # primShiftToBytes :: Proxy * Int32 -> Int # primBaUIndex :: ByteArray# -> Offset Int32 -> Int32 # primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int32 -> prim Int32 # primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Int32 -> Int32 -> prim () # primAddrIndex :: Addr# -> Offset Int32 -> Int32 # primAddrRead :: PrimMonad prim => Addr# -> Offset Int32 -> prim Int32 # primAddrWrite :: PrimMonad prim => Addr# -> Offset Int32 -> Int32 -> prim () #
PrimMemoryComparable Int32

Subtractive Int32
Associated Types type Difference Int32 :: * # Methods (-) :: Int32 -> Int32 -> Difference Int32 #
ToValue Int32
Methods toValue :: Int32 -> AttributeValue # preEscapedToValue :: Int32 -> AttributeValue #
ToMarkup Int32
Methods toMarkup :: Int32 -> Markup # preEscapedToMarkup :: Int32 -> Markup #
FromField Int32	Accepts a signed decimal number. Ignores whitespace.
Methods parseField :: Field -> Parser Int32 #
ToField Int32	Uses decimal encoding with optional sign.
Methods toField :: Int32 -> Field #
Default Int32
Methods def :: Int32 #
BinaryWord Int32
Associated Types type UnsignedWord Int32 :: * # type SignedWord Int32 :: * # Methods unsignedWord :: Int32 -> UnsignedWord Int32 # signedWord :: Int32 -> SignedWord Int32 # unwrappedAdd :: Int32 -> Int32 -> (Int32, UnsignedWord Int32) # unwrappedMul :: Int32 -> Int32 -> (Int32, UnsignedWord Int32) # leadingZeroes :: Int32 -> Int # trailingZeroes :: Int32 -> Int # allZeroes :: Int32 # allOnes :: Int32 # msb :: Int32 # lsb :: Int32 # testMsb :: Int32 -> Bool # testLsb :: Int32 -> Bool # setMsb :: Int32 -> Int32 # setLsb :: Int32 -> Int32 # clearMsb :: Int32 -> Int32 # clearLsb :: Int32 -> Int32 #
DoubleWord Int32
Associated Types type LoWord Int32 :: * # type HiWord Int32 :: * # Methods loWord :: Int32 -> LoWord Int32 # hiWord :: Int32 -> HiWord Int32 # fromHiAndLo :: HiWord Int32 -> LoWord Int32 -> Int32 # extendLo :: LoWord Int32 -> Int32 # signExtendLo :: SignedWord (LoWord Int32) -> Int32 #
EndianSensitive Int32
Methods swapEndian :: Int32 -> Int32 #
Deserializable Int32
Methods get :: Deserializer μ => μ Int32 #
Serializable Int32
Methods put :: Serializer s => Int32 -> s #
SizedSerializable Int32
Methods size :: Proxy * Int32 -> Int #
ToFormKey Int32
Methods toFormKey :: Int32 -> Text #
FromFormKey Int32
Methods parseFormKey :: Text -> Either Text Int32 #
ToHttpApiData Int32
Methods toUrlPiece :: Int32 -> Text # toEncodedUrlPiece :: Int32 -> Builder # toHeader :: Int32 -> ByteString # toQueryParam :: Int32 -> Text #
FromHttpApiData Int32
Methods parseUrlPiece :: Text -> Either Text Int32 # parseHeader :: ByteString -> Either Text Int32 # parseQueryParam :: Text -> Either Text Int32 #
Prim Int32
Methods sizeOf# :: Int32 -> Int# # alignment# :: Int32 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Int32 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, Int32#) # writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Int32 # readOffAddr# :: Addr# -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, Int32#) # writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s #
Unbox Int32

Variate Int32
Methods uniform :: PrimMonad m => Gen (PrimState m) -> m Int32 # uniformR :: PrimMonad m => (Int32, Int32) -> Gen (PrimState m) -> m Int32 #
IArray UArray Int32
Methods bounds :: Ix i => UArray i Int32 -> (i, i) # numElements :: Ix i => UArray i Int32 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Int32)] -> UArray i Int32 unsafeAt :: Ix i => UArray i Int32 -> Int -> Int32 unsafeReplace :: Ix i => UArray i Int32 -> [(Int, Int32)] -> UArray i Int32 unsafeAccum :: Ix i => (Int32 -> e' -> Int32) -> UArray i Int32 -> [(Int, e')] -> UArray i Int32 unsafeAccumArray :: Ix i => (Int32 -> e' -> Int32) -> Int32 -> (i, i) -> [(Int, e')] -> UArray i Int32
Vector Vector Int32
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Int32 -> m (Vector Int32) # basicUnsafeThaw :: PrimMonad m => Vector Int32 -> m (Mutable Vector (PrimState m) Int32) # basicLength :: Vector Int32 -> Int # basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32 # basicUnsafeIndexM :: Monad m => Vector Int32 -> Int -> m Int32 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Int32 -> Vector Int32 -> m () # elemseq :: Vector Int32 -> Int32 -> b -> b #
PGRep "integer" Int32
Methods pgTypeOf :: Int32 -> PGTypeName "integer" # pgEncodeRep :: Int32 -> PGValue # pgLiteralRep :: Int32 -> ByteString # pgDecodeRep :: PGValue -> Int32 #
PGParameter "integer" Int32
Methods pgEncode :: PGTypeName "integer" -> Int32 -> PGTextValue # pgLiteral :: PGTypeName "integer" -> Int32 -> ByteString # pgEncodeValue :: PGTypeEnv -> PGTypeName "integer" -> Int32 -> PGValue #
PGColumn "integer" Int32
Methods pgDecode :: PGTypeName "integer" -> PGTextValue -> Int32 # pgDecodeBinary :: PGTypeEnv -> PGTypeName "integer" -> PGBinaryValue -> Int32 # pgDecodeValue :: PGTypeEnv -> PGTypeName "integer" -> PGValue -> Int32 #
MVector MVector Int32
Methods basicLength :: MVector s Int32 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Int32 -> MVector s Int32 # basicOverlaps :: MVector s Int32 -> MVector s Int32 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Int32) # basicInitialize :: PrimMonad m => MVector (PrimState m) Int32 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Int32 -> m (MVector (PrimState m) Int32) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> m Int32 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> Int32 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Int32 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Int32 -> Int32 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Int32 -> MVector (PrimState m) Int32 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Int32 -> MVector (PrimState m) Int32 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Int32 -> Int -> m (MVector (PrimState m) Int32) #
RouteString s => Parameter s Int32
Methods parseParameter :: s -> Maybe Int32 # renderParameter :: Int32 -> s #
Parameter Text Int32
Methods parseParameter :: Text -> Maybe Int32 # renderParameter :: Int32 -> Text #
Deform f Int32 Source #
Methods deform :: Monad m => DeformT f m Int32 Source #
MArray (STUArray s) Int32 (ST s)
Methods getBounds :: Ix i => STUArray s i Int32 -> ST s (i, i) # getNumElements :: Ix i => STUArray s i Int32 -> ST s Int newArray :: Ix i => (i, i) -> Int32 -> ST s (STUArray s i Int32) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32) unsafeRead :: Ix i => STUArray s i Int32 -> Int -> ST s Int32 unsafeWrite :: Ix i => STUArray s i Int32 -> Int -> Int32 -> ST s ()
type Difference Int32
type Difference Int32 = Int32
type SignedWord Int32
type SignedWord Int32 = Int32
type UnsignedWord Int32
type UnsignedWord Int32 = Word32
type HiWord Int32
type HiWord Int32 = Int16
type LoWord Int32
type LoWord Int32 = Word16
data Vector Int32
data Vector Int32 = V_Int32 (Vector Int32)
type Unsigned Int32
type Unsigned Int32 = Word32
data MVector s Int32
data MVector s Int32 = MV_Int32 (MVector s Int32)