@haxall/haxall
    Preparing search index...

    Class Func

    Func models an executable function. Functions are typed by a formal parameter list and return value (or Void if no return). Functions are typically defined as method slots on a type, but may also be defined via closures.

    An immutable function is one proven to be thread safe:

    • Method functions are always immutable - see sys::Method.func
    • Closures which only capture final, const variables are always immutable; toImmutable always returns this
    • Closures which capture non-final or non-const variables are always mutable; toImmutable always throws NotImmutableErr
    • Closures which capture non-final variables which aren't known to be immutable until runtime (such as Obj or List) will return false for isImmutable, but will provide a toImmutable method which attempts to bind to the current variables by calling toImmutable on each one
    • Functions created by Func.bind are immutable if the original function is immutable and every bound argument is immutable

    The definition of a final variable is a variable which is never reassigned after it is initialized. Any variable which is reassigned is considered a non-final variable.

    See docLang::Functions for details.

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    type$: Type

    Methods

    • Return a negative integer, zero, or a positive integer if this object is less than, equal to, or greater than the specified object:

      this < that   =>  <0
      this == that => 0
      this > that => >0

      This method may also be accessed via the < <= <=> >= and > shortcut operators. If not overridden the default implementation compares the toStr representations. Also see docLang.

      Examples:

      3.compare(8)  =>  -1
      8.compare(3) => 1
      8.compare(8) => 0
      3 <=> 8 => -1 // shortcut for 3.compare(8)

      Parameters

      Returns number

    • Compare this object to the specified for equality. This method may be accessed via the == and != shortcut operators. If not overridden the default implementation compares for reference equality using the === operator. If this method is overridden, then hash() must also be overridden such that any two objects which return true for equals() must return the same value for hash(). This method must accept null and return false.

      Parameters

      Returns boolean

    • Return a unique hashcode for this object. If a class overrides hash() then it must ensure if equals() returns true for any two objects then they have same hash code.

      Returns number

    • Return if this Obj is immutable and safe to share between threads:

      • an instance of a const class
      • the result of toImmutable on List, Map, or Buf
      • a Func object may or may not be immutable - see sys::Func.
      • other instances are assumed mutable and return false

      Returns boolean

    • Get an immutable representation of this instance or throw NotImmutableErr if this object cannot be represented as an immutable:

      • if type is const, return this
      • if already an immutable List, Map, Buf, or Func return this
      • if a List, then attempt to perform a deep clone by calling toImmutable on all items
      • if a Map, then attempt to perform a deep clone by calling toImmutable on all values (keys are already immutable)
      • some Funcs can be made immutable - see sys::Func
      • if a Buf create immutable copy, see sys::Buf
      • any other object throws NotImmutableErr

      Returns Readonly<this>

    • Return a string representation of this object.

      Returns string

    • Trap a dynamic call for handling. Dynamic calls are invoked with the -> shortcut operator:

      a->x        a.trap("x", null)
      a->x() a.trap("x", null)
      a->x = b a.trap("x", [b])
      a->x(b) a.trap("x", [b])
      a->x(b, c) a.trap("x", [b, c])

      The default implementation provided by Obj attempts to use reflection. If name maps to a method, it is invoked with the specified arguments. If name maps to a field and args.size is zero, get the field. If name maps to a field and args.size is one, set the field and return args[0]. Otherwise throw UnknownSlotErr.

      Parameters

      Returns JsObj

    • Get the Type instance which represents this object's class. Also seeType.of or Pod.of.

      Returns Type

    • This method called whenever an it-block is applied to an object. The default implementation calls the function with this, and then returns this.

      Parameters

      • f: (arg0: this) => void

      Returns this

    • Convenience for params.size

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R

      Returns number

    • Create a new function by binding the specified arguments to this function's parameters. The new function takes the remaining unbound parameters.

      The resulting function is immutable if this function is immutable and all the args are immutable.

      Type Parameters

      • R

      Parameters

      Returns Function

    • Optimized convenience for callList for zero to eight parameters.

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R
      • Optionala: unknown
      • Optionalb: unknown
      • Optionalc: unknown
      • Optionald: unknown
      • Optionale: unknown
      • Optionalf: unknown
      • Optionalg: unknown
      • Optionalh: unknown

      Returns R

    • Dynamically invoke this function with the specified arguments and return the result. If the function has Void return type, then null is returned. The argument list must match the number and type of required parameters. If this function represents an instance method (not static and not a constructor) then the first argument must be the target object. If the function supports default parameters, omit arguments to use the defaults. It is permissible to pass more arguments then the number of method parameters - the additional arguments are ignored. If no arguments are required, you may pass null for args.

      Type Parameters

      • R

      Parameters

      Returns R

    • Convenience for dynamically invoking an instance method with specified target and arguments. If this method maps to an instance method, then it is semantically equivalent to callList([target, args[0], args[1] ...]). Throw UnsupportedErr if called on a function which is not an instance method.

      Type Parameters

      • R

      Parameters

      Returns R

    • Write x.toStr to standard output followed by newline. If x is null then print "null". If no argument is provided then print an empty line.

      Parameters

      Returns void

    • Return the associated method if this function implements a method slot. Otherwise return null.

      Examples:

      Int#plus.func.method  =>  sys::Int.plus
      

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R

      Returns Method

    • Get the formal parameters of the function.

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R

      Returns List<Param>

    • Type returned by the function or sys::Void if no return value.

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R

      Returns Type

    • Return a new function which wraps this function but with a different reflective type signature. No verification is done that this function actually conforms to the new signature. This method implicitly calls Type.toNonNullable on t. Throw ArgErr if t isn't a parameterized function type.

      Examples:

      f := |a,b->Obj| { "$a, $b" }
      g := f.retype(|Int,Int->Str|#)
      f.type => |Obj?,Obj?->Obj|
      g.type => |Int,Int->Str|

      Type Parameters

      • R

      Parameters

      • self: (...args: any[]) => R
      • t: Type

      Returns Function