What will be the underlying runtime representation of your provided type (the type you passed to the ProvidedTypeDefinition
baseType
argument)? The ProvidedConstructor
InvokeCode
is a function that takes a list of expressions and returns an expression of the underlying type. For example, if the runtime representation is a 2-element tuple, InvokeCode
would be something like this:
InvokeCode = (fun [arg1;arg2] -> <@@ (%%arg1:int), (%%arg2:string) @@>)
Make sure to read this tutorial