Crate libspecr

source ·
Expand description

libspecr is the standard library of specr lang.

Modules

  • prelude
    The items from this module are automatically imported.

Macros

  • format
    Wrapper around the std::format macro returning libspecr::String instead of std::string::String.
  • list
    Construct a List.

Structs

  • Align
    This type is basically a copy of the Align type in the Rust compiler. See Align.
  • Int
    Garbage collected big integer that implements Copy and supports construction in const contexts.
  • IntDistribution
    Uniformly samples a random non-negative Int …
  • List
    Garbage-collected Vec-like datastructure implementing Copy. Note that functions which seem to mutate the List, actually clone the list and allocate a new GcCow under the hood.
  • Map
    Garbage-collected hash map implementing Copy.
  • Name
    Wrapper-type for names of any kind.
  • NdResult
    Conceptually, this is a Nondet<Result<T, E>>.
  • Nondet
    Non-determinism primitive. See Non-determinism.
  • Set
    Garbage-collected hash set implementing Copy.
  • Size
    Size represents a non-negative number of bytes or bits.
  • String
    Garbage-collected wrapper around std::string::String implementing Copy.

Traits

  • Distribution
    A probability distribution over values of type T.
  • MonadicReturn
    Satisfied by types that can be constructed from some inner types.
  • ToInt
    Conversion to Int.

Functions