API reference
Exact public contracts, parameters, exceptions, ownership rules, and lane-specific behavior generated by GNATdoc from the Flyology source.
Compilation units
- Flyology
- Flyology.Bounded_Channels
- Flyology.Buffers
- Flyology.Buffers.Channels
- Flyology.Buffers.Domains
- Flyology.Buffers.Drivers
- Flyology.Bytes
- Flyology.Cancellation
- Flyology.Capacity
- Flyology.Channels
- Flyology.Channels.Bounded
- Flyology.Data_Structures
- Flyology.Data_Structures.Allocation_Algorithms
- Flyology.Data_Structures.Allocation_Algorithms.Best_Fit_Kernel
- Flyology.Data_Structures.Allocation_Algorithms.Buddy_Kernel
- Flyology.Data_Structures.Allocation_Algorithms.Contract
- Flyology.Data_Structures.Allocation_Algorithms.TLSF_Kernel
- Flyology.Data_Structures.Allocation_Pools
- Flyology.Data_Structures.Allocation_Pools.Adaptive
- Flyology.Data_Structures.Arenas
- Flyology.Data_Structures.Byte_Strings
- Flyology.Data_Structures.Dynamic
- Flyology.Data_Structures.Dynamic.Byte_Strings
- Flyology.Data_Structures.Dynamic.Hash_Maps
- Flyology.Data_Structures.Dynamic.Vectors
- Flyology.Data_Structures.Envelopes
- Flyology.Data_Structures.Handles
- Flyology.Data_Structures.Hash_Maps
- Flyology.Data_Structures.Regions
- Flyology.Data_Structures.Rings
- Flyology.Data_Structures.Rings.MPMC
- Flyology.Data_Structures.Rings.SPSC
- Flyology.Data_Structures.Slab_Pools
- Flyology.Data_Structures.Storage_Types
- Flyology.Data_Structures.Storage_Types.Elements
- Flyology.Data_Structures.Storage_Types.Immutable
- Flyology.Data_Structures.Storage_Types.Unsigned_64s
- Flyology.Data_Structures.Vectors
- Flyology.Debug_Producer_Selection
- Flyology.Dormancy
- Flyology.Execution_Groups
- Flyology.Execution_Groups.Topology
- Flyology.Fairness
- Flyology.IO
- Flyology.IO.Connections
- Flyology.IO.Connections.Drivers
- Flyology.IO.Connections.TLS
- Flyology.IO.DNS
- Flyology.IO.DNS.Testing
- Flyology.IO.File_Watches
- Flyology.IO.File_Watches.Recursive
- Flyology.IO.Files
- Flyology.IO.Files.Transfers
- Flyology.IO.Socket_Handoffs
- Flyology.IO.Sockets
- Flyology.IO.Structured_Servers
- Flyology.IO.Timers
- Flyology.IO.TLS
- Flyology.IO.TLS.ALPN
- Flyology.IO.TLS.Drivers
- Flyology.IO.TLS.OpenSSL
- Flyology.Memory_Regions
- Flyology.Native_Executors
- Flyology.Observability
- Flyology.Observability.Stall_Watchdogs
- Flyology.Operations
- Flyology.Operations.Drivers
- Flyology.Process_Generations
- Flyology.Process_Generations.Agents
- Flyology.Process_Generations.Command_Lines
- Flyology.Process_Generations.Coordinators
- Flyology.Process_Generations.Messages
- Flyology.Process_Generations.Protocol
- Flyology.Process_Generations.Transport
- Flyology.Process_Lifecycle
- Flyology.Shared_Memory
- Flyology.Shared_Memory.Segments
- Flyology.Shared_Memory.Unix_Sockets
- Flyology.Subprocesses
- Flyology.Subprocesses.Bootstrap
- Flyology.Subprocesses.Capture
- Flyology.Supervision
- Flyology.Supervision.Adapters
- Flyology.Supervision.Children
- Flyology.Supervision.Families
- Flyology.Supervision.Input_Children
- Flyology.Supervision.Input_Task_Generations
- Flyology.Supervision.Service_Slots
- Flyology.Supervision.Static
- Flyology.Supervision.Task_Generations
- Flyology.Supervision_Windows
- Flyology.Task_Results
- Flyology.Task_Scopes
- Flyology.Wake_Sources
- Flyology.Worker_Pools
Tagged types
- Flyology.Bounded_Channels.Channel
- Flyology.Buffers.Channels.Channel
- Flyology.Buffers.Channels.Receive_Operation
- Flyology.Buffers.Channels.Send_Operation
- Flyology.Buffers.Domains.Owned_Buffer
- Flyology.Buffers.Drivers.Detached_Buffer
- Flyology.Buffers.Pool
- Flyology.Buffers.Unique_Buffer
- Flyology.Channels.Bounded.Receive_Operation
- Flyology.Channels.Bounded.Send_Operation
- Flyology.Fairness.Yield_Budget
- Flyology.IO.Connections.Connect_Operation
- Flyology.IO.Connections.Connection
- Flyology.IO.Connections.Connection_Operation
- Flyology.IO.Connections.Drivers.Capability
- Flyology.IO.Connections.Receive_Exactly_Operation
- Flyology.IO.Connections.Receive_Operation
- Flyology.IO.Connections.Send_All_Operation
- Flyology.IO.Connections.TLS.Upgrade_Operation
- Flyology.IO.DNS.Resolve_Operation
- Flyology.IO.File_Watches.Next_Operation
- Flyology.IO.File_Watches.Recursive.Next_Operation
- Flyology.IO.File_Watches.Recursive.Recursive_Watcher
- Flyology.IO.File_Watches.Watcher
- Flyology.IO.Files.File_Operation
- Flyology.IO.Files.Read_Operation
- Flyology.IO.Files.Write_Operation
- Flyology.IO.Readiness_Operation
- Flyology.IO.Sockets.Accept_Operation
- Flyology.IO.Sockets.Buffer_Receive_Operation
- Flyology.IO.Sockets.Buffer_Send_All_Operation
- Flyology.IO.Sockets.Buffer_Send_Operation
- Flyology.IO.Sockets.Connect_Operation
- Flyology.IO.Sockets.Datagram_Operation
- Flyology.IO.Sockets.Receive_Datagram_Operation
- Flyology.IO.Sockets.Receive_Exactly_Operation
- Flyology.IO.Sockets.Receive_Operation
- Flyology.IO.Sockets.Send_All_Operation
- Flyology.IO.Sockets.Send_Datagram_Operation
- Flyology.IO.Sockets.Send_Operation
- Flyology.IO.Sockets.Socket_Operation
- Flyology.IO.Sockets.Unix_Accept_Operation
- Flyology.IO.Timers.Timer_Operation
- Flyology.IO.TLS.ALPN.Provider
- Flyology.IO.TLS.ALPN.Session
- Flyology.IO.TLS.Connection
- Flyology.IO.TLS.Connection_Operation
- Flyology.IO.TLS.Drivers.Capability
- Flyology.IO.TLS.Handshake_Operation
- Flyology.IO.TLS.OpenSSL.OpenSSL_Provider
- Flyology.IO.TLS.Provider
- Flyology.IO.TLS.Receive_Exactly_Operation
- Flyology.IO.TLS.Receive_Operation
- Flyology.IO.TLS.Send_All_Operation
- Flyology.IO.TLS.Session
- Flyology.IO.TLS.Shutdown_Operation
- Flyology.Memory_Regions.Task_Pool
- Flyology.Native_Executors.Executor
- Flyology.Observability.Stall_Watchdogs.Watchdog
- Flyology.Operations.Completion_Set
- Flyology.Operations.Gate_Operation
- Flyology.Operations.Operation
- Flyology.Process_Generations.Coordinators.Coordinator
- Flyology.Subprocesses.Process
- Flyology.Task_Results.Monitor
- Flyology.Task_Results.Wait_Operation
- Flyology.Task_Scopes.Scope
- Flyology.Wake_Sources.Source