Documentation

Methods

keyToValues :: Key CompositePrimary -> [PersistValue] #

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

persistIdField :: EntityField CompositePrimary (Key CompositePrimary) #

entityDef :: proxy CompositePrimary -> EntityDef #

persistFieldDef :: EntityField CompositePrimary typ -> FieldDef #

toPersistFields :: CompositePrimary -> [PersistValue] #

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

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

persistUniqueKeys :: CompositePrimary -> [Unique CompositePrimary] #

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

persistUniqueToValues :: Unique CompositePrimary -> [PersistValue] #

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

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

Methods

toPersistValue :: CompositePrimary -> PersistValue #

fromPersistValue :: PersistValue -> Either Text CompositePrimary #

Methods

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

Methods

onlyUniqueP :: CompositePrimary -> Unique CompositePrimary #

Methods

sqlType :: Proxy CompositePrimary -> SqlType #

Methods

symbolToField :: EntityField CompositePrimary Int #

Methods

symbolToField :: EntityField CompositePrimary String #

Methods

symbolToField :: EntityField CompositePrimary (Key CompositePrimary) #

Methods

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

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

omittedField :: Maybe (Key CompositePrimary) #

Methods

toJSON :: Key CompositePrimary -> Value #

toEncoding :: Key CompositePrimary -> Encoding #

toJSONList :: [Key CompositePrimary] -> Value #

toEncodingList :: [Key CompositePrimary] -> Encoding #

omitField :: Key CompositePrimary -> Bool #

Methods

from :: Key CompositePrimary -> Rep (Key CompositePrimary) x #

to :: Rep (Key CompositePrimary) x -> Key CompositePrimary #

Methods

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

readList :: ReadS [Key CompositePrimary] #

readPrec :: ReadPrec (Key CompositePrimary) #

readListPrec :: ReadPrec [Key CompositePrimary] #

Methods

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

show :: Key CompositePrimary -> String #

showList :: [Key CompositePrimary] -> ShowS #

Methods

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

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

Methods

compare :: Key CompositePrimary -> Key CompositePrimary -> Ordering #

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

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

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

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

max :: Key CompositePrimary -> Key CompositePrimary -> Key CompositePrimary #

min :: Key CompositePrimary -> Key CompositePrimary -> Key CompositePrimary #

Methods

toPersistValue :: Key CompositePrimary -> PersistValue #

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

Methods

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

Methods

keyToValues :: Key Trees -> [PersistValue] #

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

persistIdField :: EntityField Trees (Key Trees) #

entityDef :: proxy Trees -> EntityDef #

persistFieldDef :: EntityField Trees typ -> FieldDef #

toPersistFields :: Trees -> [PersistValue] #

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

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

persistUniqueKeys :: Trees -> [Unique Trees] #

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

persistUniqueToValues :: Unique Trees -> [PersistValue] #

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

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

Methods

toPersistValue :: Trees -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Trees #

Methods

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

Methods

onlyUniqueP :: Trees -> Unique Trees #

Methods

sqlType :: Proxy Trees -> SqlType #

Methods

symbolToField :: EntityField Trees String #

Methods

symbolToField :: EntityField Trees (Key Trees) #

Methods

symbolToField :: EntityField Trees (Maybe String) #

Methods

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

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

omittedField :: Maybe (Key Trees) #

Methods

toJSON :: Key Trees -> Value #

toEncoding :: Key Trees -> Encoding #

toJSONList :: [Key Trees] -> Value #

toEncodingList :: [Key Trees] -> Encoding #

omitField :: Key Trees -> Bool #

Methods

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

readList :: ReadS [Key Trees] #

readPrec :: ReadPrec (Key Trees) #

readListPrec :: ReadPrec [Key Trees] #

Methods

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

show :: Key Trees -> String #

showList :: [Key Trees] -> ShowS #

Methods

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

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

Methods

compare :: Key Trees -> Key Trees -> Ordering #

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

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

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

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

max :: Key Trees -> Key Trees -> Key Trees #

min :: Key Trees -> Key Trees -> Key Trees #

Methods

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

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

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

Methods

toUrlPiece :: Key Trees -> Text #

toEncodedUrlPiece :: Key Trees -> Builder #

toHeader :: Key Trees -> ByteString #

toQueryParam :: Key Trees -> Text #

toEncodedQueryParam :: Key Trees -> Builder #

Methods

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

toPathPiece :: Key Trees -> Text #

Methods

toPersistValue :: Key Trees -> PersistValue #

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

Methods

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

Methods

keyToValues :: Key Bar -> [PersistValue] #

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

persistIdField :: EntityField Bar (Key Bar) #

entityDef :: proxy Bar -> EntityDef #

persistFieldDef :: EntityField Bar typ -> FieldDef #

toPersistFields :: Bar -> [PersistValue] #

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

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

persistUniqueKeys :: Bar -> [Unique Bar] #

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

persistUniqueToValues :: Unique Bar -> [PersistValue] #

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

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

Methods

toPersistValue :: Bar -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Bar #

Methods

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

Methods

onlyUniqueP :: Bar -> Unique Bar #

Methods

sqlType :: Proxy Bar -> SqlType #

Methods

toBackendKey :: Key Bar -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Bar #

Methods

symbolToField :: EntityField Bar FooId #

Methods

symbolToField :: EntityField Bar (Key Bar) #

Methods

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

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

omittedField :: Maybe (Key Bar) #

Methods

toJSON :: Key Bar -> Value #

toEncoding :: Key Bar -> Encoding #

toJSONList :: [Key Bar] -> Value #

toEncodingList :: [Key Bar] -> Encoding #

omitField :: Key Bar -> Bool #

Methods

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

readList :: ReadS [Key Bar] #

readPrec :: ReadPrec (Key Bar) #

readListPrec :: ReadPrec [Key Bar] #

Methods

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

show :: Key Bar -> String #

showList :: [Key Bar] -> ShowS #

Methods

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

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

Methods

compare :: Key Bar -> Key Bar -> Ordering #

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

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

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

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

max :: Key Bar -> Key Bar -> Key Bar #

min :: Key Bar -> Key Bar -> Key Bar #

Methods

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

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

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

Methods

toUrlPiece :: Key Bar -> Text #

toEncodedUrlPiece :: Key Bar -> Builder #

toHeader :: Key Bar -> ByteString #

toQueryParam :: Key Bar -> Text #

toEncodedQueryParam :: Key Bar -> Builder #

Methods

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

toPathPiece :: Key Bar -> Text #

Methods

toPersistValue :: Key Bar -> PersistValue #

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

Methods

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

Methods

keyToValues :: Key Foo -> [PersistValue] #

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

persistIdField :: EntityField Foo (Key Foo) #

entityDef :: proxy Foo -> EntityDef #

persistFieldDef :: EntityField Foo typ -> FieldDef #

toPersistFields :: Foo -> [PersistValue] #

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

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

persistUniqueKeys :: Foo -> [Unique Foo] #

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

persistUniqueToValues :: Unique Foo -> [PersistValue] #

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

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

Methods

toPersistValue :: Foo -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Foo #

Methods

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

Methods

onlyUniqueP :: Foo -> Unique Foo #

Methods

sqlType :: Proxy Foo -> SqlType #

Methods

symbolToField :: EntityField Foo String #

Methods

symbolToField :: EntityField Bar FooId #

Methods

symbolToField :: EntityField Foo (Key Foo) #

Methods

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

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

omittedField :: Maybe (Key Foo) #

Methods

toJSON :: Key Foo -> Value #

toEncoding :: Key Foo -> Encoding #

toJSONList :: [Key Foo] -> Value #

toEncodingList :: [Key Foo] -> Encoding #

omitField :: Key Foo -> Bool #

Methods

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

readList :: ReadS [Key Foo] #

readPrec :: ReadPrec (Key Foo) #

readListPrec :: ReadPrec [Key Foo] #

Methods

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

show :: Key Foo -> String #

showList :: [Key Foo] -> ShowS #

Methods

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

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

Methods

compare :: Key Foo -> Key Foo -> Ordering #

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

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

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

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

max :: Key Foo -> Key Foo -> Key Foo #

min :: Key Foo -> Key Foo -> Key Foo #

Methods

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

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

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

Methods

toUrlPiece :: Key Foo -> Text #

toEncodedUrlPiece :: Key Foo -> Builder #

toHeader :: Key Foo -> ByteString #

toQueryParam :: Key Foo -> Text #

toEncodedQueryParam :: Key Foo -> Builder #

Methods

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

toPathPiece :: Key Foo -> Text #

Methods

toPersistValue :: Key Foo -> PersistValue #

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

Methods

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