fuzion-lang.dev — The Fuzion Language Portal

JavaScript seems to be disabled. Functionality is limited.

Fuzion • Library Modules • has

Modules
- base
- clang
- sodium
- crypto
- database
- http
- lock_free
- mail
- wolfssl
- nom
- sqlite
- terminal
- tokiwa
- web
- uuid
- webserver

universe (module base)
- ├─abort (1 arg)
- ├─Any
- ├─array
- ├─array2
- ├─array3
- ├─auto_unwrap
- ├─Binary
- ├─bitset
- ├─bool
- ├─choice
- ├─codepoint (1 arg)
- ├─composition
- ├─concur
  - │├─atomic
  - │├─Channel
  - │├─Future
  - │├─Receiving_Channel
  - │├─scheduling_policy
    - ││├─sched_fifo
    - ││├─sched_other
    - ││└─sched_rr
  - │├─Sending_Channel
  - │├─sync
    - ││├─condition
    - ││└─mutex
  - │├─thread
  - │├─Thread_Handler
  - │├─thread_pool
  - │└─threads (2 args)
- ├─Cons
- ├─cons (2 args)
- ├─container
  - │├─abstract_array
  - │├─Buffer
  - │├─Circular_Buffer
  - │├─expanding
  - │├─expanding_array
  - │├─Finger_Tree
  - │├─hash_map (2 args)
  - │├─Linked_List
  - │├─Map
  - │├─Mutable_Array
  - │├─Mutable_Array2
  - │├─Mutable_Hash_Map
  - │├─Mutable_Linked_List
  - │├─Mutable_Map
  - │├─mutable_tree_map
  - │├─ordered_map (2 args)
    - ││└─entry (1 arg)
  - │├─Persistent_Map
  - │├─ps_map
  - │├─ps_set
  - │├─Set
  - │├─sorted_array (2 args)
  - │├─Stack
  - │├─stack
  - │├─type_applicator
  - │├─typed_applicator
  - │├─typed_fold (2 args)
  - │├─Typed_Sequence
  - │├─Typed_Value
  - │├─typed_value (1 arg)
  - │├─typed_zipper
  - │├─Types
  - │└─variadic
- ├─eff
  - │├─fallible (1 arg)
  - │└─try (1 arg)
- ├─effect
- ├─effect_to_be_instated
- ├─encodings
  - │├─ascii
  - │├─base16
  - │├─base32
  - │├─base32hex
  - │├─base64
  - │├─html
  - │└─percent
- ├─envir
  - │├─args (1 arg)
  - │├─vars (1 arg)
  - │└─Vars_Handler
- ├─equal
- ├─error (2 args)
- ├─exception (1 arg)
- ├─exit
- ├─Exit_Handler
- ├─f32 (1 arg)
- ├─f64 (1 arg)
- ├─false_
- ├─ffi
- ├─float
- ├─Function
- ├─Functional
- ├─fuzion
  - │├─java
    - ││├─Array (1 arg)
    - ││├─Java_Object (1 arg)
    - ││└─Java_String (1 arg)
  - │├─jvm
  - │├─lambda_target
  - │├─runtime
    - ││├─check_fault (1 arg)
    - ││├─contract_fault (1 arg)
    - ││├─fault (1 arg)
    - ││├─invariant_fault (1 arg)
    - ││├─post_fault (1 arg)
    - ││├─pre_fault (1 arg)
    - ││├─stackoverflow
    - ││└─variant_fault (1 arg)
  - │└─sys
- ├─greater
- ├─handle2_id
- ├─handle_id
  - │└─put (1 arg)
- ├─handles
- ├─has_interval
- ├─i128 (2 args)
- ├─i16 (1 arg)
- ├─i32 (1 arg)
- ├─i64 (1 arg)
- ├─i8 (1 arg)
- ├─int
- ├─integer
- ├─internationalization
  - │├─american
  - │├─german
  - │├─ISO
  - │├─japanese
  - │├─korean
  - │└─Provide
- ├─interval (3 args)
- ├─io
  - │├─Buffer_Size
  - │├─buffered
    - ││├─reader (1 arg)
    - ││└─writer (1 arg)
      - ││└─write_result
  - │├─dir
    - ││├─Dir_Read_Handler
    - ││├─make (2 args)
    - ││├─Make_Dir_Handler
    - ││├─open
    - ││└─read (1 arg)
  - │├─end_of_file
  - │├─Err
  - │├─file
    - ││├─delete (2 args)
    - ││├─Delete_Handler
    - ││├─file_mutate
    - ││├─mapped_buffer
    - ││├─meta_data
    - ││├─mode
      - │││├─append
      - │││├─read
      - │││├─val
      - │││└─write
    - ││├─move (1 arg)
    - ││├─Move_Handler
    - ││├─open
    - ││├─seek (1 arg)
    - ││├─Seek_Handler
    - ││├─stat (1 arg)
    - ││└─Stat_Handler
  - │├─Out
  - │├─print_effect
  - │├─Read_Handler
  - │├─stdin
  - │└─Write_Handler
- ├─Java_Ref
- ├─Lazy
- ├─less
- ├─linear_effect
- ├─list
- ├─memoize
  - │└─memoized
- ├─monad
- ├─Monoid
- ├─mutate
  - │├─array
  - │├─array2
  - │├─Circular_Buffer
  - │├─mutable_element
  - │└─new (1 arg)
- ├─Native_Ref
- ├─net
  - │├─channel
  - │├─connection
  - │├─connections
  - │├─family
    - ││├─ipv4
    - ││├─ipv6
    - ││└─val
  - │├─ip_address (1 arg)
  - │├─ip_version
  - │├─protocol
    - ││├─tcp
    - ││├─udp
    - ││└─val
  - │├─server
  - │└─socket_type
    - │├─datagram
    - │└─stream
- ├─nil
- ├─Nullary
- ├─num
  - │├─complex (2 args)
  - │├─fraction (2 args)
  - │├─matrix (1 arg)
  - │├─ryū
    - ││└─rounding_mode (2 args)
  - │└─wrap_around
- ├─numeric
  - │└─prefix |
- ├─once (1 arg)
- ├─oneway_monad (1 arg)
- ├─oneway_monad_mode
  - │├─inst
  - │├─plain
  - │├─repl
  - │└─val
- ├─Open_Types
- ├─option
- ├─order
- ├─os
  - │├─platform
  - │├─posix
  - │├─process
  - │├─Process_Handler
  - │├─processes (2 args)
  - │├─signal
  - │├─signals
    - ││├─abort
    - ││├─alarm
    - ││├─arithmetic_error
    - ││├─broken_pipe
    - ││├─hangup
    - ││├─illegal_instruction
    - ││├─interrupt
    - ││├─invalid_memory_reference
    - ││├─kill
    - ││├─quit
    - ││├─terminate
    - ││└─trap
  - │└─windows
- ├─outcome
- ├─panic (2 args)
- ├─path
- ├─property
  - │├─countable
  - │├─equatable
  - │├─hashable
  - │├─orderable
  - │└─partially_orderable
- ├─quantor
- ├─random (1 arg)
- ├─Random_Handler
- ├─realtime
- ├─Sequence
- ├─state (3 args)
- ├─String
  - │├─cut_result
  - │└─infix * (1 arg)
- ├─switch
- ├─time
  - │├─calendar_duration
  - │├─Clock
  - │├─date_time (7 args)
  - │├─duration
  - │├─frequency (2 args)
  - │├─histogram (5 args)
  - │├─instant
  - │├─nano (1 arg)
  - │├─Nano_Time_Handler
  - │├─now (1 arg)
  - │├─pday
  - │├─Period
  - │├─phour
  - │├─pmilli_second
  - │├─pminute
  - │├─pmonth
  - │├─pnano_second
  - │├─precision
  - │├─psecond
  - │├─pyear
  - │└─time_unit (5 args)
- ├─transducer (1 arg)
- ├─trit
- ├─true_
- ├─tuple (1 arg)
  - │└─values._
- ├─Type
- ├─Typed_Function
- ├─u128 (2 args)
- ├─u16 (1 arg)
- ├─u32 (1 arg)
- ├─u64 (1 arg)
- ├─u8 (1 arg)
- ├─uint
- ├─Unary
- ├─unique_id (1 arg)
- ├─Unique_Id_Handler
- ├─unit
- ├─units
  - │├─byte_iec (5 args)
  - │├─byte_si (5 args)
  - │└─data_size (1 arg)
- ├─Values_Of_Open_Type
- └─void

has

container.Mutable_Map.has

(k K)

=>

check if key k exists in this map

0.095dev (GIT hash 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)

last changed: 2026-04-16