Skip to content

HQL

Proposition

Initializing search

Home
Learn
Reference

HQL

Home
Learn
Learn
- Install
- The HQL book
  The HQL book
  - Part I: The language
    Part I: The language
    
    1. Hello world
    
    2. Data types
    
    2. Data types
    
    Int
    
    Float
    
    Decimal
    
    String
    
    Bool
    
    Data
    
    Option
    
    Sets, Data and maps
    
    3. Collections
    
    4. Functions
    
    4. Functions
    
    Declaring a function
    
    Function bodies
    
    Generic functions
    
    Aliases and holes
    
    5. Modules
    
    5. Modules
    
    Receiver modules
    
    Visibility
    
    How names resolve
    
    6. SQL-like Queries
    
    7. Streams that do not end
    
    8. Writing results out
    
    9. I/O
    
    9. I/O
    
    Endpoints
    
    Reading with source
    
    Writing with target and sink
    
    Finite or live
    
    Formats and documents
    
    Sources and targets by id
    
    Channels
    
    Logging
    
    The network
    
    Effects and what a host allows
    
    hql on the command line
    
    10. The type system
    
    10. The type system
    
    Records
    
    Unions and match
    
    Results
    
    Subtypes and narrowing
    
    Generics
    
    Receiver calls
    
    Operators
    
    Traits
    
    11. Advanced data typing
    
    11. Advanced data typing
    
    Open and closed types
    
    Type contracts
    
    Data contracts
    
    Validators
    
    Validation as a value
    
    Contracts and schemas
    
    12. Errors
    
    12. Errors
    
    Failures as data
    
    Diagnostics
    
    13. Working with hql
  - Part II: Data flows
    Part II: Data flows
    
    14. Pipelines
    
    15. ETL pipelines
  - Part III: Knowledge and AI
    Part III: Knowledge and AI
    
    16. A vault of documents
    
    17. Links and graphs
    
    18. Finding cards by meaning
    
    19. Queries inside documents
    
    20. Agents and runs
    
    21. Agents inside documents
    
    22. The hyper web
- Examples
Reference
Reference
- std
  std
  - std/doc
  - std/retrieval
  - std/graph
  - std/knowledge
  - std/collections
  - std/string
  - std/seq
  - std/math
  - std/option
  - std/result
  - std/regex
  - std/format
  - std/io
  - std/io/net
  - std/io/logging
  - std/vault
  - std/validators
- search
  search
  - search/semantic

`Proposition`¶

In std/knowledge.

abstract type Proposition

A claim that can be supported, disputed or constrained.

© 2026 Yauhen Yakimovich · MIT