Większość funkcji ma nazwę postaci 'orzeczenie_dopełnienie', gdzie orzeczenie ('is', 'assert_is', 'has', itp.) wskazuje, jakiego rodzaju operacja ma być wykonana, a dopełnienie wskazuje, na to, co jest poszukiwane, lub do czego przyrównywane (podmiot stanowią argumenty).

Funkcje pakietu assertive można podzielić na kilka szerokich grup według dwóch różnych specyfikacji. Pierwszy podział (sposób działania) odnosi się do rodzaju orzeczenia, a drugi (dziedzinowy) odnosi się do rodzaju dopełnienia.

• Funkcje is_[…] i are_[…]:
  • Zwracają wartość logiczną weryfikacji, czy argument (lub argumenty) są typu (w bardzo szerokim rozumieniu tego słowa) wyznaczanym przez dopełnienie […].
• Funkcje has_[…]:
  • Zwracają wartość logiczną weryfikacji, czy argument posiada własności wyznaczane przez dopełnienie […].
• Funkcje assert_is_[…] i assert_are_[…]:
  • Stanowią nadbudowę na odpowiednimi funkcjami is_[…] i are_[…], polegającą na tym, że gdy weryfikacja warunku zwraca wartość FALSE, zwrócony zostaje błąd (w formie przyjaznej użytkownikowi).
  • Odnoszą się do weryfikacji dotyczących obiektu jako całości, a nie cech poszczególnych jego elementów.
• Funkcje assert_has_[…]:
  • Stanowią nadbudowę na odpowiednimi funkcjami has_[…], polegającą na tym, że gdy weryfikacja warunku zwraca wartość FALSE, zwrócony zostaje błąd (w formie przyjaznej użytkownikowi).
• Funkcje assert_all_are_[…]:
  • Stanowią nadbudowę na odpowiednimi funkcjami is_[…] i are_[…], polegającą na tym, że gdy weryfikacja warunku zwraca wartość FALSE dla chociaż jednego elementu wektora (będącego podmiotem), zwrócony zostaje błąd (w formie przyjaznej użytkownikowi).
  • Odnoszą się do weryfikacji dotyczących cech poszczególnych elementów obiektu (będącego podmiotem).
• Funkcje assert_any_are_[…]:
  • Stanowią nadbudowę na odpowiednimi funkcjami is_[…] i are_[…], polegającą na tym, że jeśli weryfikacja warunku nie zwraca wartość TRUE dla chociaż jednego elementu wektora (będącego podmiotem), zwrócony zostaje błąd (w formie przyjaznej użytkownikowi).
  • Odnoszą się do weryfikacji dotyczących cech poszczególnych elementów obiektu (będącego podmiotem).

• Funkcje weryfikujące typy obiektów:
  • typy atomowe,
  • typy złożone, ale podstawowe, szeroko używane,
    • funkcje weryfikujące typ i jednooelementowość,
  • typy specjalistyczne i specyficzne podtypy.
• Funkcje weryfikujące własności obiektów.
• Funkcje weryfikujące wartości obiektów:
  • wartości logiczne i braki danych,
  • wartości liczbowe, daty i zbiory,
  • ciągi znaków (w tym specyficzne).
• Funkcje weryfikujące związane z systemem plików.
• Funkcje weryfikujące związane z połączeniami ('connections').
• Funkcje weryfikujące związane ze środowiskiem ('enviroment').
• Funkcje weryfikujące związane z typem i możliwościami systemu.
• Inne funkcje.

Jeśli to czytasz, zapoznaj się z funkcją is_if_conditon()!

Uwaga: Wszystkim opisanym poniżej funkcjom nie przeszkadza, jeśli obiekty zawierają pojedynczy brak danych (NA, lub wartości o podobnym znaczeniu: NaN, Inf, -Inf). Jeśli takiego przypadku nie dopuszczamy, należy go oddzielnie obsłużyć.

• use_first():
  • Funkcja zwraca pierwszy element obiektu, a jeśli miał ich więcej, dodatkowo pluje ostrzeżeniem.
  • Uwagi:
    • Jeśli przekazywany obiekt jest listą, to zostanie zwrócony jej pierwszy element, czym by nie był. Także o wyświetleniu lub nie ostrzeżenia decyduje długość samej listy (a nie struktura jej elementów).
• is_scalar():
  • Sprawdza, czy obiekt jest skalarem (tj. długości jeden).
• Funkcje [assert_]is_a[n]_[…]:
  • Funkcje testują, czy obiekt jest danego typu i jednocześnie jest skalarem (tj. długości jeden).
  • Funkcje 'is_a_[…]' zwracają, czy warunki są spełnione.
  • Funkcje 'assert_is_a_[…]' zwracają błędy, jeśli warunki nie są spełnione.
  • Typy, które można testować obejmują:
    • [assert_]is_a_bool - typ logical.
    • [assert_]is_an_empty_string - pusty ciąg znaków ('').
    • [assert_]is_a_complex - typ complex (np. 1i).
    • [assert_]is_an_integer - typ integer.
    • [assert_]is_a_non_empty_string - niepusty ciąg znaków
    • [assert_]is_a_number - typ numeric (integer lub double).
    • [assert_]is_a_raw - typ raw (takie dziwne coś, p. ?raw).
    • [assert_]is_a_string - ciąg znaków.

• Funkcje [assert_]r_has_[…]_capabilities.
• Funkcje [assert_]r_can_[…].
• Funkcje assert_is_r_[…].
• Funkcje [assert_]is_[…]:
  • [assert_]is_64_bit_os();
  • [assert_]is_32_bit();
  • [assert_]is_64_bit();
  • [assert_]is_bsd();
  • [assert_]is_linux();
  • [assert_]is_mac();
  • [assert_]is_solaris();
  • [assert_]is_unix();
  • [assert_]is_windows();