Cryptol Reference Manual

Cryptol Reference Manual

• Basic Syntax
  • Declarations
  • Type Signatures
  • Numeric Constraint Guards
  • Layout
  • Comments
  • Documentation Comments
  • Identifiers
  • Keywords and Built-in Operators
  • Built-in Type-level Operators
  • Numeric Literals
• Expressions
  • Calling Functions
  • Prefix Operators
  • Infix Functions
  • Type Annotations
  • Explicit Type Instantiation
  • Local Declarations
  • Block Arguments
  • Conditionals
  • Demoting Numeric Types to Values
• Basic Types
  • Tuples and Records
    • Accessing Fields
    • Updating Fields
  • Sequences
  • Functions
• Overloaded Operations
  • Built-in instances
    • Equality
    • Comparisons
    • Signed Comparisons
    • Zero
    • Logical Operations
    • Basic Arithmetic
    • Integral Operations
    • Division
    • Rounding
  • Derived instances
    • Newtypes
    • Enums
• Type Declarations
  • Type Synonyms
  • Newtypes
  • Enums
• Modules
  • Hierarchical Module Names
  • Module Imports
    • Import Lists
    • Hiding Imports
    • Qualified Module Imports
  • Private Blocks
  • Nested Modules
    • Implicit Imports
    • Managing Module Names
  • Module Aliases
  • Parameterized Modules
    • Interface Modules
    • Importing an Interface Module
    • Interface Constraints
    • Parameterized Interfaces
    • Instantiating a Parameterized Module
    • Anonymous Interface Modules
    • Anonymous Instantiation Arguments
    • Anonymous Import Instantiations
    • Passing Through Module Parameters
    • Instantiation by Parametrizing Declarations
    • Accessing Parameter Values of an Instance
• Foreign Function Interface
  • Platform support
  • Basic usage
  • Compiling C code
  • Calling conventions
  • The C calling convention
    • Overall structure
    • Type parameters
    • Bit
    • Bit Vector Types
    • Floating point types
    • Math Types
    • Sequences
    • Tuples and records
    • Type synonyms
    • Return values
    • Quick reference
  • Example
    • Memory
  • The abstract calling convention
  • Evaluation
  • Cryptol implementation of foreign functions
• Project Files
  • Project Result Caching
  • cryproject.toml Format
  • loadcache.toml Format
• REPL Commands
  • Commands
  • :set Options