LC::Util::detail Namespace Reference

Classes
struct	CountArgs
struct	CountArgs< Container< Args... > >
struct	DecomposeMemberPtr
struct	DecomposeMemberPtr< R(C::*)>
class	DomSiblingsIterator
struct	DropImpl
struct	DropImpl< 0, List >
class	Dropper
struct	Dumbifier
struct	Filter< Pred, List< Head, Tail... >, std::enable_if_t< Pred< Head >::value > >
struct	Filter< Pred, List< Head, Tail... >, std::enable_if_t<!Pred< Head >::value > >
struct	Filter< Pred, List<> >
struct	Find
struct	Find< Name, Def >
struct	Find< Name, Def, Name< T >, Rest... >
struct	Find< Name, Def, T, Rest... >
struct	Initializer
struct	Initializer< WorkerType >
struct	InitializerBase
struct	InvokableResGetter
struct	InvokableResGetter< F, List< Args... > >
struct	InvokableType
struct	IsDetected
struct	IsDetected< Default, std::void_t< Op< Args... > >, Op, Args... >
struct	IsNotBrokenSFINAE
struct	IsNotBrokenSFINAE< boost::iterator_range< T > >
struct	Iterator
class	LambdaEventFilter
struct	Overloaded
struct	Range
struct	Replace
struct	Replace< Container< U >, T >
class	ScopeGuard
class	SharedScopeGuard
struct	VisitorBase
struct	VisitorFinallyTag
struct	WrapVoidResult
struct	WrapVoidResult< void >

Typedefs
template<typename T >
using	Dumbify = typename Dumbifier< T >::Type_t
template<typename T >
using	WrapVoidResult_t = typename WrapVoidResult< T >::Type
template<typename T >
using	VoidSafe = std::conditional_t< std::is_same< T, void > {}, ReturnsVoid, T >
template<typename F >
using	RetTypeRaw_t = std::tuple_element_t< 0, decltype(TypeGetter(*static_cast< F * >(nullptr)))>
using	DefaultScopeGuardDeleter = std::function< void()>

Functions
template<typename F , template< typename... > class List, typename... Args>
constexpr List< Args... >	GetInvokablePartImpl (int, List< Args... >, typename std::result_of< F(Args...)>::type *=nullptr)
template<typename F , template< typename... > class List>
constexpr Typelist	GetInvokablePartImpl (float, List<>)
template<typename F , template< typename... > class List, typename... Args>
constexpr auto	GetInvokablePartImpl (float, List< Args... > list) -> typename InvokableType< F, decltype(Reverse(Tail(Reverse(list))))>::RetType_t
template<typename F , typename... Args>
constexpr auto	GetInvokablePart () -> decltype(GetInvokablePartImpl< F >(0, Typelist< Args... >
template<template< typename... > class List, typename... Args>
constexpr size_t	Length (List< Args... >)
template<typename T >
constexpr bool	IsFunctorImpl (int, typename InstanceFunctor< T >::UndefinedTag *=nullptr)
template<typename T >
constexpr bool	IsFunctorImpl (float)
template<template< typename... > class Monad, typename... Args1, typename... Args2>
constexpr bool	IsCompatibleMonadImpl (const Monad< Args1... > *, const Monad< Args2... > *, int)
template<typename T1 , typename T2 >
constexpr bool	IsCompatibleMonadImpl (const T1 *, const T2 *,...)
template<typename T >
constexpr T *	declptr () noexcept
template<typename T1 , typename T2 >
constexpr bool	IsCompatibleMonad ()
template<typename T >
constexpr bool	IsMonadPlusImpl (int, typename InstanceMonadPlus< T >::UndefinedTag *=nullptr)
template<typename T >
constexpr bool	IsMonadPlusImpl (float)
constexpr size_t	NewTypeHash (const char *str)
template<typename Res , typename T >
void	Append (Res &result, T &&val, decltype(result.push_back(std::forward< T >(val))) *=nullptr)
template<typename Res , typename T >
void	Append (Res &result, T &&val, decltype(result.insert(std::forward< T >(val))) *=nullptr)
template<typename C >
constexpr bool	IsSimpleContainer ()
template<template< typename... > class Fallback, bool ForceFallback, typename Container , typename F >
auto	MapImpl (Container &&c, F f)
template<typename R , typename... Args>
std::tuple< VoidSafe< R >, Args... >	TypeGetter (R(*)(Args...))
template<typename F >
auto	TypeGetter (F &&f) -> decltype(TypeGetter(+f))
template<typename C , typename R , typename... Args>
std::tuple< VoidSafe< R >, Args... >	TypeGetter (R(C::*)(Args...) const)
template<class... Ts>
	Overloaded (Ts...) -> Overloaded< Ts... >

Variables
template<typename T >
constexpr bool	IsNotBrokenSFINAE_v = IsNotBrokenSFINAE<T> {}
template<typename C >
decltype(TypeGetter(&C::operator()))	TypeGetter (const C &c)

Typedef Documentation

DefaultScopeGuardDeleter

using LC::Util::detail::DefaultScopeGuardDeleter = typedef std::function<void ()>

Definition at line 119 of file util.h.

Dumbify

template<typename T >

using LC::Util::detail::Dumbify = typedef typename Dumbifier<T>::Type_t

Definition at line 164 of file dropargs.h.

RetTypeRaw_t

template<typename F >

using LC::Util::detail::RetTypeRaw_t = typedef std::tuple_element_t<0, decltype (TypeGetter (*static_cast<F*> (nullptr)))>

Definition at line 143 of file typegetter.h.

VoidSafe

template<typename T >

using LC::Util::detail::VoidSafe = typedef std::conditional_t< std::is_same<T, void> {}, ReturnsVoid, T >

Definition at line 125 of file typegetter.h.

WrapVoidResult_t

template<typename T >

using LC::Util::detail::WrapVoidResult_t = typedef typename WrapVoidResult<T>::Type

Definition at line 272 of file functor.h.

Function Documentation

Append() [1/2]

template<typename Res , typename T >

void LC::Util::detail::Append	(	Res &	result,
		T &&	val,
		decltype(result.insert(std::forward< T >(val))) *	= nullptr
	)

Definition at line 96 of file prelude.h.

Append() [2/2]

template<typename Res , typename T >

void LC::Util::detail::Append	(	Res &	result,
		T &&	val,
		decltype(result.push_back(std::forward< T >(val))) *	= nullptr
	)

Definition at line 90 of file prelude.h.

Referenced by LC::Util::Concat(), LC::Util::Filter(), and MapImpl().

Here is the caller graph for this function:

declptr()

template<typename T >

constexpr T* LC::Util::detail::declptr ( )

constexprnoexcept

Definition at line 122 of file monad.h.

GetInvokablePart()

template<typename F , typename... Args>

constexpr auto LC::Util::detail::GetInvokablePart ( ) -> decltype (GetInvokablePartImpl<F> (0, Typelist<Args...>

constexpr

Definition at line 146 of file dropargs.h.

GetInvokablePartImpl() [1/3]

template<typename F , template< typename... > class List, typename... Args>

constexpr auto LC::Util::detail::GetInvokablePartImpl ( float  , List< Args... >  list  ) -> typename InvokableType<F, decltype (Reverse (Tail (Reverse (list))))>::RetType_t

constexpr

Definition at line 134 of file dropargs.h.

GetInvokablePartImpl() [2/3]

template<typename F , template< typename... > class List>

constexpr Typelist LC::Util::detail::GetInvokablePartImpl ( float  , List<>    )

constexpr

Definition at line 125 of file dropargs.h.

References LC::Util::oral::sph::f.

GetInvokablePartImpl() [3/3]

template<typename F , template< typename... > class List, typename... Args>

constexpr List<Args...> LC::Util::detail::GetInvokablePartImpl ( int  , List< Args... >  , typename std::result_of< F(Args...)>::type *  = nullptr  )

constexpr

Definition at line 119 of file dropargs.h.

IsCompatibleMonad()

template<typename T1 , typename T2 >

constexpr bool LC::Util::detail::IsCompatibleMonad ( )

constexpr

Definition at line 128 of file monad.h.

References LC::Util::Bind(), and LC::Util::oral::sph::f.

Here is the call graph for this function:

IsCompatibleMonadImpl() [1/2]

template<template< typename... > class Monad, typename... Args1, typename... Args2>

constexpr bool LC::Util::detail::IsCompatibleMonadImpl ( const Monad< Args1... > *  , const Monad< Args2... > *  , int    )

constexpr

Definition at line 107 of file monad.h.

IsCompatibleMonadImpl() [2/2]

template<typename T1 , typename T2 >

constexpr bool LC::Util::detail::IsCompatibleMonadImpl ( const T1 *  , const T2 *  ,   ...  )

constexpr

Definition at line 116 of file monad.h.

IsFunctorImpl() [1/2]

template<typename T >

constexpr bool LC::Util::detail::IsFunctorImpl ( float  )

constexpr

Definition at line 151 of file functor.h.

IsFunctorImpl() [2/2]

template<typename T >

constexpr bool LC::Util::detail::IsFunctorImpl ( int  , typename InstanceFunctor< T >::UndefinedTag *  = nullptr  )

constexpr

Definition at line 145 of file functor.h.

IsMonadPlusImpl() [1/2]

template<typename T >

constexpr bool LC::Util::detail::IsMonadPlusImpl ( float  )

constexpr

Definition at line 106 of file monadplus.h.

IsMonadPlusImpl() [2/2]

template<typename T >

constexpr bool LC::Util::detail::IsMonadPlusImpl ( int  , typename InstanceMonadPlus< T >::UndefinedTag *  = nullptr  )

constexpr

Definition at line 100 of file monadplus.h.

IsSimpleContainer()

template<typename C >

constexpr bool LC::Util::detail::IsSimpleContainer ( )

constexpr

Definition at line 114 of file prelude.h.

Length()

template<template< typename... > class List, typename... Args>

constexpr size_t LC::Util::detail::Length ( List< Args... >  )

constexpr

Definition at line 152 of file dropargs.h.

MapImpl()

template<template< typename... > class Fallback, bool ForceFallback, typename Container , typename F >

auto LC::Util::detail::MapImpl	(	Container &&	c,
		F	f
	)

Definition at line 141 of file prelude.h.

References Append(), and LC::Util::oral::sph::f.

Here is the call graph for this function:

NewTypeHash()

constexpr size_t LC::Util::detail::NewTypeHash ( const char *  str )

constexpr

Definition at line 119 of file newtype.h.

Overloaded()

template<class... Ts>

LC::Util::detail::Overloaded

(

Ts...

)

-> Overloaded< Ts... >

TypeGetter() [1/3]

template<typename F >

auto LC::Util::detail::TypeGetter

(

F &&

f

)

-> decltype(TypeGetter(+f))

TypeGetter() [2/3]

template<typename R , typename... Args>

std::tuple<VoidSafe<R>, Args...> LC::Util::detail::TypeGetter

(

R(*)(Args...)

)

TypeGetter() [3/3]

template<typename C , typename R , typename... Args>

std::tuple< VoidSafe< R >, Args... > LC::Util::detail::TypeGetter

(

R(C::*)(Args...) const

)

Variable Documentation

IsNotBrokenSFINAE_v

template<typename T >

constexpr bool LC::Util::detail::IsNotBrokenSFINAE_v = IsNotBrokenSFINAE<T> {}

constexpr

Definition at line 138 of file prelude.h.

TypeGetter

template<typename C >

decltype(TypeGetter (&C::operator ())) LC::Util::detail::TypeGetter(const C &c)

Definition at line 140 of file typegetter.h.