.. _stdlib_instance_function:

=====================================
instance_function function annotation
=====================================

.. das:module:: instance_function

The INSTANCE_FUNCTION module provides the ``[instance_function]`` annotation
for creating bound method-like functions. It captures the ``self`` reference
at call time, enabling object-oriented dispatch patterns in daslang.

All functions and symbols are in "instance_function" module, use require to get access to it.

.. code-block:: das

    require daslib/instance_function



++++++++++++++++++++
Function annotations
++++++++++++++++++++

.. _handle-instance_function-instance_function:

.. das:attribute:: instance_function

[instance_function(generic_name,type1=type1r,type2=type2r,...)] macro creates instance of the generic function with a particular set of types.
In the followin example body of the function inst will be replaced with body of the function print_zero with type int::

    def print_zero ( a : auto(TT) )
        print("{[[TT]]}\n")
    [export, instance_function(print_zero,TT="int")]
    def inst {}