Public API

isdef(func, ArgType1, ArgType2, ...)::Bool
isdef(f, args...) = isdef(f, typeof.(args)...)

Checks whether the function is defined for the actual types or not. This works in compile time and hence can be used to optimize code.

When called on values, the values will be cast to types via use of typeof for convenience.

Out(func, ArgType1, ArgType2, ...)::ReturnType
Out(func, bytevalue1, ArgType2, ...)::ReturnType

Returns outputtype of function application. Returns IsDef.NotApplicable if compiler notices that no Method can be found.

    ValType(value) -> ValType{typeof(value), value}

Alternative to Base.Val which makes the type of the value accessible for dispatch.

In order to retrieve the value you can simple use Base.get on either the instance or the type.

julia> ValTypeof(1)
ValType{Int, 1}

julia> get(ValTypeof(1))
1

julia> ValTypeof(1) <: ValType{Int}
true

important: the ValType construct DOES NOT construct a value, but a type.

just applies a given function to arguments and keyword arguments

This little helper is crucial if you want to typeinfer when only knowing the function type instead of the function instance.

because revise does not work well for generated functions, dynamo and eval, we provide a manual way to revise the implementation