Searched defs:TestMonad (Results 1 – 1 of 1) sorted by relevance
30 struct TestMonad : TestMonad<M, laws> { struct35 struct TestMonad<M, laws> { struct39 TestMonad(Xs xs, XXs xxs) { in TestMonad() function124 struct TestMonad<S, when<Sequence<S>::value>> struct128 TestMonad(Xs xs, XXs xxs) in TestMonad() argument131 constexpr auto list = make<S>;173 test::_injection<0> f{};174 auto g = hana::compose(list, f);206 test::_injection<0> f{};207 test::_injection<1> g{};[all …]