fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
base
•
unit
•
type.lteq
»
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
│
├─
atomic_mutate
│
├─
blocking_mutate
│
├─
blocking_mutate_using_clock
│
│
└─
timeout
(1 arg)
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
scheduling_policy
│
│
├─
sched_fifo
│
│
├─
sched_other
│
│
├─
sched_rr
│
│
└─
val
│
├─
Sending_Channel
│
├─
sync
│
│
├─
condition
│
│
└─
mutex
│
├─
task_pool
│
├─
Thread
│
├─
thread_pool
│
├─
Threads
│
└─
Unbuffered_Channel
├─
Cons
├─
cons
(2 args)
├─
container
│
├─
abstract_array
│
├─
Binary_Heap_Queue
│
├─
Buffer
│
├─
Doubly_Linked_List
│
├─
Dynamic_Array
│
├─
expanding
│
├─
expanding_array
│
├─
Finger_Tree
│
├─
Fixed_Capacity_Array
│
├─
hash_map
│
├─
Linked_List
│
├─
LRU_Cache
│
├─
Map
│
├─
Mutable_Array2
│
├─
Mutable_Array3
│
├─
Mutable_Hash_Map
│
├─
Mutable_Linked_List
│
├─
Mutable_Map
│
├─
Mutable_Priority_Queue
│
├─
mutable_tree_map
│
├─
ordered_map
│
│
└─
entry
(1 arg)
│
├─
Persistent_Map
│
├─
ps_map
│
├─
ps_set
│
├─
Ring_Buffer
(1 arg)
│
├─
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
├─
effect
├─
effect_types
├─
effect_wormhole
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
├─
html
│
└─
percent
├─
envir
│
├─
Args
│
└─
Vars
├─
equal
├─
error
(2 args)
├─
Exit
├─
f32
(1 arg)
├─
f64
(1 arg)
├─
false_
├─
ffi
├─
float
├─
flow
│
├─
defer
│
├─
exception
(1 arg)
│
├─
fallible
(1 arg)
│
├─
short_circuit
(1 arg)
│
└─
try
(1 arg)
├─
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)
├─
greater
├─
Handle2_Id
├─
handle_id
│
└─
put
(1 arg)
├─
handles
├─
handles2
├─
i128
(2 args)
├─
i16
(1 arg)
├─
i32
(1 arg)
├─
i64
(1 arg)
├─
i8
(1 arg)
├─
Ignored_Failure
├─
int
├─
integer
├─
internationalization
│
├─
american
│
├─
german
│
├─
ISO
│
├─
japanese
│
├─
korean
│
└─
Provide
├─
interval
(3 args)
├─
io
│
├─
Buffer_Size
│
├─
buffered
│
│
├─
Reader
│
│
├─
write_result
│
│
└─
Writer
│
├─
dir
│
│
├─
entry
│
│
├─
Make
│
│
├─
no_more_entries
│
│
├─
open
│
│
└─
Read
│
├─
end_of_file
│
├─
Err
│
├─
file
│
│
├─
Delete
│
│
├─
file_mutate
│
│
├─
L_Stat
│
│
├─
mapped_buffer
│
│
├─
meta_data
(10 args)
│
│
├─
mode
│
│
│
├─
append
│
│
│
├─
read
│
│
│
├─
val
│
│
│
└─
write
│
│
├─
Move
│
│
├─
open
│
│
├─
Seek
│
│
└─
Stat
│
├─
Out
│
├─
path
│
├─
print_effect
│
└─
stdin
│
└─
reader
├─
Java_Ref
├─
Lazy
├─
less
├─
linear_effect
├─
list
├─
local_effect
├─
memoize
│
└─
memoized
├─
memoized_constant_effect
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
array3
│
├─
mutable_element
│
└─
var
(1 arg)
├─
native_access
├─
Native_Ref
├─
net
│
├─
connection
│
├─
connections
│
├─
endpoint
│
├─
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
│
├─
Hostname
│
├─
pipe
│
├─
platform
│
├─
posix
│
├─
process
│
├─
Process
│
├─
signal
│
├─
signals
│
│
├─
abort
│
│
├─
alarm
│
│
├─
arithmetic_error
│
│
├─
broken_pipe
│
│
├─
hangup
│
│
├─
illegal_instruction
│
│
├─
interrupt
│
│
├─
invalid_memory_reference
│
│
├─
kill
│
│
├─
quit
│
│
├─
terminate
│
│
└─
trap
│
└─
windows
├─
outcome
├─
panic
(2 args)
├─
posix
│
├─
clock_monotonic
│
├─
clock_realtime
│
├─
clockid
│
└─
clockid_t
├─
property
│
├─
countable
│
├─
equatable
│
├─
hashable
│
├─
interval
│
├─
orderable
│
├─
partially_orderable
│
└─
reverse_order
(1 arg)
├─
quantor
├─
racy_mutate
├─
Random
├─
realtime
│
├─
Scheduler
│
└─
task
(3 args)
├─
Sequence
├─
state
(3 args)
├─
String
│
├─
cut_result
│
└─
infix *
(1 arg)
├─
switch
├─
thread_local_effect
├─
time
│
├─
calendar_duration
│
├─
Clock
│
├─
date_time
(7 args)
│
├─
duration
│
├─
frequency
(2 args)
│
├─
histogram
(5 args)
│
├─
histogram_mutate
│
├─
instant
│
├─
Monotonic
│
├─
Nano
│
├─
now
(1 arg)
│
├─
period
│
├─
posix_clock
│
├─
time_unit
(5 args)
│
├─
units
│
│
├─
day
│
│
├─
hour
│
│
├─
milli_second
│
│
├─
minute
│
│
├─
month
│
│
├─
nano_second
│
│
├─
second
│
│
├─
val
│
│
└─
year
│
└─
Wallclock
├─
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)
├─
uid
(1 arg)
├─
uint
├─
Unary
├─
Unique_Id
├─
unit
├─
units
│
├─
byte_iec
│
├─
byte_si
│
└─
data_size
(1 arg)
├─
Values_Of_Open_Type
└─
void
lteq
unit
.
type
.
lteq
type
.lteq
(a
unit
, b
unit
)
=>
bool
[Redefinition of
property.partially_orderable.type.lteq
]
¶
[src]
The total order for `unit` is trivial since there is only one value. `lteq` always
returns `true`
redefines:
property.partially_orderable.type.lteq
0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)
last changed: 2026-09-23
returns `true`