souffle  2.0.2-371-g6315b36
Public Types
souffle::detail::lambda_traits_helper< R(A0, A1)> Struct Template Reference

#include <FunctionalUtil.h>

Collaboration diagram for souffle::detail::lambda_traits_helper< R(A0, A1)>:
Collaboration graph

Public Types

using arg0_type = A0
 
using arg1_type = A1
 
using result_type = R
 

Detailed Description

template<typename R, typename A0, typename A1>
struct souffle::detail::lambda_traits_helper< R(A0, A1)>

Definition at line 69 of file FunctionalUtil.h.

Member Typedef Documentation

◆ arg0_type

template<typename R , typename A0 , typename A1 >
using souffle::detail::lambda_traits_helper< R(A0, A1)>::arg0_type = A0

Definition at line 71 of file FunctionalUtil.h.

◆ arg1_type

template<typename R , typename A0 , typename A1 >
using souffle::detail::lambda_traits_helper< R(A0, A1)>::arg1_type = A1

Definition at line 72 of file FunctionalUtil.h.

◆ result_type

template<typename R , typename A0 , typename A1 >
using souffle::detail::lambda_traits_helper< R(A0, A1)>::result_type = R

Definition at line 70 of file FunctionalUtil.h.


The documentation for this struct was generated from the following file: