#ifndef LIBABACUS_PARSETYPE_H
#define LIBABACUS_PARSETYPE_H

#include "basetype.h"
#include "ref_vec.h"
#include "result.h"

#define LIBABACUS_TYPE_F_PARENT (1)
#define LIBABACUS_TYPE_F_PLACE (1 << 1)
#define LIBABACUS_TYPE_F_RESOLVED (1 << 2)

/**
 * A type, either parsed or resolved.
 */
struct libab_parsetype_s {
    /**
     * The variant of the given parse type.
     */
    int variant;
    /**
     * Union that represents the data carried by this type.
     */
    union {
        /**
         * The name of the type that this parse type describes.
         */
        char* name;
        /**
         * The pointer to the base of this type.
         */
        libab_basetype* base;
    } data_u;
    /**
     * A vector of children that this parse type contains.
     * The children are effectively type parameters.
     */
    libab_ref_vec children;
};

typedef struct libab_parsetype_s libab_parsetype;

/**
 * Creates a new type instance.
 * @param into the reference to store the new type into.
 * @param from the basetype to instantiate.
 * @param n the number of type parameters.
 * @return the result of the instantiation.
 */
libab_result libab_parsetype_init(libab_parsetype* into, libab_basetype* from,
                                  size_t n, ...);
/**
 * Same as _init, but using a pre-initialized va_list.
 * @param into the reference to store the new type into.
 * @param from the basetype to instantiate.
 * @param n the number of type parameters.
 * @param args the list of parameters to this parsetype.
 * @return the result of the instantiation.
 */
libab_result libab_parsetype_init_va(libab_parsetype* into,
                                     libab_basetype* from, size_t n,
                                     va_list args);

/**
 * Frees the data associated with this type, ignoring
 * its children.
 * @param type the type to free.
 */
void libab_parsetype_free(libab_parsetype* type);

#endif