Documentation

Methods

showsPrec :: Int -> OnlyPrimaryKey -> ShowS #

show :: OnlyPrimaryKey -> String #

showList :: [OnlyPrimaryKey] -> ShowS #

Methods

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

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

Methods

keyToValues :: Key OnlyPrimaryKey -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key OnlyPrimaryKey) #

persistIdField :: EntityField OnlyPrimaryKey (Key OnlyPrimaryKey) #

entityDef :: proxy OnlyPrimaryKey -> EntityDef #

persistFieldDef :: EntityField OnlyPrimaryKey typ -> FieldDef #

toPersistFields :: OnlyPrimaryKey -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text OnlyPrimaryKey #

tabulateEntityA :: Applicative f => (forall a. EntityField OnlyPrimaryKey a -> f a) -> f (Entity OnlyPrimaryKey) #

tabulateEntityApply :: Apply f => (forall a. EntityField OnlyPrimaryKey a -> f a) -> f (Entity OnlyPrimaryKey) #

persistUniqueKeys :: OnlyPrimaryKey -> [Unique OnlyPrimaryKey] #

persistUniqueToFieldNames :: Unique OnlyPrimaryKey -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique OnlyPrimaryKey -> [PersistValue] #

fieldLens :: EntityField OnlyPrimaryKey field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity OnlyPrimaryKey -> f (Entity OnlyPrimaryKey) #

keyFromRecordM :: Maybe (OnlyPrimaryKey -> Key OnlyPrimaryKey) #

Methods

toPersistValue :: OnlyPrimaryKey -> PersistValue #

fromPersistValue :: PersistValue -> Either Text OnlyPrimaryKey #

Methods

requireUniquesP :: OnlyPrimaryKey -> NonEmpty (Unique OnlyPrimaryKey) #

Methods

onlyUniqueP :: OnlyPrimaryKey -> Unique OnlyPrimaryKey #

Methods

sqlType :: Proxy OnlyPrimaryKey -> SqlType #

Methods

symbolToField :: EntityField OnlyPrimaryKey Int #

Methods

symbolToField :: EntityField OnlyPrimaryKey String #

Methods

symbolToField :: EntityField OnlyPrimaryKey (Key OnlyPrimaryKey) #

Methods

parseJSON :: Value -> Parser (Key OnlyPrimaryKey) #

parseJSONList :: Value -> Parser [Key OnlyPrimaryKey] #

omittedField :: Maybe (Key OnlyPrimaryKey) #

Methods

toJSON :: Key OnlyPrimaryKey -> Value #

toEncoding :: Key OnlyPrimaryKey -> Encoding #

toJSONList :: [Key OnlyPrimaryKey] -> Value #

toEncodingList :: [Key OnlyPrimaryKey] -> Encoding #

omitField :: Key OnlyPrimaryKey -> Bool #

Methods

readsPrec :: Int -> ReadS (Key OnlyPrimaryKey) #

readList :: ReadS [Key OnlyPrimaryKey] #

readPrec :: ReadPrec (Key OnlyPrimaryKey) #

readListPrec :: ReadPrec [Key OnlyPrimaryKey] #

Methods

showsPrec :: Int -> Key OnlyPrimaryKey -> ShowS #

show :: Key OnlyPrimaryKey -> String #

showList :: [Key OnlyPrimaryKey] -> ShowS #

Methods

(==) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

(/=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

Methods

compare :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Ordering #

(<) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

(<=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

(>) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

(>=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #

max :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Key OnlyPrimaryKey #

min :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Key OnlyPrimaryKey #

Methods

parseUrlPiece :: Text -> Either Text (Key OnlyPrimaryKey) #

parseHeader :: ByteString -> Either Text (Key OnlyPrimaryKey) #

parseQueryParam :: Text -> Either Text (Key OnlyPrimaryKey) #

Methods

toUrlPiece :: Key OnlyPrimaryKey -> Text #

toEncodedUrlPiece :: Key OnlyPrimaryKey -> Builder #

toHeader :: Key OnlyPrimaryKey -> ByteString #

toQueryParam :: Key OnlyPrimaryKey -> Text #

toEncodedQueryParam :: Key OnlyPrimaryKey -> Builder #

Methods

fromPathPiece :: Text -> Maybe (Key OnlyPrimaryKey) #

toPathPiece :: Key OnlyPrimaryKey -> Text #

Methods

toPersistValue :: Key OnlyPrimaryKey -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key OnlyPrimaryKey) #

Methods

sqlType :: Proxy (Key OnlyPrimaryKey) -> SqlType #

Methods

showsPrec :: Int -> Ba -> ShowS #

show :: Ba -> String #

showList :: [Ba] -> ShowS #

Methods

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

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

Methods

keyToValues :: Key Ba -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Ba) #

persistIdField :: EntityField Ba (Key Ba) #

entityDef :: proxy Ba -> EntityDef #

persistFieldDef :: EntityField Ba typ -> FieldDef #

toPersistFields :: Ba -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Ba #

tabulateEntityA :: Applicative f => (forall a. EntityField Ba a -> f a) -> f (Entity Ba) #

tabulateEntityApply :: Apply f => (forall a. EntityField Ba a -> f a) -> f (Entity Ba) #

persistUniqueKeys :: Ba -> [Unique Ba] #

persistUniqueToFieldNames :: Unique Ba -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Ba -> [PersistValue] #

fieldLens :: EntityField Ba field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Ba -> f (Entity Ba) #

keyFromRecordM :: Maybe (Ba -> Key Ba) #

Methods

toPersistValue :: Ba -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Ba #

Methods

requireUniquesP :: Ba -> NonEmpty (Unique Ba) #

Methods

onlyUniqueP :: Ba -> Unique Ba #

Methods

sqlType :: Proxy Ba -> SqlType #

Methods

toBackendKey :: Key Ba -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Ba #

Methods

symbolToField :: EntityField Ba Int #

Methods

symbolToField :: EntityField Ba Int #

Methods

symbolToField :: EntityField Ba (Key Ba) #

Methods

parseJSON :: Value -> Parser (Key Ba) #

parseJSONList :: Value -> Parser [Key Ba] #

omittedField :: Maybe (Key Ba) #

Methods

toJSON :: Key Ba -> Value #

toEncoding :: Key Ba -> Encoding #

toJSONList :: [Key Ba] -> Value #

toEncodingList :: [Key Ba] -> Encoding #

omitField :: Key Ba -> Bool #

Methods

readsPrec :: Int -> ReadS (Key Ba) #

readList :: ReadS [Key Ba] #

readPrec :: ReadPrec (Key Ba) #

readListPrec :: ReadPrec [Key Ba] #

Methods

showsPrec :: Int -> Key Ba -> ShowS #

show :: Key Ba -> String #

showList :: [Key Ba] -> ShowS #

Methods

showsPrec :: Int -> Unique Ba -> ShowS #

show :: Unique Ba -> String #

showList :: [Unique Ba] -> ShowS #

Methods

(==) :: Key Ba -> Key Ba -> Bool #

(/=) :: Key Ba -> Key Ba -> Bool #

Methods

(==) :: Unique Ba -> Unique Ba -> Bool #

(/=) :: Unique Ba -> Unique Ba -> Bool #

Methods

compare :: Key Ba -> Key Ba -> Ordering #

(<) :: Key Ba -> Key Ba -> Bool #

(<=) :: Key Ba -> Key Ba -> Bool #

(>) :: Key Ba -> Key Ba -> Bool #

(>=) :: Key Ba -> Key Ba -> Bool #

max :: Key Ba -> Key Ba -> Key Ba #

min :: Key Ba -> Key Ba -> Key Ba #

Methods

parseUrlPiece :: Text -> Either Text (Key Ba) #

parseHeader :: ByteString -> Either Text (Key Ba) #

parseQueryParam :: Text -> Either Text (Key Ba) #

Methods

toUrlPiece :: Key Ba -> Text #

toEncodedUrlPiece :: Key Ba -> Builder #

toHeader :: Key Ba -> ByteString #

toQueryParam :: Key Ba -> Text #

toEncodedQueryParam :: Key Ba -> Builder #

Methods

fromPathPiece :: Text -> Maybe (Key Ba) #

toPathPiece :: Key Ba -> Text #

Methods

toPersistValue :: Key Ba -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Ba) #

Methods

sqlType :: Proxy (Key Ba) -> SqlType #

Methods

showsPrec :: Int -> Fo -> ShowS #

show :: Fo -> String #

showList :: [Fo] -> ShowS #

Methods

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

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

Methods

keyToValues :: Key Fo -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Fo) #

persistIdField :: EntityField Fo (Key Fo) #

entityDef :: proxy Fo -> EntityDef #

persistFieldDef :: EntityField Fo typ -> FieldDef #

toPersistFields :: Fo -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Fo #

tabulateEntityA :: Applicative f => (forall a. EntityField Fo a -> f a) -> f (Entity Fo) #

tabulateEntityApply :: Apply f => (forall a. EntityField Fo a -> f a) -> f (Entity Fo) #

persistUniqueKeys :: Fo -> [Unique Fo] #

persistUniqueToFieldNames :: Unique Fo -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Fo -> [PersistValue] #

fieldLens :: EntityField Fo field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Fo -> f (Entity Fo) #

keyFromRecordM :: Maybe (Fo -> Key Fo) #

Methods

toPersistValue :: Fo -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Fo #

Methods

requireUniquesP :: Fo -> NonEmpty (Unique Fo) #

Methods

onlyUniqueP :: Fo -> Unique Fo #

Methods

sqlType :: Proxy Fo -> SqlType #

Methods

symbolToField :: EntityField Fo Int #

Methods

symbolToField :: EntityField Fo Int #

Methods

symbolToField :: EntityField Fo (Key Fo) #

Methods

parseJSON :: Value -> Parser (Key Fo) #

parseJSONList :: Value -> Parser [Key Fo] #

omittedField :: Maybe (Key Fo) #

Methods

toJSON :: Key Fo -> Value #

toEncoding :: Key Fo -> Encoding #

toJSONList :: [Key Fo] -> Value #

toEncodingList :: [Key Fo] -> Encoding #

omitField :: Key Fo -> Bool #

Methods

readsPrec :: Int -> ReadS (Key Fo) #

readList :: ReadS [Key Fo] #

readPrec :: ReadPrec (Key Fo) #

readListPrec :: ReadPrec [Key Fo] #

Methods

showsPrec :: Int -> Key Fo -> ShowS #

show :: Key Fo -> String #

showList :: [Key Fo] -> ShowS #

Methods

showsPrec :: Int -> Unique Fo -> ShowS #

show :: Unique Fo -> String #

showList :: [Unique Fo] -> ShowS #

Methods

(==) :: Key Fo -> Key Fo -> Bool #

(/=) :: Key Fo -> Key Fo -> Bool #

Methods

(==) :: Unique Fo -> Unique Fo -> Bool #

(/=) :: Unique Fo -> Unique Fo -> Bool #

Methods

compare :: Key Fo -> Key Fo -> Ordering #

(<) :: Key Fo -> Key Fo -> Bool #

(<=) :: Key Fo -> Key Fo -> Bool #

(>) :: Key Fo -> Key Fo -> Bool #

(>=) :: Key Fo -> Key Fo -> Bool #

max :: Key Fo -> Key Fo -> Key Fo #

min :: Key Fo -> Key Fo -> Key Fo #

Methods

parseUrlPiece :: Text -> Either Text (Key Fo) #

parseHeader :: ByteString -> Either Text (Key Fo) #

parseQueryParam :: Text -> Either Text (Key Fo) #

Methods

toUrlPiece :: Key Fo -> Text #

toEncodedUrlPiece :: Key Fo -> Builder #

toHeader :: Key Fo -> ByteString #

toQueryParam :: Key Fo -> Text #

toEncodedQueryParam :: Key Fo -> Builder #

Methods

fromPathPiece :: Text -> Maybe (Key Fo) #

toPathPiece :: Key Fo -> Text #

Methods

toPersistValue :: Key Fo -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Fo) #

Methods

sqlType :: Proxy (Key Fo) -> SqlType #