Typle (Typle v0.1.0)
View SourceExpression-level type query library for Elixir 1.20+.
Reads inferred type signatures from compiled .beam files and performs
best-effort type inference to answer "what type does the compiler think
this expression has at line N, column C?"
Usage
# Point query
Typle.type_at("lib/my_app/user.ex", 15, 5)
#=> {:ok, %Typle.Type{kind: :binary}}
# Full module map
Typle.types_for(MyApp.User)
#=> {:ok, %{{15, 5} => %Typle.Type{kind: :binary}, ...}}
# Read function signatures from a compiled module
Typle.signatures(Integer)
#=> {:ok, [%{fun: :to_string, arity: 1, clauses: ...}, ...]}For deeper inference using compiler internals (opt-in, unstable),
see Typle.Unstable.
Summary
Functions
Looks up the return type of a function call.
Reads function signatures from a compiled module's .beam file.
Returns the inferred type at the given file position.
Returns all inferred types for a module.
Returns all inferred types for a source file.
Functions
@spec return_type(module(), atom(), non_neg_integer()) :: Typle.Type.t()
Looks up the return type of a function call.
Queries the signature store for module.function/arity and returns
the inferred return type.
@spec signatures(module() | String.t()) :: {:ok, [Typle.Beam.signature()]} | {:error, term()}
Reads function signatures from a compiled module's .beam file.
Returns the decoded type signatures as stored in the ExCk chunk.
@spec type_at(String.t(), non_neg_integer(), non_neg_integer()) :: {:ok, Typle.Type.t()} | {:error, term()}
Returns the inferred type at the given file position.
Uses the stable inference engine (AST walking + signature store).
@spec types_for(module()) :: {:ok, Typle.Inference.type_map()} | {:error, term()}
Returns all inferred types for a module.
Returns a map of {line, col} => Typle.Type.t() for each expression
in the module's source file.
@spec types_for_file(String.t()) :: {:ok, Typle.Inference.type_map()} | {:error, term()}
Returns all inferred types for a source file.