Packages

erlex

0.2.6
0.2.9 0.2.8 0.2.7 0.2.7-handoff 0.2.6 0.2.5 0.2.4 0.2.3 0.2.2 0.2.1 0.2.0 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Convert Erlang style structs and error messages to equivalent Elixir.

HexDocs

Current section

Files

Jump to
Readme
18 Versions
0 Dependencies
2 Dependants
Files
Activity
erlex src parser.yrl
Raw

src/parser.yrl 

Nonterminals



assignment

atom

binary binary_items binary_part

byte

byte_list byte_items

contract

document

function

integer

list

map map_items map_entry

pattern

pipe_list

range

rest

tuple

type

value_items

values value.



Terminals



atom_part atom_full

int

'(' ')'

'[' ']'

'_'

'\''

','

'#' '{' '}'

':=' '=>'

'fun(' '->'

'|'

'..'

'::'

':'

'...'

'<' '>'

'*'

'when'

'='.



Rootsymbol document.



document -> values : '$1'.



values -> value : ['$1'].

values -> value values : ['$1'] ++ '$2'.



value -> '\'' value '\'' : '$2'.

value -> assignment : '$1'.

value -> atom : {atom, '$1'}.

value -> binary : '$1'.

value -> byte_list : '$1'.

value -> contract : '$1'.

value -> function : '$1'.

value -> integer : '$1'.

value -> list : '$1'.

value -> map : '$1'.

value -> pattern : '$1'.

value -> pipe_list : '$1'.

value -> range : '$1'.

value -> rest : '$1'.

value -> tuple : '$1'.

value -> type : '$1'.



binary -> '<' '<' '>' '>' : {binary, []}.

binary -> '<' '<' binary_items '>' '>' : {binary, '$3'}.

binary -> '<' '<' value_items '>' '>' : {binary, '$3'}.



pattern -> '<' value_items '>' : {pattern, '$2'}.



tuple -> '{' '}' : {tuple, []}.

tuple -> '{' value_items '}' : {tuple, '$2'}.



byte_list -> '#' '{' '}' '#' : {byte_list, []}.

byte_list -> '#' '{' byte_items '}' '#' : {byte_list, '$3'}.



list -> '(' ')' : {list, paren, []}.

list -> '(' value_items ')' : {list, paren, '$2'}.

list -> '[' ']' : {list, square, []}.

list -> '[' value_items ']' : {list, square, '$2'}.



map -> '#' '{' '}' : {map, []}.

map -> '#' '{' map_items '}' : {map, '$3'}.



map_entry -> value ':=' value : {map_entry, '$1', '$3'}.

map_entry -> value '=>' value : {map_entry, '$1', '$3'}.



function -> 'fun(' ')' : {any_function}.

function -> 'fun(' '...' ')' : {inner_any_function}.

function -> 'fun(' contract ')' : {function, '$2'}.



binary_part -> '_' ':' value : {binary_part, {any}, '$3'}.

binary_part -> '_' ':' '_' '*' value : {binary_part, {any}, {any}, {size, '$5'}}.



assignment -> value '=' value : {assignment, '$1', '$3'}.



byte -> '#' '<' int '>' '(' int ',' int ',' atom ',' '[' atom ',' atom ']' ')' : unwrap('$3').



contract -> list '->' value when value_items : {contract, {args, '$1'}, {return, '$3'}, {whens, '$5'}}.

contract -> list '->' value : {contract, {args, '$1'}, {return, '$3'}}.

contract -> function '->' value : {contract, {args, '$1'}, {return, '$3'}}.



integer -> int : {int, unwrap('$1')}.



pipe_list -> value '|' value : {pipe_list, '$1', '$3'}.



range -> integer '..' integer : {range, '$1', '$3'}.



rest -> '...' : {rest}.



atom -> atom_full : unwrap('$1').

atom -> atom_part : [unwrap('$1')].

atom -> '_' : ['_'].

atom -> atom integer : '$1' ++ ['$2'].

atom -> atom atom : '$1' ++ '$2'.



type -> atom ':' type : {type, {atom, '$1'}, '$3'}.

type -> atom '::' value : {named_type, {atom, '$1'}, '$3'}.

type -> atom list : {type_list, '$1', '$2'}.



binary_items -> binary_part : ['$1'].

binary_items -> binary_part  ',' binary_items : ['$1'] ++ '$3'.



byte_items -> byte : ['$1'].

byte_items -> byte ',' byte_items : ['$1'] ++ '$3'.



map_items -> map_entry : ['$1'].

map_items -> map_entry ',' map_items : ['$1'] ++ '$3'.



value_items -> value : ['$1'].

value_items -> value ',' value_items : ['$1'] ++ '$3'.



Erlang code.



unwrap({_,_,V}) -> V.