Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type Reference = Reference' TextId ObjectId
- type TermReference = Reference
- type TypeReference = Reference
- type TextReference = Reference' Text Base32Hex
- type Id = Id' ObjectId
- type TermReferenceId = Id
- type TypeReferenceId = Id
- type LocalReferenceH = Reference' LocalTextId LocalHashId
- type LocalReference = Reference' LocalTextId LocalDefnId
- type LocalId = Id' LocalDefnId
- type ReferenceH = Reference' TextId HashId
- type IdH = Id' HashId
- referenceToRow :: (ToField t, ToField h) => Reference' t h -> [SQLData]
- referenceFromRow' :: (FromField t, FromField h, Show t, Show h) => RowParser (Reference' t h)
Documentation
type TermReference = Reference Source #
type TypeReference = Reference Source #
type TextReference = Reference' Text Base32Hex Source #
The name lookup table uses this because normalizing/denormalizing hashes to ids is slower than we'd like when writing/reading the entire name lookup table.
type TermReferenceId = Id Source #
type TypeReferenceId = Id Source #
type LocalId = Id' LocalDefnId Source #
type ReferenceH = Reference' TextId HashId Source #
referenceToRow :: (ToField t, ToField h) => Reference' t h -> [SQLData] Source #
referenceFromRow' :: (FromField t, FromField h, Show t, Show h) => RowParser (Reference' t h) Source #
Orphan instances
FromRow Reference Source # | |
ToRow Reference Source # | |
FromField h => FromRow (Id' h) Source # | |
ToField h => ToRow (Id' h) Source # | |
FromRow (Reference' Text Base32Hex) Source # | |
FromRow (Reference' TextId HashId) Source # | |
ToRow (Reference' Text Base32Hex) Source # | |
ToRow (Reference' TextId HashId) Source # | |