tomo-Path.has_extension.3

(39 lines)
   1 '\" t
   2 .\" Copyright (c) 2025 Bruce Hill
   3 .\" All rights reserved.
   4 .\"
   5 .TH Path.has_extension 3 2025-11-29 "Tomo man-pages"
   6 .SH NAME
   7 Path.has_extension \- check if a path has a given extension
   8 .SH LIBRARY
   9 Tomo Standard Library
  10 .SH SYNOPSIS
  11 .nf
  12 .BI Path.has_extension\ :\ func(path:\ Path,\ extension:\ Text\ ->\ Bool)
  13 .fi
  14 .SH DESCRIPTION
  15 Return whether or not a path has a given file extension.
  16 
  17 
  18 .SH ARGUMENTS
  19 
  20 .TS
  21 allbox;
  22 lb lb lbx
  23 l l l.
  24 Name	Type	Description
  25 path	Path	A path. 
  26 extension	Text	A file extension (leading \fB.\fR is optional). If empty, the check will test if the file does not have any file extension. 
  27 .TE
  28 .SH RETURN
  29 Whether or not the path has the given extension.
  30 
  31 .SH EXAMPLES
  32 .EX
  33 assert (/foo.txt).has_extension("txt") == yes
  34 assert (/foo.txt).has_extension(".txt") == yes
  35 assert (/foo.tar.gz).has_extension("gz") == yes
  36 assert (/foo.tar.gz).has_extension("zip") == no
  37 .EE
  38 .SH SEE ALSO
  39 .BR Tomo-Path (3)