fuzion-lang.dev — The Fuzion Language Portal

JavaScript seems to be disabled. Functionality is limited.

Fuzion • API-Documentation • stat

☰

universe Constructors
- |―Any
- |―Cons
- |―cons (2 args)
- |―Function
- |―Lazy
- |―Monoid
- |―Sequence
- |―String Constructors
  - | |―infix * (1 arg)
- |―Types
- |―Unary
- |―abort (1 arg)
- |―auto_unwrap
- |―character_encodings Constructors
  - | |―ascii
  - | |―unicode
- |―codepoint (1 arg)
- |―composition
- |―concur Constructors
  - | |―thread (1 arg) Types
    - | | |―spawned
  - | |―atomic (1 arg)
  |―concur Types
  - | |―Thread_Handler
- |―container Constructors
  - | |―Linked_List
  - | |―Map
  - | |―Mutable_Array
  - | |―Mutable_Map
  - | |―Set
  - | |―Stack
  - | |―stack
  - | |―float_sequence (1 arg)
  - | |―hash_map (2 args)
  - | |―numeric_sequence (1 arg)
  - | |―ordered_map (2 args) Constructors
    - | | |―entry (1 arg)
  - | |―searchable_sequence (1 arg)
  - | |―sorted_array (2 args)
  |―container Types
  - | |―Buffer
  - | |―Mutable_Linked_List
  - | |―mutable_tree_map
  - | |―ps_map
  - | |―ps_set
- |―effect_mode Constructors
  - | |―new
  - | |―default
  - | |―plain
  - | |―repl
  - | |―inst (1 arg)
  |―effect_mode Types
  - | |―val
- |―code_effect
- |―simple_effect
- |―envir Constructors
  - | |―args (1 arg)
  - | |―vars (1 arg)
  |―envir Types
  - | |―Vars_Handler
- |―error (1 arg)
- |―Exit_Handler
- |―f128 (1 arg)
- |―f16 (1 arg)
- |―f32 (1 arg)
- |―f64 (1 arg)
- |―float
- |―fuzion Constructors
  - | |―java Constructors
    - | | |―Java_Object (1 arg)
    - | | |―Array (1 arg)
    - | | |―Java_String (1 arg)
- |―i128 (2 args)
- |―i16 (1 arg)
- |―i32 (1 arg)
- |―i64 (1 arg)
- |―i8 (1 arg)
- |―interval (3 args)
- |―has_interval
- |―io Constructors
  - | |―err (1 arg)
  - | |―out (1 arg)
  - | |―Read_Provider
  - | |―buffered Constructors
    - | | |―reader (3 args) Constructors
      - | | | |―discard (1 arg)
      - | | | |―discard_all
  - | |―dir Constructors
    - | | |―read (1 arg)
    | |―dir Types
    - | | |―open
    - | | |―open_unique_type
    - | | |―Read_Handler
  - | |―file Constructors
    - | | |―write (1 arg)
    - | | |―read (1 arg)
    - | | |―mode Constructors
      - | | | |―write
      - | | | |―read
      - | | | |―append
      | | |―mode Types
      - | | | |―val
    - | | |―delete (2 args)
    - | | |―move (1 arg)
    - | | |―seek (1 arg)
    - | | |―Seek_Handler
    - | | |―stat (1 arg)
    | |―file Types
    - | | |―open Types
      - | | | |―mapped_buffer
    - | | |―open_unique_type
    - | | |―Read_Handler
    - | | |―meta_data
    - | | |―Delete_Handler
    - | | |―Move_Handler
    - | | |―Stat_Handler
    - | | |―Write_Handler
  - | |―print_effect (1 arg)
  - | |―Print_Handler
  |―io Types
  - | |―end_of_file
- |―monad
- |―mutate Constructors
  - | |―new (1 arg)
  |―mutate Types
  - | |―array
  - | |―mutable_element Constructors
    - | | |―close
- |―net Constructors
  - | |―family Constructors
    - | | |―ipv4
    - | | |―ipv6
    | |―family Types
    - | | |―val
  - | |―socket_type Constructors
    - | | |―stream
    - | | |―datagram
  - | |―protocol Constructors
    - | | |―tcp
    - | | |―udp
    | |―protocol Types
    - | | |―val
  |―net Types
  - | |―channel Constructors
    - | | |―close
  - | |―server Constructors
    - | | |―close
    - | | |―accept_in_thread (1 arg)
- |―nil
- |―num Constructors
  - | |―complex (2 args)
  - | |―fraction (2 args)
  - | |―matrix (1 arg)
  - | |―minus
  - | |―plus
  - | |―ryū Constructors
    - | | |―rounding_mode (2 args)
  |―num Types
  - | |―sign
  - | |―wrap_around
- |―oneway_monad (1 arg)
- |―panic (2 args)
- |―Panic_Handler
- |―process Constructors
  - | |―env_vars (1 arg)
  |―process Types
  - | |―Process
- |―property Constructors
  - | |―equatable
  - | |―hashable
  - | |―orderable
  - | |―partially_orderable
- |―quantor
- |―random (2 args)
- |―state (3 args)
- |―time Constructors
  - | |―date_time (6 args)
  - | |―durations
  - | |―units
  - | |―nano (1 arg)
  - | |―now (1 arg)
  |―time Types
  - | |―duration
  - | |―Nano_Time_Handler
- |―transducer (1 arg)
- |―try
- |―tuple (1 arg)
- |―u128 (2 args)
- |―u16 (1 arg)
- |―u32 (1 arg)
- |―u64 (1 arg)
- |―u8 (1 arg)
- |―unique_id (1 arg)
- |―Unique_Id_Handler
- |―unit
- |―terminal Constructors
  - | |―raw
- |―lock_free Constructors
  - | |―stack
  |―lock_free Types
  - | |―map
universe Types
- |―Const_String
- |―Type
- |―array
- |―array2
- |―array3
- |―bitset
- |―bool
- |―FALSE
- |―TRUE
- |―choice
- |―effect
- |―exit
- |―handles
- |―handle0 Constructors
  - | |―put (1 arg)
- |―handles2
- |―handle2_0 Constructors
  - | |―put (1 arg)
- |―int
- |―integer
- |―list
- |―num_option
- |―numeric
- |―option
- |―outcome
- |―Random_Handler
- |―uint
- |―void

stat

io.file.stat

§stat
=>
io.this.file.this.stat
:
Any
[src]

short-hand for accessing the stat effect in current environment