fuzion-lang.dev — The Fuzion Language Portal

JavaScript seems to be disabled. Functionality is limited.

Fuzion • Library Modules • as_4tuple

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

universe (module base)
- ├─abort (1 arg)
- ├─Any
- ├─array
- ├─array2
- ├─array3
- ├─auto_unwrap
- ├─Binary
- ├─bitset
- ├─bool
- ├─choice
  - │└─#Open_Types1627
- ├─codepoint (1 arg)
- ├─composition
- ├─concur
  - │├─atomic
  - │├─Channel
  - │├─Future
  - │├─Receiving_Channel
  - │├─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
  - │├─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
  - │├─percent
  - │└─unicode
- ├─envir
  - │├─args (1 arg)
  - │├─vars (1 arg)
  - │└─Vars_Handler
- ├─equal
- ├─error (1 arg)
- ├─exception (1 arg)
- ├─exit
- ├─Exit_Handler
- ├─f32 (1 arg)
- ├─f64 (1 arg)
- ├─false_
- ├─ffi
- ├─float
- ├─Function
  - │└─#Open_Types30
- ├─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)
    - ││└─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
  - │├─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
- ├─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)
  - │├─#Open_Types4678
  - │└─values.#
- ├─Type
- ├─Typed_Function
  - │└─#Open_Types1044
- ├─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
- ├─Values_Of_Open_Type
- └─void

as_4tuple

Sequence.as_4tuple

=>

tuple T T T T ¶

convert a Sequence's head into a 4-tuple.

ex.

Code input

[1,2,3,4,5].as_4tuple  produces (1,2,3,4)
[1,2,3,4].as_4tuple    produces (1,2,3,4)
[1,2,3].as_4tuple      breaks the pre condition
[1,2].as_4tuple        breaks the pre condition
[1].as_4tuple          breaks the pre condition
[].as_4tuple           breaks the pre condition

What are effects?

0.095dev (GIT hash 5a97c5766ea04e5412cbfaed4c53658737cd2e4b)