{-# LANGUAGE TypeFamilies, DataKinds, MultiParamTypeClasses, PolyKinds, TypeApplications, ScopedTypeVariables, TypeInType, ConstraintKinds, TypeOperators, GADTs, UndecidableInstances, StandaloneDeriving, FunctionalDependencies, FlexibleContexts, AllowAmbiguousTypes #-}
{-|
Module: IHP.FetchRelated
Description:  Provides fetchRelated, collectionFetchRelated, etc.
Copyright: (c) digitally induced GmbH, 2020

This modules provides helper functions to access relationshops for a model.

See https://ihp.digitallyinduced.com/Guide/relationships.html for some examples.
-}
module IHP.FetchRelated (fetchRelated, collectionFetchRelated, collectionFetchRelatedOrNothing, fetchRelatedOrNothing, maybeFetchRelatedOrNothing) where

import IHP.Prelude
import Database.PostgreSQL.Simple.ToField
import qualified Database.PostgreSQL.Simple as PG
import IHP.ModelSupport (Include, Id', PrimaryKey, GetModelByTableName, Table)
import IHP.QueryBuilder
import IHP.Fetch

-- | This class provides the collectionFetchRelated function
--
-- This function is provided by this class as we have to deal with two cases:
-- 
-- 1. the related field is a id, e.g. like the company ids in @users |> collectionFetchRelated #companyId@
-- 2. the related field is a query builder, e.g. in @posts |> collectionFetchRelated #comments@
class CollectionFetchRelated relatedFieldValue relatedModel where
    collectionFetchRelated :: forall model relatedField. (
            ?modelContext :: ModelContext,
            HasField relatedField model relatedFieldValue,
            UpdateField relatedField model (Include relatedField model) relatedFieldValue (FetchResult relatedFieldValue relatedModel),
            Fetchable relatedFieldValue relatedModel,
            KnownSymbol (GetTableName relatedModel),
            PG.FromRow relatedModel,
            KnownSymbol relatedField
        ) => Proxy relatedField -> [model] -> IO [Include relatedField model]

-- | This class provides the collectionFetchRelatedOrNothing function
--
-- This function is provided by this class as we have to deal with two cases:
-- 
-- 1. the related field is an id, e.g. like the company ids in @users |> collectionFetchRelated #companyId@
-- 2. the related field is a query builder, e.g. in @posts |> collectionFetchRelated #comments@
class CollectionFetchRelatedOrNothing relatedFieldValue relatedModel where
    collectionFetchRelatedOrNothing :: forall model relatedField. (
            ?modelContext :: ModelContext,
            HasField relatedField model (Maybe relatedFieldValue),
            UpdateField relatedField model (Include relatedField model) (Maybe relatedFieldValue) (Maybe (FetchResult relatedFieldValue relatedModel)),
            Fetchable relatedFieldValue relatedModel,
            KnownSymbol (GetTableName relatedModel),
            PG.FromRow relatedModel,
            KnownSymbol relatedField
        ) => Proxy relatedField -> [model] -> IO [Include relatedField model]

-- | Provides collectionFetchRelated for ids, e.g. @collectionFetchRelated #companyId@
--
-- When we want to fetch all the users with their companies, we can use collectionFetchRelated like this:
--
-- > users <- query @User
-- >     |> fetch
-- >     >>= collectionFetchRelated #companyId
--
-- This will query all users with their company. The type of @users@ is @[Include "companyId" User]@.
--
-- This example will trigger only two SQL queries:
-- 
-- > SELECT * FROM users
-- > SELECT * FROM companies WHERE id IN (?)
instance (
        Eq (PrimaryKey tableName)
        , ToField (PrimaryKey tableName)
        , Show (PrimaryKey tableName)
        , HasField "id" relatedModel (Id' tableName)
        , relatedModel ~ GetModelByTableName (GetTableName relatedModel)
        , Table relatedModel
        ) => CollectionFetchRelated (Id' tableName) relatedModel where
    collectionFetchRelated :: forall model relatedField. (
            ?modelContext :: ModelContext,
            HasField relatedField model (Id' tableName),
            UpdateField relatedField model (Include relatedField model) (Id' tableName) (FetchResult (Id' tableName) relatedModel),
            Fetchable (Id' tableName) relatedModel,
            KnownSymbol (GetTableName relatedModel),
            PG.FromRow relatedModel,
            KnownSymbol relatedField,
            Table relatedModel
        ) => Proxy relatedField -> [model] -> IO [Include relatedField model]
    collectionFetchRelated :: forall model (relatedField :: Symbol).
(?modelContext::ModelContext,
 HasField relatedField model (Id' tableName),
 UpdateField
   relatedField
   model
   (Include relatedField model)
   (Id' tableName)
   (FetchResult (Id' tableName) relatedModel),
 Fetchable (Id' tableName) relatedModel,
 KnownSymbol (GetTableName relatedModel), FromRow relatedModel,
 KnownSymbol relatedField, Table relatedModel) =>
Proxy relatedField -> [model] -> IO [Include relatedField model]
collectionFetchRelated Proxy relatedField
relatedField [model]
model = do
        [relatedModel]
relatedModels :: [relatedModel] <- forall model (table :: Symbol).
(table ~ GetTableName model, Table model, DefaultScope table) =>
QueryBuilder table
query @relatedModel QueryBuilder (GetTableName relatedModel)
-> (QueryBuilder (GetTableName relatedModel)
    -> QueryBuilder (GetTableName relatedModel))
-> QueryBuilder (GetTableName relatedModel)
forall {t1} {t2}. t1 -> (t1 -> t2) -> t2
|> (Proxy "id", [Id' tableName])
-> QueryBuilder (GetTableName relatedModel)
-> QueryBuilder (GetTableName relatedModel)
forall (name :: Symbol) (table :: Symbol) model value
       (queryBuilderProvider :: Symbol -> *) joinRegister.
(KnownSymbol table, KnownSymbol name, ToField value,
 HasField name model value, model ~ GetModelByTableName table,
 HasQueryBuilder queryBuilderProvider joinRegister,
 EqOrIsOperator value, Table model) =>
(Proxy name, [value])
-> queryBuilderProvider table -> queryBuilderProvider table
filterWhereIn (Proxy "id"
#id, (model -> Id' tableName) -> [model] -> [Id' tableName]
forall a b. (a -> b) -> [a] -> [b]
map (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @relatedField) [model]
model) QueryBuilder (GetTableName relatedModel)
-> (QueryBuilder (GetTableName relatedModel) -> IO [relatedModel])
-> IO [relatedModel]
forall {t1} {t2}. t1 -> (t1 -> t2) -> t2
|> QueryBuilder (GetTableName relatedModel) -> IO [relatedModel]
QueryBuilder (GetTableName relatedModel)
-> IO
     (FetchResult
        (QueryBuilder (GetTableName relatedModel)) relatedModel)
forall fetchable model.
(Fetchable fetchable model, Table model, FromRow model,
 ?modelContext::ModelContext) =>
fetchable -> IO (FetchResult fetchable model)
fetch
        let
            assignRelated :: model -> Include relatedField model
            assignRelated :: model -> Include relatedField model
assignRelated model
model =
                let
                    relatedModel :: relatedModel
                    relatedModel :: relatedModel
relatedModel = case (relatedModel -> Bool) -> [relatedModel] -> Maybe relatedModel
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Maybe a
find (\relatedModel
r -> relatedModel
r.id Id' tableName -> Id' tableName -> Bool
forall a. Eq a => a -> a -> Bool
== Id' tableName
targetForeignKey) [relatedModel]
relatedModels of
                            Just relatedModel
m -> relatedModel
m
                            Maybe relatedModel
Nothing -> Text -> relatedModel
forall a. Text -> a
error (Text
"Could not find record with id = " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Id' tableName -> Text
forall a. Show a => a -> Text
show Id' tableName
targetForeignKey Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Text
" in result set. Looks like the foreign key is pointing to a non existing record")
                    targetForeignKey :: Id' tableName
targetForeignKey = (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @relatedField model
model :: Id' tableName)
                in
                    forall (field :: Symbol) model model' value value'.
UpdateField field model model' value value' =>
value' -> model -> model'
updateField @relatedField relatedModel
relatedModel model
model

        let
            result :: [Include relatedField model]
            result :: [Include relatedField model]
result = (model -> Include relatedField model)
-> [model] -> [Include relatedField model]
forall a b. (a -> b) -> [a] -> [b]
map model -> Include relatedField model
assignRelated [model]
model
        [Include relatedField model] -> IO [Include relatedField model]
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure [Include relatedField model]
result

-- | Provides collectionFetchRelatedOrNothing for nullable ids, e.g. @collectionFetchRelatedOrNothing #companyId@
--
-- When we want to fetch all the users with their companies, we can use collectionFetchRelatedOrNothing like this:
--
-- > users <- query @User
-- >     |> fetch
-- >     >>= collectionFetchRelatedOrNothing #companyId
--
-- This will query all users with their company. The type of @users@ is @[Include "companyId" User]@.
--
-- This example will trigger only two SQL queries:
-- 
-- > SELECT * FROM users
-- > SELECT * FROM companies WHERE id IN (?)
instance (
        Eq (PrimaryKey tableName)
        , ToField (PrimaryKey tableName)
        , HasField "id" relatedModel (Id' tableName)
        , relatedModel ~ GetModelByTableName (GetTableName relatedModel)
        , Table relatedModel
        ) => CollectionFetchRelatedOrNothing (Id' tableName) relatedModel where
    collectionFetchRelatedOrNothing :: forall model relatedField. (
            ?modelContext :: ModelContext,
            HasField relatedField model (Maybe (Id' tableName)),
            UpdateField relatedField model (Include relatedField model) (Maybe (Id' tableName)) (Maybe (FetchResult (Id' tableName) relatedModel)),
            Fetchable (Id' tableName) relatedModel,
            KnownSymbol (GetTableName relatedModel),
            PG.FromRow relatedModel,
            KnownSymbol relatedField
        ) => Proxy relatedField -> [model] -> IO [Include relatedField model]
    collectionFetchRelatedOrNothing :: forall model (relatedField :: Symbol).
(?modelContext::ModelContext,
 HasField relatedField model (Maybe (Id' tableName)),
 UpdateField
   relatedField
   model
   (Include relatedField model)
   (Maybe (Id' tableName))
   (Maybe (FetchResult (Id' tableName) relatedModel)),
 Fetchable (Id' tableName) relatedModel,
 KnownSymbol (GetTableName relatedModel), FromRow relatedModel,
 KnownSymbol relatedField) =>
Proxy relatedField -> [model] -> IO [Include relatedField model]
collectionFetchRelatedOrNothing Proxy relatedField
relatedField [model]
model = do
        [relatedModel]
relatedModels :: [relatedModel] <- forall model (table :: Symbol).
(table ~ GetTableName model, Table model, DefaultScope table) =>
QueryBuilder table
query @relatedModel QueryBuilder (GetTableName relatedModel)
-> (QueryBuilder (GetTableName relatedModel)
    -> QueryBuilder (GetTableName relatedModel))
-> QueryBuilder (GetTableName relatedModel)
forall {t1} {t2}. t1 -> (t1 -> t2) -> t2
|> (Proxy "id", [Id' tableName])
-> QueryBuilder (GetTableName relatedModel)
-> QueryBuilder (GetTableName relatedModel)
forall (name :: Symbol) (table :: Symbol) model value
       (queryBuilderProvider :: Symbol -> *) joinRegister.
(KnownSymbol table, KnownSymbol name, ToField value,
 HasField name model value, model ~ GetModelByTableName table,
 HasQueryBuilder queryBuilderProvider joinRegister,
 EqOrIsOperator value, Table model) =>
(Proxy name, [value])
-> queryBuilderProvider table -> queryBuilderProvider table
filterWhereIn (Proxy "id"
#id, (model -> Maybe (Id' tableName)) -> [model] -> [Id' tableName]
forall a b. (a -> Maybe b) -> [a] -> [b]
mapMaybe (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @relatedField) [model]
model) QueryBuilder (GetTableName relatedModel)
-> (QueryBuilder (GetTableName relatedModel) -> IO [relatedModel])
-> IO [relatedModel]
forall {t1} {t2}. t1 -> (t1 -> t2) -> t2
|> QueryBuilder (GetTableName relatedModel) -> IO [relatedModel]
QueryBuilder (GetTableName relatedModel)
-> IO
     (FetchResult
        (QueryBuilder (GetTableName relatedModel)) relatedModel)
forall fetchable model.
(Fetchable fetchable model, Table model, FromRow model,
 ?modelContext::ModelContext) =>
fetchable -> IO (FetchResult fetchable model)
fetch
        let
            assignRelated :: model -> Include relatedField model
            assignRelated :: model -> Include relatedField model
assignRelated model
model =
                let
                    relatedModel :: Maybe (FetchResult (Id' tableName) relatedModel)
                    relatedModel :: Maybe (FetchResult (Id' tableName) relatedModel)
relatedModel = (relatedModel -> Bool) -> [relatedModel] -> Maybe relatedModel
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Maybe a
find (\relatedModel
r -> Id' tableName -> Maybe (Id' tableName)
forall a. a -> Maybe a
Just relatedModel
r.id Maybe (Id' tableName) -> Maybe (Id' tableName) -> Bool
forall a. Eq a => a -> a -> Bool
== Maybe (Id' tableName)
targetForeignKey) [relatedModel]
relatedModels
                    targetForeignKey :: Maybe (Id' tableName)
targetForeignKey = (forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @relatedField model
model :: Maybe (Id' tableName))
                in
                    forall (field :: Symbol) model model' value value'.
UpdateField field model model' value value' =>
value' -> model -> model'
updateField @relatedField Maybe relatedModel
Maybe (FetchResult (Id' tableName) relatedModel)
relatedModel model
model

        let
            result :: [Include relatedField model]
            result :: [Include relatedField model]
result = (model -> Include relatedField model)
-> [model] -> [Include relatedField model]
forall a b. (a -> b) -> [a] -> [b]
map model -> Include relatedField model
assignRelated [model]
model
        [Include relatedField model] -> IO [Include relatedField model]
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure [Include relatedField model]
result

-- | Provides collectionFetchRelated for QueryBuilder's, e.g. @collectionFetchRelated #comments@
--
-- When we want to fetch all the comments for a list of posts, we can use collectionFetchRelated like this:
--
-- > posts <- query @Post
-- >     |> fetch
-- >     >>= collectionFetchRelated #comments
--
-- This will query all posts with their comments. The type of @posts@ is @[Include "comments" Post]@.
--
-- When fetching query builders, currently the implementation is not very efficient. E.g. given 10 Posts above, it will run 10 queries to fetch the comments. We should optimise this behavior in the future.
instance (relatedModel ~ GetModelByTableName relatedTable, Table relatedModel) => CollectionFetchRelated (QueryBuilder relatedTable) relatedModel where
    collectionFetchRelated :: forall model relatedField. (
            ?modelContext :: ModelContext,
            HasField relatedField model (QueryBuilder relatedTable),
            UpdateField relatedField model (Include relatedField model) (QueryBuilder relatedTable) (FetchResult (QueryBuilder relatedTable) relatedModel),
            Fetchable (QueryBuilder relatedTable) relatedModel,
            KnownSymbol (GetTableName relatedModel),
            PG.FromRow relatedModel,
            KnownSymbol relatedField
        ) => Proxy relatedField -> [model] -> IO [Include relatedField model]
    collectionFetchRelated :: forall model (relatedField :: Symbol).
(?modelContext::ModelContext,
 HasField relatedField model (QueryBuilder relatedTable),
 UpdateField
   relatedField
   model
   (Include relatedField model)
   (QueryBuilder relatedTable)
   (FetchResult (QueryBuilder relatedTable) relatedModel),
 Fetchable (QueryBuilder relatedTable) relatedModel,
 KnownSymbol (GetTableName relatedModel), FromRow relatedModel,
 KnownSymbol relatedField) =>
Proxy relatedField -> [model] -> IO [Include relatedField model]
collectionFetchRelated Proxy relatedField
relatedField [model]
models = do
        let fetchRelated :: model -> IO (Include relatedField model)
fetchRelated model
model = do
                let QueryBuilder relatedTable
queryBuilder :: QueryBuilder relatedTable = forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @relatedField model
model
                [relatedModel]
result :: [relatedModel] <- QueryBuilder relatedTable
-> IO (FetchResult (QueryBuilder relatedTable) relatedModel)
forall fetchable model.
(Fetchable fetchable model, Table model, FromRow model,
 ?modelContext::ModelContext) =>
fetchable -> IO (FetchResult fetchable model)
fetch QueryBuilder relatedTable
queryBuilder
                Include relatedField model -> IO (Include relatedField model)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (forall (field :: Symbol) model model' value value'.
UpdateField field model model' value value' =>
value' -> model -> model'
updateField @relatedField [relatedModel]
result model
model)
        (model -> IO (Include relatedField model))
-> [model] -> IO [Include relatedField model]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
forall (m :: * -> *) a b. Monad m => (a -> m b) -> [a] -> m [b]
mapM model -> IO (Include relatedField model)
fetchRelated [model]
models

-- Fetches a related record
--
-- Given a specific post, we can fetch the post and all its comments like this:
--
-- > let postId :: Id Post = ...
-- > 
-- > post <- fetch postId
-- >     >>= fetchRelated #comments
--
-- This Haskell code will trigger the following SQL queries to be executed:
--
-- > SELECT posts.* FROM posts WHERE id = ?  LIMIT 1
-- > SELECT comments.* FROM comments WHERE post_id = ?
--
-- In the view we can just access the comments like this:
--
-- > [hsx|
-- >     <h1>{post.title}</h1>
-- >     <h2>Comments:</h2>
-- >     {post.comments}
-- > |]
--
-- The @post.comments@ returns a list of the comments belonging to the post.
-- The type of post is @Include "comments"@ Post instead of the usual @Post@. This way the state of a fetched nested resource is tracked at the type level.
--
fetchRelated :: forall model field fieldValue fetchModel. (
        ?modelContext :: ModelContext,
        UpdateField field model (Include field model) fieldValue (FetchResult fieldValue fetchModel),
        HasField field model fieldValue,
        PG.FromRow fetchModel,
        KnownSymbol (GetTableName fetchModel),
        Fetchable fieldValue fetchModel,
        Table fetchModel
    ) => Proxy field -> model -> IO (Include field model)
fetchRelated :: forall model (field :: Symbol) fieldValue fetchModel.
(?modelContext::ModelContext,
 UpdateField
   field
   model
   (Include field model)
   fieldValue
   (FetchResult fieldValue fetchModel),
 HasField field model fieldValue, FromRow fetchModel,
 KnownSymbol (GetTableName fetchModel),
 Fetchable fieldValue fetchModel, Table fetchModel) =>
Proxy field -> model -> IO (Include field model)
fetchRelated Proxy field
relatedField model
model = do
    FetchResult fieldValue fetchModel
result :: FetchResult fieldValue fetchModel <- fieldValue -> IO (FetchResult fieldValue fetchModel)
forall fetchable model.
(Fetchable fetchable model, Table model, FromRow model,
 ?modelContext::ModelContext) =>
fetchable -> IO (FetchResult fetchable model)
fetch ((forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @field model
model) :: fieldValue)
    let model' :: Include field model
model' = forall (field :: Symbol) model model' value value'.
UpdateField field model model' value value' =>
value' -> model -> model'
updateField @field FetchResult fieldValue fetchModel
result model
model
    Include field model -> IO (Include field model)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Include field model
model'
{-# INLINE fetchRelated #-}

fetchRelatedOrNothing :: forall model field fieldValue fetchModel. (
        ?modelContext :: ModelContext,
        UpdateField field model (Include field model) (Maybe fieldValue) (Maybe (FetchResult fieldValue fetchModel)),
        HasField field model (Maybe fieldValue),
        PG.FromRow fetchModel,
        KnownSymbol (GetTableName fetchModel),
        Fetchable fieldValue fetchModel,
        Table fetchModel
    ) => Proxy field -> model -> IO (Include field model)
fetchRelatedOrNothing :: forall model (field :: Symbol) fieldValue fetchModel.
(?modelContext::ModelContext,
 UpdateField
   field
   model
   (Include field model)
   (Maybe fieldValue)
   (Maybe (FetchResult fieldValue fetchModel)),
 HasField field model (Maybe fieldValue), FromRow fetchModel,
 KnownSymbol (GetTableName fetchModel),
 Fetchable fieldValue fetchModel, Table fetchModel) =>
Proxy field -> model -> IO (Include field model)
fetchRelatedOrNothing Proxy field
relatedField model
model = do
    Maybe (FetchResult fieldValue fetchModel)
result :: Maybe (FetchResult fieldValue fetchModel) <- case forall {k} (x :: k) r a. HasField x r a => r -> a
forall (x :: Symbol) r a. HasField x r a => r -> a
getField @field model
model of
            Just fieldValue
fieldValue -> FetchResult fieldValue fetchModel
-> Maybe (FetchResult fieldValue fetchModel)
forall a. a -> Maybe a
Just (FetchResult fieldValue fetchModel
 -> Maybe (FetchResult fieldValue fetchModel))
-> IO (FetchResult fieldValue fetchModel)
-> IO (Maybe (FetchResult fieldValue fetchModel))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> fieldValue -> IO (FetchResult fieldValue fetchModel)
forall fetchable model.
(Fetchable fetchable model, Table model, FromRow model,
 ?modelContext::ModelContext) =>
fetchable -> IO (FetchResult fetchable model)
fetch fieldValue
fieldValue
            Maybe fieldValue
Nothing -> Maybe (FetchResult fieldValue fetchModel)
-> IO (Maybe (FetchResult fieldValue fetchModel))
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Maybe (FetchResult fieldValue fetchModel)
forall a. Maybe a
Nothing
    let model' :: Include field model
model' = forall (field :: Symbol) model model' value value'.
UpdateField field model model' value value' =>
value' -> model -> model'
updateField @field Maybe (FetchResult fieldValue fetchModel)
result model
model
    Include field model -> IO (Include field model)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Include field model
model'
{-# INLINE fetchRelatedOrNothing #-}

maybeFetchRelatedOrNothing :: forall model field fieldValue fetchModel. (
        ?modelContext :: ModelContext,
        UpdateField field model (Include field model) (Maybe fieldValue) (Maybe (FetchResult fieldValue fetchModel)),
        HasField field model (Maybe fieldValue),
        PG.FromRow fetchModel,
        KnownSymbol (GetTableName fetchModel),
        Fetchable fieldValue fetchModel,
        Table fetchModel
    ) => Proxy field -> Maybe model -> IO (Maybe (Include field model))
maybeFetchRelatedOrNothing :: forall model (field :: Symbol) fieldValue fetchModel.
(?modelContext::ModelContext,
 UpdateField
   field
   model
   (Include field model)
   (Maybe fieldValue)
   (Maybe (FetchResult fieldValue fetchModel)),
 HasField field model (Maybe fieldValue), FromRow fetchModel,
 KnownSymbol (GetTableName fetchModel),
 Fetchable fieldValue fetchModel, Table fetchModel) =>
Proxy field -> Maybe model -> IO (Maybe (Include field model))
maybeFetchRelatedOrNothing Proxy field
relatedField = IO (Maybe (Include field model))
-> (model -> IO (Maybe (Include field model)))
-> Maybe model
-> IO (Maybe (Include field model))
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Maybe (Include field model) -> IO (Maybe (Include field model))
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Maybe (Include field model)
forall a. Maybe a
Nothing) (\model
q -> Proxy field -> model -> IO (Include field model)
forall model (field :: Symbol) fieldValue fetchModel.
(?modelContext::ModelContext,
 UpdateField
   field
   model
   (Include field model)
   (Maybe fieldValue)
   (Maybe (FetchResult fieldValue fetchModel)),
 HasField field model (Maybe fieldValue), FromRow fetchModel,
 KnownSymbol (GetTableName fetchModel),
 Fetchable fieldValue fetchModel, Table fetchModel) =>
Proxy field -> model -> IO (Include field model)
fetchRelatedOrNothing Proxy field
relatedField model
q IO (Include field model)
-> (Include field model -> IO (Maybe (Include field model)))
-> IO (Maybe (Include field model))
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Maybe (Include field model) -> IO (Maybe (Include field model))
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Maybe (Include field model) -> IO (Maybe (Include field model)))
-> (Include field model -> Maybe (Include field model))
-> Include field model
-> IO (Maybe (Include field model))
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. Include field model -> Maybe (Include field model)
forall a. a -> Maybe a
Just)
{-# INLINE maybeFetchRelatedOrNothing #-}