[Monads] Create a rebindable concept

ptal / expected

What did you expect?

113 stars 18 forks source link

[Monads] Create a rebindable concept #40

Closed viboes closed 10 years ago

viboes commented 10 years ago

// features
template <class M, class Traits = rebindable_traits_t<M> > 
using value_type = typename Traits :: template value_type<M>; 

template <class M, class U, class Traits = rebindable_traits_t<M > > 
using rebind = typename Traits :: template rebind<M, U>;

viboes commented 10 years ago

https://github.com/ptal/Boost.Expected/commit/e4594f5f36ccadd54a21262d65d8485d47d928fb