diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-07-10 14:45:07 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-07-10 14:45:07 -0400 |
| commit | 394da24c854fdd2dc08e37090263972b732f5424 (patch) | |
| tree | 5fafbf0b64b0883d176418747b45b7d8316ca6c9 /man/man3/tomo-Path.has_extension.3 | |
| parent | 39501916acc08208360d9f920af425d0e8e230bb (diff) | |
| parent | cd1e9b5fd52dbc993463d58c41895aba9cd78966 (diff) | |
Merge branch 'main' into decimals
Diffstat (limited to 'man/man3/tomo-Path.has_extension.3')
| -rw-r--r-- | man/man3/tomo-Path.has_extension.3 | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/man/man3/tomo-Path.has_extension.3 b/man/man3/tomo-Path.has_extension.3 new file mode 100644 index 00000000..4556c819 --- /dev/null +++ b/man/man3/tomo-Path.has_extension.3 @@ -0,0 +1,41 @@ +'\" t +.\" Copyright (c) 2025 Bruce Hill +.\" All rights reserved. +.\" +.TH Path.has_extension 3 2025-06-24 "Tomo man-pages" +.SH NAME +Path.has_extension \- check if a path has a given extension +.SH LIBRARY +Tomo Standard Library +.SH SYNOPSIS +.nf +.BI Path.has_extension\ :\ func(path:\ Path,\ extension:\ Text\ ->\ Bool) +.fi +.SH DESCRIPTION +Return whether or not a path has a given file extension. + + +.SH ARGUMENTS + +.TS +allbox; +lb lb lbx lb +l l l l. +Name Type Description Default +path Path A path. - +extension Text A file extension (leading `.` is optional). If empty, the check will test if the file does not have any file extension. - +.TE +.SH RETURN +Whether or not the path has the given extension. + +.SH EXAMPLES +.EX +>> (/foo.txt).has_extension("txt") += yes +>> (/foo.txt).has_extension(".txt") += yes +>> (/foo.tar.gz).has_extension("gz") += yes +>> (/foo.tar.gz).has_extension("zip") += no +.EE |