- Core
- Matcha
- Matcha.Pattern
- Matcha.Spec
- Tables
- Matcha.Table
- Matcha.Table.ETS
- Matcha.Table.ETS.Match
- Matcha.Table.ETS.Select
- Matcha.Table.Mnesia
- Matcha.Table.Mnesia.Match
- Matcha.Table.Mnesia.Select
- Tracing
- Matcha.Trace
- Exceptions
- Matcha.Error
- Matcha.Pattern.Error
- Matcha.Rewrite.Error
- Matcha.Spec.Error
- Matcha.Trace.Error
- Internals
- Matcha.Context
-
Matcha.Context.Erlang
- Summary
-
Functions
- */2
- +/1
- +/2
- -/1
- -/2
- //2
- /=/2
- </2
- =/=/2
- =:=/2
- =</2
- ==/2
- >/2
- >=/2
- abs/1
- and/2
- andalso/2
- band/2
- binary_part/2
- binary_part/3
- bit_size/1
- bnot/1
- bor/2
- bsl/2
- bsr/2
- bxor/2
- byte_size/1
- ceil/1
- div/2
- element/2
- floor/1
- hd/1
- is_atom/1
- is_binary/1
- is_float/1
- is_function/1
- is_function/2
- is_integer/1
- is_list/1
- is_map/1
- is_map_key/2
- is_number/1
- is_pid/1
- is_port/1
- is_record/3
- is_reference/1
- is_tuple/1
- length/1
- map_get/2
- map_size/1
- node/0
- node/1
- not/1
- or/2
- orelse/2
- rem/2
- round/1
- self/0
- size/1
- tl/1
- trunc/1
- tuple_size/1
- xor/2
-
Matcha.Context.FilterMap
-
Matcha.Context.Match
-
Matcha.Context.Table
- Matcha.Context.Trace
-
Matcha.Rewrite
- Summary
- Types
-
Functions
- ast_to_pattern_source/2
- ast_to_spec_source/2
- binding/2
- bound?/2
- is_call/1
- is_invocation/1
- is_literal/1
- is_named_var/1
- is_non_literal/1
- is_remote_call/1
- is_var/1
- outer_var?/2
- pattern_to_spec/2
- perform_expansion/2
- problem/1
- problems/1
- rewrite_bindings/2
- rewrite_body/2
- rewrite_calls/2
- rewrite_conditions/2
- rewrite_match/2
- source/1
- spec_to_pattern/1
- spec_to_pattern!/1
- Matcha.Rewrite.Kernel
- Matcha.Source