Was bedeutet Eigenschaft .t auf Elixier?

Question

Zum Beispiel in diesem typespec für Modul-String:

@spec validate(String.t) :: {:atom} 

Was ist das? und wie kann ich es über iex testen?

** (UndefinedFunctionError) function String.t/0 is undefined or private 
    (elixir) String.t() 

aktualisieren

Sieht aus wie einige Leute die Notwendigkeit der Prüfung nicht sehen, die die Art von etwas über iex

Für den Rest von uns, die Elixier lernen wir es tun können, wie dies:

iex(8)> t String 
@type t() :: binary() 
@type codepoint() :: t() 
@type grapheme() :: t() 
@type pattern() :: t() | [t()] | :binary.cp() 
iex(9)> t(String) 
@type t() :: binary() 
@type codepoint() :: t() 
@type grapheme() :: t() 
@type pattern() :: t() | [t()] | :binary.cp() 

auch für die .t

Wenn Sie auf den Typ "string" verweisen möchten (den, der von Funktionen im String-Modul bearbeitet wurde), verwenden Sie stattdessen den String.t/0-Typ.

Quelle https://hexdocs.pm/elixir/typespecs.html#notes

Answer 1

Es ist keine Eigenschaft. Grundsätzlich ist es ein Verweis auf den "String" -Typ, der von Funktionen aus dem Elixir String-Modul verwendet wird. Um es vollständig zu verstehen, lesen Sie bitte mehr here.