Skip to content

Instantly share code, notes, and snippets.

Avatar

Louis Dionne ldionne

View GitHub Profile
@ldionne
ldionne / moved.md
Last active Dec 28, 2015
Comparison of techniques to implement compile-time logical conjunction and disjunction.
View moved.md
@ldionne
ldionne / moved.md
Last active Dec 28, 2015
Comparison of techniques to implement lookup in compile-time structures.
View moved.md
@ldionne
ldionne / moved.md
Last active Dec 28, 2015
Comparison between different ways of instantiating the same number of templates.
View moved.md
@ldionne
ldionne / zip_with.cpp
Last active Aug 29, 2015
View zip_with.cpp
/*!
* Barebones zip_with and fmap for std::tuple and std::integer_sequence.
*
* Copyright Louis Dionne 2014
* Distributed under the Boost Software License, Version 1.0.
* (See accompanying file LICENSE.md or copy at
* http://www.boost.org/LICENSE_1_0.txt)
*/
// Compiled with:
@ldionne
ldionne / benchmark.hpp
Last active Aug 29, 2015
Support header for runtime benchmarks with the Benchcc gem.
View benchmark.hpp
/*
@copyright Louis Dionne 2014
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
*/
#ifndef BOOST_HANA_BENCHMARK_MEASURE_HPP
#define BOOST_HANA_BENCHMARK_MEASURE_HPP
#include <chrono>
@ldionne
ldionne / when.md
Created Oct 7, 2014
NXXXX: Flexible partial specialization with `when` and `when_valid`
View when.md

Flexible partial specialization with when and when_valid

  • Document Number: NXXXX
  • Date: 2014-10-07
  • Programming Language C++, Library Evolution Working Group
  • Reply-to: Louis Dionne ldionne.2@gmail.com

Introduction

@ldionne
ldionne / no_adl.cpp
Created Mar 5, 2015
Make sure Hana avoids undesirable instantiations because of ADL.
View no_adl.cpp
template <typename ...T>
struct _tuple_t {
struct _;
};
template <typename ...T>
struct _tuple_t<T...>::_
: _tuple_t<T...>
{ };
@ldionne
ldionne / compile_time_printf.cpp
Created Mar 12, 2015
Create a printf-style format string at compile-time
View compile_time_printf.cpp
#include <type_traits>
#include <boost/hana.hpp>
#include <boost/hana/ext/std/type_traits.hpp>
#include <iostream>
using namespace hana;
constexpr auto formats = hana::make_map(
hana::make<hana::Pair>(hana::type<int>, hana::string<'%', 'd'>),
hana::make<hana::Pair>(hana::type<float>, hana::string<'%', 'f'>),
@ldionne
ldionne / GCC ICE output.txt
Created Mar 20, 2015
View GCC ICE output.txt
› ~/code/gcc5/bin/g++ -std=c++1y ~/code/hana/test/worksheet.cpp
/Users/ldionne/code/hana/test/worksheet.cpp: In substitution of ‘template<bool _Cond, class _Tp> using enable_if_t = typename std::enable_if::type [with bool _Cond = std::is_same<T, T>{}(); _Tp = void]’:
/Users/ldionne/code/hana/test/worksheet.cpp:1411:25: required from here
/Users/ldionne/code/hana/test/worksheet.cpp:1408:50: in constexpr expansion of ‘((std::integral_constant<bool, true>*)(& std::is_same<T, T>()))->std::integral_constant<_Tp, __v>::operator()<bool, true>()’
/Users/ldionne/code/hana/test/worksheet.cpp:1411:25: internal compiler error: in cxx_eval_call_expression, at cp/constexpr.c:1358
auto ICE_HERE = __func__;
^
/Users/ldionne/code/hana/test/worksheet.cpp:1411:25: internal compiler error: Abort trap: 6
g++: internal compiler error: Abort trap: 6 (program cc1plus)
@ldionne
ldionne / GSoC2015.md
Last active Aug 29, 2015
Proposition for GSoC 2015 with Boost
View GSoC2015.md

Abstract

The goal of this project is to improve the compile-time associative data structures present in the Hana C++14 metaprogramming library. I aim to provide a richer interface than what is currently available and also to improve the compile-time performance of those data structures, while keeping the runtime performance on-par with non-naive hand-written code.

Background information