Searched defs:TestMonadPlus (Results 1 – 1 of 1) sorted by relevance
41 struct TestMonadPlus : TestMonadPlus<M, laws> { struct46 struct TestMonadPlus<M, laws> { struct48 TestMonadPlus(Xs xs, Predicates predicates, Values values) { in TestMonadPlus() argument114 struct TestMonadPlus<S, when<Sequence<S>::value>> struct118 using eq = test::ct_eq<i>;120 struct undefined { };123 TestMonadPlus(Xs xs, Predicates predicates, Values values) in TestMonadPlus() function127 constexpr auto list = make<S>;