Navigation

  • index
  • next |
  • previous |
  • FriCAS »
  • FriCAS API »
  • Domains »
  • FileName

FileNameΒΆ

fname.spad line 53 [edit on github]

This domain provides an interface to names in the file system.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: % -> String

from FileNameCategory

coerce: String -> %

from FileNameCategory

directory: % -> String

from FileNameCategory

exists?: % -> Boolean

from FileNameCategory

extension: % -> String

from FileNameCategory

filename: (String, String, String) -> %

from FileNameCategory

latex: % -> String

from SetCategory

name: % -> String

from FileNameCategory

new: (String, String, String) -> %

from FileNameCategory

readable?: % -> Boolean

from FileNameCategory

writable?: % -> Boolean

from FileNameCategory

BasicType

CoercibleTo OutputForm

FileNameCategory

SetCategory

Table of Contents

  • FriCAS API
  • Features
  • Download
  • Help
  • Examples
  • Development
  • Citation
  • History

Quick search

Navigation

  • index
  • next |
  • previous |
  • FriCAS »
  • FriCAS API »
  • Domains »
  • FileName
© Copyright 2007-2024, FriCAS Team.