amrali
/ hkt.cpp
Created
September 17, 2018 00:14
— forked from jhaberstro/hkt.cpp
Functor, Maybe, and Higher-Kinded Types in C++
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Example program | |
| #include <iostream> | |
| #include <string> | |
| #include <vector> | |
| #include <type_traits> | |
| //--------------------- | |
| // Maybe and MyVector, two totally unrelated classes whose only commanilty is that they are both type constructors of the same arity (e.g. 1) and order (e.g. 1). | |
| //--------------------- | |
| template< typename T > |