Packages

gradualizer

0.2.0
0.2.0 0.1.3 0.1.2 0.1.1 0.1.0

A type checker for Erlang

HexDocs

Current section

Files

Jump to
Readme
5 Versions
0 Dependencies
Dependants
Files
Activity
gradualizer priv prelude filename.specs.erl
Raw

priv/prelude/filename.specs.erl 

-module(filename).



-type deep_list() :: lists:deep_list(char() | atom()).



-spec basename(binary()) -> binary();

              (string() | atom() | deep_list()) -> string().



-spec dirname(binary()) -> binary();

             (string() | atom() | deep_list()) -> string().



-spec rootname(binary()) -> binary();

              (string() | atom() | deep_list()) -> string().



-type name() :: string() | atom() | deep_list().

-type bname() :: string() | atom() | deep_list() | binary().



-spec join([name()]) -> string();

          ([bname()]) -> binary().



-spec join(name(),  name())  -> string();

          (bname(), name())  -> binary();

          (name(),  bname()) -> binary();

          (bname(), bname()) -> binary().