concepts.hlsl

// Copyright (C) 2018-2026 - DevSH Graphics Programming Sp. z O.O.
// This file is part of the "Nabla Engine".
// For conditions of distribution and use, see copyright notice in nabla.h
#ifndef _NBL_BUILTIN_HLSL_PATH_TRACING_CONCEPTS_INCLUDED_
#define _NBL_BUILTIN_HLSL_PATH_TRACING_CONCEPTS_INCLUDED_

#include <nbl/builtin/hlsl/concepts.hlsl>

namespace nbl
{
namespace hlsl
{
namespace path_tracing
{
namespace concepts
{
namespace impl
{
template<typename Vector3>
struct DummyRayInteraction
{
    using vector3_type = Vector3;

    vector3_type getN() NBL_CONST_MEMBER_FUNC;
    bool isMaterialBSDF() NBL_CONST_MEMBER_FUNC;
};
}

#define NBL_CONCEPT_NAME RandGenerator
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (rand, T)
#define NBL_CONCEPT_PARAM_1 (sampleIx, uint32_t)
NBL_CONCEPT_BEGIN(2)
#define rand NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define sampleIx NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::rng_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::return_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((rand(sampleIx, sampleIx)), ::nbl::hlsl::is_same_v, typename T::return_type))
);
#undef sampleIx
#undef rand
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME Ray
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (ray, T)
#define NBL_CONCEPT_PARAM_1 (v, typename T::vector3_type)
#define NBL_CONCEPT_PARAM_2 (interaction, impl::DummyRayInteraction<typename T::vector3_type>)
#define NBL_CONCEPT_PARAM_3 (scalar, typename T::scalar_type)
#define NBL_CONCEPT_PARAM_4 (color, typename T::spectral_type)
NBL_CONCEPT_BEGIN(5)
#define ray NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define v NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define interaction NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
#define scalar NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_3
#define color NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_4
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::scalar_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::spectral_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.init(v/*origin*/, v/*direction*/)), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.setInteraction(interaction)), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.initPayload()), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.shouldDoMIS()), ::nbl::hlsl::is_same_v, bool))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.foundEmissiveMIS(scalar)), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.addPayloadContribution(color)), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.getPayloadAccumulatiion()), ::nbl::hlsl::is_same_v, typename T::spectral_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.updateThroughputAndMISWeights(color, scalar)), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.setT(scalar)), ::nbl::hlsl::is_same_v, void))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.getT()), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.getPayloadThroughput()), ::nbl::hlsl::is_same_v, typename T::spectral_type))
);
#undef color
#undef scalar
#undef interaction
#undef v
#undef ray
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME RayGenerator
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (raygen, T)
#define NBL_CONCEPT_PARAM_1 (randVec, typename T::vector3_type)
NBL_CONCEPT_BEGIN(2)
#define raygen NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define randVec NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::ray_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(Ray, typename T::ray_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((raygen.generate(randVec)), ::nbl::hlsl::is_same_v, typename T::ray_type))
);
#undef randVec
#undef raygen
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME IntersectorClosestHit
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (closest_hit, T)
NBL_CONCEPT_BEGIN(1)
#define closest_hit NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::object_handle_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::interaction_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((closest_hit.foundHit()), ::nbl::hlsl::is_same_v, bool))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((closest_hit.getObjectID()), ::nbl::hlsl::is_same_v, typename T::object_handle_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((closest_hit.getPosition()), ::nbl::hlsl::is_same_v, typename T::vector3_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((closest_hit.getInteraction()), ::nbl::hlsl::is_same_v, typename T::interaction_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((closest_hit.getGeometricNormal()), ::nbl::hlsl::is_same_v, typename T::vector3_type))
);
#undef closest_hit
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME Intersector
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (intersect, T)
#define NBL_CONCEPT_PARAM_1 (ray, typename T::ray_type)
#define NBL_CONCEPT_PARAM_2 (scene, typename T::scene_type)
#define NBL_CONCEPT_PARAM_3 (objectID, typename T::object_handle_type)
NBL_CONCEPT_BEGIN(4)
#define intersect NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define ray NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define scene NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
#define objectID NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_3
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::scalar_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::scene_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::ray_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::object_handle_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::anisotropic_interaction_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::closest_hit_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(IntersectorClosestHit, typename T::closest_hit_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(Ray, typename T::ray_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((intersect.traceClosestHit(scene, ray)), ::nbl::hlsl::is_same_v, typename T::closest_hit_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((intersect.traceShadowRay(scene, ray, objectID)), ::nbl::hlsl::is_same_v, typename T::scalar_type))
);
#undef objectID
#undef scene
#undef ray
#undef intersect
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME UnidirectionalInteractionContract
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)(typename)(typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (RayT)(IntersectorT)(MaterialSystemT)
#define NBL_CONCEPT_PARAM_0 (ray, RayT)
#define NBL_CONCEPT_PARAM_1 (hit, typename IntersectorT::closest_hit_type)
#define NBL_CONCEPT_PARAM_2 (interaction, typename MaterialSystemT::anisotropic_interaction_type)
NBL_CONCEPT_BEGIN(3)
#define ray NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define hit NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define interaction NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((hit.getInteraction()), ::nbl::hlsl::is_same_v, typename IntersectorT::anisotropic_interaction_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((hit.getInteraction()), ::nbl::hlsl::is_same_v, typename MaterialSystemT::anisotropic_interaction_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((ray.setInteraction(interaction)), ::nbl::hlsl::is_same_v, void))
);
#undef interaction
#undef hit
#undef ray
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME BxdfNode
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (node, T)
NBL_CONCEPT_BEGIN(1)
#define intersect NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((intersect.getNEEProb()), ::nbl::hlsl::is_same_v, typename T::scalar_type))
);
#undef intersect
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME MaterialSystem
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (matsys, T)
#define NBL_CONCEPT_PARAM_1 (_sample, typename T::sample_type)
#define NBL_CONCEPT_PARAM_2 (matid, typename T::material_id_type)
#define NBL_CONCEPT_PARAM_3 (aniso_inter, typename T::anisotropic_interaction_type)
#define NBL_CONCEPT_PARAM_4 (iso_inter, typename T::isotropic_interaction_type)
#define NBL_CONCEPT_PARAM_5 (cache_, typename T::cache_type)
#define NBL_CONCEPT_PARAM_6 (iso_cache, typename T::isocache_type)
#define NBL_CONCEPT_PARAM_7 (u, typename T::vector3_type)
#define NBL_CONCEPT_PARAM_8 (cie_y, typename T::measure_type)
NBL_CONCEPT_BEGIN(9)
#define matsys NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define _sample NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define matid NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
#define aniso_inter NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_3
#define iso_inter NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_4
#define cache_ NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_5
#define iso_cache NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_6
#define u NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_7
#define cie_y NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_8
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::material_id_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::sample_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::quotient_pdf_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::measure_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::anisotropic_interaction_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::cache_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::bxdfnode_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::create_params_t))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(BxdfNode, typename T::bxdfnode_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.eval(matid, _sample, aniso_inter)), ::nbl::hlsl::is_same_v, typename T::measure_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.generate(matid, aniso_inter, u, cache_)), ::nbl::hlsl::is_same_v, typename T::sample_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.pdf(matid, _sample, aniso_inter)), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.quotient_and_pdf(matid, _sample, aniso_inter, cache_)), ::nbl::hlsl::is_same_v, typename T::quotient_pdf_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.getBxDFNode(matid, aniso_inter)), ::nbl::hlsl::is_same_v, typename T::bxdfnode_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.hasEmission(matid)), ::nbl::hlsl::is_same_v, bool))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.setMonochromeEta(matid, cie_y)), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((matsys.getEmission(matid, aniso_inter)), ::nbl::hlsl::is_same_v, typename T::measure_type))
);
#undef cie_y
#undef u
#undef iso_cache
#undef cache_
#undef iso_inter
#undef aniso_inter
#undef matid
#undef _sample
#undef matsys
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

namespace impl
{
struct DummyMaterialSystem {};
}

#define NBL_CONCEPT_NAME NextEventEstimatorSampleQuotientReturn
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (sqr, T)
NBL_CONCEPT_BEGIN(1)
#define sqr NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::scalar_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::sample_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::quotient_pdf_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::object_handle_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((sqr.getSample()), ::nbl::hlsl::is_same_v, typename T::sample_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((sqr.getQuotientPdf()), ::nbl::hlsl::is_same_v, typename T::quotient_pdf_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((sqr.getT()), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((sqr.getLightObjectID()), ::nbl::hlsl::is_same_v, typename T::object_handle_type))
);
#undef sqr
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME NextEventEstimator
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (nee, T)
#define NBL_CONCEPT_PARAM_1 (ray, typename T::ray_type)
#define NBL_CONCEPT_PARAM_2 (id, typename T::light_id_type)
#define NBL_CONCEPT_PARAM_3 (v, typename T::vector3_type)
#define NBL_CONCEPT_PARAM_4 (matSys, impl::DummyMaterialSystem)
#define NBL_CONCEPT_PARAM_5 (interaction, typename T::interaction_type)
#define NBL_CONCEPT_PARAM_6 (depth, uint16_t)
#define NBL_CONCEPT_PARAM_7 (scene, typename T::scene_type)
NBL_CONCEPT_BEGIN(8)
#define nee NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define ray NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define id NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
#define v NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_3
#define matSys NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_4
#define interaction NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_5
#define depth NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_6
#define scene NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_7
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::scalar_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::scene_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::light_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::light_id_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::ray_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::spectral_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::sample_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::quotient_pdf_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::interaction_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::sample_quotient_return_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::tolerance_method_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(NextEventEstimatorSampleQuotientReturn, typename T::sample_quotient_return_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(Ray, typename T::ray_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((nee.deferred_pdf(scene, id, ray)), ::nbl::hlsl::is_same_v, typename T::scalar_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((nee.template generate_and_quotient_and_pdf<impl::DummyMaterialSystem>(scene, matSys, v/*origin*/, interaction, v/*xi*/, depth)), ::nbl::hlsl::is_same_v, typename T::sample_quotient_return_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((nee.get_env_light_id()), ::nbl::hlsl::is_same_v, typename T::light_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((nee.get_environment_radiance(ray)), ::nbl::hlsl::is_same_v, typename T::spectral_type))
);
#undef scene
#undef depth
#undef interaction
#undef matSys
#undef v
#undef id
#undef ray
#undef nee
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME Accumulator
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (acc, T)
#define NBL_CONCEPT_PARAM_1 (sampleCount, uint32_t)
#define NBL_CONCEPT_PARAM_2 (_sample, typename T::input_sample_type)
NBL_CONCEPT_BEGIN(3)
#define acc NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define sampleCount NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define _sample NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::input_sample_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((acc.addSample(sampleCount, _sample)), ::nbl::hlsl::is_same_v, void))
);
#undef _sample
#undef sampleCount
#undef acc
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

#define NBL_CONCEPT_NAME MaterialLightID
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (id, T)
NBL_CONCEPT_BEGIN(1)
#define id NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::light_id_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::material_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((id.getLightID()), ::nbl::hlsl::is_same_v, typename T::light_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((id.getMaterialID()), ::nbl::hlsl::is_same_v, typename T::material_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((id.isLight()), ::nbl::hlsl::is_same_v, bool))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((id.canContinuePath()), ::nbl::hlsl::is_same_v, bool))
);
#undef id
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

namespace impl
{
struct DummyRay {};
struct DummyIntersect {};
}

#define NBL_CONCEPT_NAME Scene
#define NBL_CONCEPT_TPLT_PRM_KINDS (typename)
#define NBL_CONCEPT_TPLT_PRM_NAMES (T)
#define NBL_CONCEPT_PARAM_0 (scene, T)
#define NBL_CONCEPT_PARAM_1 (id, typename T::object_handle_type)
#define NBL_CONCEPT_PARAM_2 (ray, impl::DummyRay)
NBL_CONCEPT_BEGIN(3)
#define scene NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_0
#define id NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_1
#define ray NBL_CONCEPT_PARAM_T NBL_CONCEPT_PARAM_2
NBL_CONCEPT_END(
    ((NBL_CONCEPT_REQ_TYPE)(T::vector3_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::object_handle_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::mat_light_id_type))
    ((NBL_CONCEPT_REQ_TYPE)(T::interaction_type))
    ((NBL_CONCEPT_REQ_TYPE_ALIAS_CONCEPT)(MaterialLightID, typename T::mat_light_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((scene.getMatLightIDs(id)), ::nbl::hlsl::is_same_v, typename T::mat_light_id_type))
    ((NBL_CONCEPT_REQ_EXPR_RET_TYPE)((scene.template getIntersection<impl::DummyIntersect, impl::DummyRay>(id, ray)), ::nbl::hlsl::is_same_v, impl::DummyIntersect))
);
#undef ray
#undef id
#undef scene
#include <nbl/builtin/hlsl/concepts/__end.hlsl>

}
}
}
}

#endif