test-lift.cpp

#include "stdio.h"

//stop

void stop()
{
 throw 42;
}

//operation

enum class operation
{
 clear,
 clone,
};

//apply

using apply=void (*)(void* in,const operation,void* out=nullptr);

//val

struct val
{
 void* _pointer=nullptr;
 apply _apply=nullptr;
 
 //destructor
 
 ~val()
 {
  clear();
 }
 
 //clear
 
 void clear()
 {
  if(empty())
   return;
   
  _apply(_pointer,operation::clear);
 }

 //clone
 
 val clone()
 {
  if(empty())
   return {};
   
  void* out=nullptr;
   
  _apply(_pointer,operation::clone,&out);
  
  return {out,_apply};
 }
 
 //empty
 
 bool empty()
 {
  return _pointer==nullptr;
 }
 
};

//primitive apply

template <typename T> void primitive_apply(void* in,const operation,void* out)
{
 const value=(T)in;
 
 if(op==operation::clear)
 {
 }
 
 if(op==operation::clone)
 {
 }
}

//lift primitive

template <typename T> val lift_primitive(const T value)
{
 
 //const auto result=[value](const action)
 const auto function=[](void* pointer,const action)
 {
 };
 
 return {value,function};
}

//lift

val lift(const int value)
{
 return lift_primitive(value);
}

//main

int main(int count,const char** arguments)
{
 lift(42);
 
 printf("%s\n","ok");

 return 0;
}