blob: 390015da0c76d710c3215ba18ef71a40537e525d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
'\" t
.\" Copyright (c) 2025 Bruce Hill
.\" All rights reserved.
.\"
.TH Path.has_extension 3 2025-11-29 "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
l l l.
Name Type Description
path Path A path.
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.
.TE
.SH RETURN
Whether or not the path has the given extension.
.SH EXAMPLES
.EX
assert (/foo.txt).has_extension("txt") == yes
assert (/foo.txt).has_extension(".txt") == yes
assert (/foo.tar.gz).has_extension("gz") == yes
assert (/foo.tar.gz).has_extension("zip") == no
.EE
.SH SEE ALSO
.BR Tomo-Path (3)
|
