Module contract_parser

UBF(b) contract parser.

Parsing a UBF(b) contract is done via a compiler "parse transform"
during the usual compilation of an Erlang source module.

Function Index

builtin_types() -> any()

builtin_types(X1) -> any()

parse_stream(Stream, Lex, Yecc) -> any()

parse_transform(In, Opts) -> any()

parse_transform(In, Opts, File, Imports, ParseFun) -> any()

parse_transform_contract(In, Contract) -> any()

predefined_types() -> any()

predefined_types(X1) -> any()

tags(P1) -> any()

tags(P1, Imports) -> any()