1693 lines
63 KiB
HTML
1693 lines
63 KiB
HTML
|
|
||
|
|
<!doctype html>
|
||
|
|
<html lang="en" class="no-js">
|
||
|
|
<head>
|
||
|
|
|
||
|
|
<meta charset="utf-8">
|
||
|
|
<meta name="viewport" content="width=device-width,initial-scale=1">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="prev" href="../text/">
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="icon" href="../assets/images/favicon.png">
|
||
|
|
<meta name="generator" content="mkdocs-1.4.2, mkdocs-material-9.1.3">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<title>Representations of Values - Preserves</title>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="stylesheet" href="../assets/stylesheets/main.c4a75a56.min.css">
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="stylesheet" href="../assets/stylesheets/palette.a0c5b2b5.min.css">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
|
||
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:300,300i,400,400i,700,700i%7CRoboto+Mono:400,400i,700,700i&display=fallback">
|
||
|
|
<style>:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}</style>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<link rel="stylesheet" href="../assets/_mkdocstrings.css">
|
||
|
|
|
||
|
|
<script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce((e,_)=>(e<<5)-e+_.charCodeAt(0),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</head>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<body dir="ltr" data-md-color-scheme="default" data-md-color-primary="" data-md-color-accent="">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off">
|
||
|
|
<input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off">
|
||
|
|
<label class="md-overlay" for="__drawer"></label>
|
||
|
|
<div data-md-component="skip">
|
||
|
|
|
||
|
|
|
||
|
|
<a href="#representations-of-values" class="md-skip">
|
||
|
|
Skip to content
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
<div data-md-component="announce">
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<header class="md-header md-header--shadow" data-md-component="header">
|
||
|
|
<nav class="md-header__inner md-grid" aria-label="Header">
|
||
|
|
<a href=".." title="Preserves" class="md-header__button md-logo" aria-label="Preserves" data-md-component="logo">
|
||
|
|
|
||
|
|
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54Z"/></svg>
|
||
|
|
|
||
|
|
</a>
|
||
|
|
<label class="md-header__button md-icon" for="__drawer">
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3V6m0 5h18v2H3v-2m0 5h18v2H3v-2Z"/></svg>
|
||
|
|
</label>
|
||
|
|
<div class="md-header__title" data-md-component="header-title">
|
||
|
|
<div class="md-header__ellipsis">
|
||
|
|
<div class="md-header__topic">
|
||
|
|
<span class="md-ellipsis">
|
||
|
|
Preserves
|
||
|
|
</span>
|
||
|
|
</div>
|
||
|
|
<div class="md-header__topic" data-md-component="header-topic">
|
||
|
|
<span class="md-ellipsis">
|
||
|
|
|
||
|
|
Representations of Values
|
||
|
|
|
||
|
|
</span>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<label class="md-header__button md-icon" for="__search">
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5Z"/></svg>
|
||
|
|
</label>
|
||
|
|
<div class="md-search" data-md-component="search" role="dialog">
|
||
|
|
<label class="md-search__overlay" for="__search"></label>
|
||
|
|
<div class="md-search__inner" role="search">
|
||
|
|
<form class="md-search__form" name="search">
|
||
|
|
<input type="text" class="md-search__input" name="query" aria-label="Search" placeholder="Search" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" required>
|
||
|
|
<label class="md-search__icon md-icon" for="__search">
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.516 6.516 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5Z"/></svg>
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12Z"/></svg>
|
||
|
|
</label>
|
||
|
|
<nav class="md-search__options" aria-label="Search">
|
||
|
|
|
||
|
|
<button type="reset" class="md-search__icon md-icon" title="Clear" aria-label="Clear" tabindex="-1">
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12 19 6.41Z"/></svg>
|
||
|
|
</button>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</form>
|
||
|
|
<div class="md-search__output">
|
||
|
|
<div class="md-search__scrollwrap" data-md-scrollfix>
|
||
|
|
<div class="md-search-result" data-md-component="search-result">
|
||
|
|
<div class="md-search-result__meta">
|
||
|
|
Initializing search
|
||
|
|
</div>
|
||
|
|
<ol class="md-search-result__list" role="presentation"></ol>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</header>
|
||
|
|
|
||
|
|
<div class="md-container" data-md-component="container">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<main class="md-main" data-md-component="main">
|
||
|
|
<div class="md-main__inner md-grid">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" >
|
||
|
|
<div class="md-sidebar__scrollwrap">
|
||
|
|
<div class="md-sidebar__inner">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0">
|
||
|
|
<label class="md-nav__title" for="__drawer">
|
||
|
|
<a href=".." title="Preserves" class="md-nav__button md-logo" aria-label="Preserves" data-md-component="logo">
|
||
|
|
|
||
|
|
|
||
|
|
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54Z"/></svg>
|
||
|
|
|
||
|
|
</a>
|
||
|
|
Preserves
|
||
|
|
</label>
|
||
|
|
|
||
|
|
<ul class="md-nav__list" data-md-scrollfix>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href=".." class="md-nav__link">
|
||
|
|
Overview
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../api/" class="md-nav__link">
|
||
|
|
The top-level preserves package
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../binary/" class="md-nav__link">
|
||
|
|
Machine-oriented binary syntax
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../compare/" class="md-nav__link">
|
||
|
|
Comparing Values
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../error/" class="md-nav__link">
|
||
|
|
Codec errors
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../fold/" class="md-nav__link">
|
||
|
|
Traversing values
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../merge/" class="md-nav__link">
|
||
|
|
Merging values
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../path/" class="md-nav__link">
|
||
|
|
Preserves Path
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../schema/" class="md-nav__link">
|
||
|
|
Preserves Schema
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="../text/" class="md-nav__link">
|
||
|
|
Human-readable text syntax
|
||
|
|
</a>
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<li class="md-nav__item md-nav__item--active">
|
||
|
|
|
||
|
|
<input class="md-nav__toggle md-toggle" type="checkbox" id="__toc">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<label class="md-nav__link md-nav__link--active" for="__toc">
|
||
|
|
Representations of Values
|
||
|
|
<span class="md-nav__icon md-icon"></span>
|
||
|
|
</label>
|
||
|
|
|
||
|
|
<a href="./" class="md-nav__link md-nav__link--active">
|
||
|
|
Representations of Values
|
||
|
|
</a>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<nav class="md-nav md-nav--secondary" aria-label="Table of contents">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<label class="md-nav__title" for="__toc">
|
||
|
|
<span class="md-nav__icon md-icon"></span>
|
||
|
|
Table of contents
|
||
|
|
</label>
|
||
|
|
<ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values" class="md-nav__link">
|
||
|
|
preserves.values
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated" class="md-nav__link">
|
||
|
|
Annotated
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Annotated">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated.peel" class="md-nav__link">
|
||
|
|
peel()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated.strip" class="md-nav__link">
|
||
|
|
strip()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Embedded" class="md-nav__link">
|
||
|
|
Embedded
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Float" class="md-nav__link">
|
||
|
|
Float
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Float">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Float.from_bytes" class="md-nav__link">
|
||
|
|
from_bytes()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.ImmutableDict" class="md-nav__link">
|
||
|
|
ImmutableDict
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="ImmutableDict">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.ImmutableDict.from_kvs" class="md-nav__link">
|
||
|
|
from_kvs()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record" class="md-nav__link">
|
||
|
|
Record
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Record">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record.makeBasicConstructor" class="md-nav__link">
|
||
|
|
makeBasicConstructor()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record.makeConstructor" class="md-nav__link">
|
||
|
|
makeConstructor()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.RecordConstructorInfo" class="md-nav__link">
|
||
|
|
RecordConstructorInfo
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Symbol" class="md-nav__link">
|
||
|
|
Symbol
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.annotate" class="md-nav__link">
|
||
|
|
annotate()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.cmp_floats" class="md-nav__link">
|
||
|
|
cmp_floats()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.dict_kvs" class="md-nav__link">
|
||
|
|
dict_kvs()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.is_annotated" class="md-nav__link">
|
||
|
|
is_annotated()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.preserve" class="md-nav__link">
|
||
|
|
preserve()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.strip_annotations" class="md-nav__link">
|
||
|
|
strip_annotations()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" >
|
||
|
|
<div class="md-sidebar__scrollwrap">
|
||
|
|
<div class="md-sidebar__inner">
|
||
|
|
|
||
|
|
|
||
|
|
<nav class="md-nav md-nav--secondary" aria-label="Table of contents">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<label class="md-nav__title" for="__toc">
|
||
|
|
<span class="md-nav__icon md-icon"></span>
|
||
|
|
Table of contents
|
||
|
|
</label>
|
||
|
|
<ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values" class="md-nav__link">
|
||
|
|
preserves.values
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated" class="md-nav__link">
|
||
|
|
Annotated
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Annotated">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated.peel" class="md-nav__link">
|
||
|
|
peel()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Annotated.strip" class="md-nav__link">
|
||
|
|
strip()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Embedded" class="md-nav__link">
|
||
|
|
Embedded
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Float" class="md-nav__link">
|
||
|
|
Float
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Float">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Float.from_bytes" class="md-nav__link">
|
||
|
|
from_bytes()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.ImmutableDict" class="md-nav__link">
|
||
|
|
ImmutableDict
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="ImmutableDict">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.ImmutableDict.from_kvs" class="md-nav__link">
|
||
|
|
from_kvs()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record" class="md-nav__link">
|
||
|
|
Record
|
||
|
|
</a>
|
||
|
|
|
||
|
|
<nav class="md-nav" aria-label="Record">
|
||
|
|
<ul class="md-nav__list">
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record.makeBasicConstructor" class="md-nav__link">
|
||
|
|
makeBasicConstructor()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Record.makeConstructor" class="md-nav__link">
|
||
|
|
makeConstructor()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
</nav>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.RecordConstructorInfo" class="md-nav__link">
|
||
|
|
RecordConstructorInfo
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.Symbol" class="md-nav__link">
|
||
|
|
Symbol
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.annotate" class="md-nav__link">
|
||
|
|
annotate()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.cmp_floats" class="md-nav__link">
|
||
|
|
cmp_floats()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.dict_kvs" class="md-nav__link">
|
||
|
|
dict_kvs()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.is_annotated" class="md-nav__link">
|
||
|
|
is_annotated()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.preserve" class="md-nav__link">
|
||
|
|
preserve()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
<li class="md-nav__item">
|
||
|
|
<a href="#preserves.values.strip_annotations" class="md-nav__link">
|
||
|
|
strip_annotations()
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</li>
|
||
|
|
|
||
|
|
</ul>
|
||
|
|
|
||
|
|
</nav>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="md-content" data-md-component="content">
|
||
|
|
<article class="md-content__inner md-typeset">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h1 id="representations-of-values">Representations of Values</h1>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-module">
|
||
|
|
|
||
|
|
|
||
|
|
<a id="preserves.values"></a>
|
||
|
|
<div class="doc doc-contents first">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.Annotated" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">Annotated</span><span class="p">(</span><span class="n">item</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>object</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">287</span>
|
||
|
|
<span class="normal">288</span>
|
||
|
|
<span class="normal">289</span>
|
||
|
|
<span class="normal">290</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">item</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">annotations</span> <span class="o">=</span> <span class="p">[]</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">item</span> <span class="o">=</span> <span class="n">item</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.Annotated.peel" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">peel</span><span class="p">()</span></code>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">311</span>
|
||
|
|
<span class="normal">312</span>
|
||
|
|
<span class="normal">313</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">peel</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">return</span> <span class="n">strip_annotations</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="mi">1</span><span class="p">)</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.Annotated.strip" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">strip</span><span class="p">(</span><span class="n">depth</span><span class="o">=</span><span class="n">inf</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">307</span>
|
||
|
|
<span class="normal">308</span>
|
||
|
|
<span class="normal">309</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">strip</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">depth</span><span class="o">=</span><span class="n">inf</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">return</span> <span class="n">strip_annotations</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">depth</span><span class="p">)</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.Embedded" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">Embedded</span><span class="p">(</span><span class="n">value</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">374</span>
|
||
|
|
<span class="normal">375</span>
|
||
|
|
<span class="normal">376</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">embeddedValue</span> <span class="o">=</span> <span class="n">value</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.Float" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">Float</span><span class="p">(</span><span class="n">value</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>object</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">29</span>
|
||
|
|
<span class="normal">30</span>
|
||
|
|
<span class="normal">31</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">value</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">value</span> <span class="o">=</span> <span class="n">value</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.Float.from_bytes" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">from_bytes</span><span class="p">(</span><span class="n">bs</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
<span class="doc doc-labels">
|
||
|
|
<small class="doc doc-label doc-label-staticmethod"><code>staticmethod</code></small>
|
||
|
|
</span>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">73</span>
|
||
|
|
<span class="normal">74</span>
|
||
|
|
<span class="normal">75</span>
|
||
|
|
<span class="normal">76</span>
|
||
|
|
<span class="normal">77</span>
|
||
|
|
<span class="normal">78</span>
|
||
|
|
<span class="normal">79</span>
|
||
|
|
<span class="normal">80</span>
|
||
|
|
<span class="normal">81</span>
|
||
|
|
<span class="normal">82</span>
|
||
|
|
<span class="normal">83</span>
|
||
|
|
<span class="normal">84</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="nd">@staticmethod</span>
|
||
|
|
<span class="k">def</span> <span class="nf">from_bytes</span><span class="p">(</span><span class="n">bs</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="n">vf</span> <span class="o">=</span> <span class="n">struct</span><span class="o">.</span><span class="n">unpack</span><span class="p">(</span><span class="s1">'>I'</span><span class="p">,</span> <span class="n">bs</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span>
|
||
|
|
<span class="k">if</span> <span class="p">(</span><span class="n">vf</span> <span class="o">&</span> <span class="mh">0x7f800000</span><span class="p">)</span> <span class="o">==</span> <span class="mh">0x7f800000</span><span class="p">:</span>
|
||
|
|
<span class="c1"># NaN or inf. Preserve quiet/signalling bit by manually expanding to double-precision.</span>
|
||
|
|
<span class="n">sign</span> <span class="o">=</span> <span class="n">vf</span> <span class="o">>></span> <span class="mi">31</span>
|
||
|
|
<span class="n">payload</span> <span class="o">=</span> <span class="n">vf</span> <span class="o">&</span> <span class="mh">0x007fffff</span>
|
||
|
|
<span class="n">dbs</span> <span class="o">=</span> <span class="n">struct</span><span class="o">.</span><span class="n">pack</span><span class="p">(</span><span class="s1">'>Q'</span><span class="p">,</span> <span class="p">(</span><span class="n">sign</span> <span class="o"><<</span> <span class="mi">63</span><span class="p">)</span> <span class="o">|</span> <span class="mh">0x7ff0000000000000</span> <span class="o">|</span> <span class="p">(</span><span class="n">payload</span> <span class="o"><<</span> <span class="mi">29</span><span class="p">))</span>
|
||
|
|
<span class="k">return</span> <span class="n">Float</span><span class="p">(</span><span class="n">struct</span><span class="o">.</span><span class="n">unpack</span><span class="p">(</span><span class="s1">'>d'</span><span class="p">,</span> <span class="n">dbs</span><span class="p">)[</span><span class="mi">0</span><span class="p">])</span>
|
||
|
|
<span class="k">else</span><span class="p">:</span>
|
||
|
|
<span class="k">return</span> <span class="n">Float</span><span class="p">(</span><span class="n">struct</span><span class="o">.</span><span class="n">unpack</span><span class="p">(</span><span class="s1">'>f'</span><span class="p">,</span> <span class="n">bs</span><span class="p">)[</span><span class="mi">0</span><span class="p">])</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.ImmutableDict" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">ImmutableDict</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwargs</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>dict</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">237</span>
|
||
|
|
<span class="normal">238</span>
|
||
|
|
<span class="normal">239</span>
|
||
|
|
<span class="normal">240</span>
|
||
|
|
<span class="normal">241</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwargs</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">if</span> <span class="nb">hasattr</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="s1">'__hash'</span><span class="p">):</span> <span class="k">raise</span> <span class="ne">TypeError</span><span class="p">(</span><span class="s1">'Immutable'</span><span class="p">)</span>
|
||
|
|
<span class="nb">super</span><span class="p">(</span><span class="n">ImmutableDict</span><span class="p">,</span> <span class="bp">self</span><span class="p">)</span><span class="o">.</span><span class="fm">__init__</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwargs</span><span class="p">)</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">__hash</span> <span class="o">=</span> <span class="kc">None</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.ImmutableDict.from_kvs" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">from_kvs</span><span class="p">(</span><span class="n">kvs</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
<span class="doc doc-labels">
|
||
|
|
<small class="doc doc-label doc-label-staticmethod"><code>staticmethod</code></small>
|
||
|
|
</span>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">259</span>
|
||
|
|
<span class="normal">260</span>
|
||
|
|
<span class="normal">261</span>
|
||
|
|
<span class="normal">262</span>
|
||
|
|
<span class="normal">263</span>
|
||
|
|
<span class="normal">264</span>
|
||
|
|
<span class="normal">265</span>
|
||
|
|
<span class="normal">266</span>
|
||
|
|
<span class="normal">267</span>
|
||
|
|
<span class="normal">268</span>
|
||
|
|
<span class="normal">269</span>
|
||
|
|
<span class="normal">270</span>
|
||
|
|
<span class="normal">271</span>
|
||
|
|
<span class="normal">272</span>
|
||
|
|
<span class="normal">273</span>
|
||
|
|
<span class="normal">274</span>
|
||
|
|
<span class="normal">275</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="nd">@staticmethod</span>
|
||
|
|
<span class="k">def</span> <span class="nf">from_kvs</span><span class="p">(</span><span class="n">kvs</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="n">i</span> <span class="o">=</span> <span class="nb">iter</span><span class="p">(</span><span class="n">kvs</span><span class="p">)</span>
|
||
|
|
<span class="n">result</span> <span class="o">=</span> <span class="n">ImmutableDict</span><span class="p">()</span>
|
||
|
|
<span class="n">result_proxy</span> <span class="o">=</span> <span class="nb">super</span><span class="p">(</span><span class="n">ImmutableDict</span><span class="p">,</span> <span class="n">result</span><span class="p">)</span>
|
||
|
|
<span class="k">try</span><span class="p">:</span>
|
||
|
|
<span class="k">while</span> <span class="kc">True</span><span class="p">:</span>
|
||
|
|
<span class="n">k</span> <span class="o">=</span> <span class="nb">next</span><span class="p">(</span><span class="n">i</span><span class="p">)</span>
|
||
|
|
<span class="k">try</span><span class="p">:</span>
|
||
|
|
<span class="n">v</span> <span class="o">=</span> <span class="nb">next</span><span class="p">(</span><span class="n">i</span><span class="p">)</span>
|
||
|
|
<span class="k">except</span> <span class="ne">StopIteration</span><span class="p">:</span>
|
||
|
|
<span class="k">raise</span> <span class="n">DecodeError</span><span class="p">(</span><span class="s2">"Missing dictionary value"</span><span class="p">)</span>
|
||
|
|
<span class="n">result_proxy</span><span class="o">.</span><span class="fm">__setitem__</span><span class="p">(</span><span class="n">k</span><span class="p">,</span> <span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">except</span> <span class="ne">StopIteration</span><span class="p">:</span>
|
||
|
|
<span class="k">pass</span>
|
||
|
|
<span class="k">return</span> <span class="n">result</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.Record" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">Record</span><span class="p">(</span><span class="n">key</span><span class="p">,</span> <span class="n">fields</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>object</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">138</span>
|
||
|
|
<span class="normal">139</span>
|
||
|
|
<span class="normal">140</span>
|
||
|
|
<span class="normal">141</span>
|
||
|
|
<span class="normal">142</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">key</span><span class="p">,</span> <span class="n">fields</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">key</span> <span class="o">=</span> <span class="n">key</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">fields</span> <span class="o">=</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">fields</span><span class="p">)</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">__hash</span> <span class="o">=</span> <span class="kc">None</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.Record.makeBasicConstructor" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">makeBasicConstructor</span><span class="p">(</span><span class="n">label</span><span class="p">,</span> <span class="n">fieldNames</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
<span class="doc doc-labels">
|
||
|
|
<small class="doc doc-label doc-label-staticmethod"><code>staticmethod</code></small>
|
||
|
|
</span>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">182</span>
|
||
|
|
<span class="normal">183</span>
|
||
|
|
<span class="normal">184</span>
|
||
|
|
<span class="normal">185</span>
|
||
|
|
<span class="normal">186</span>
|
||
|
|
<span class="normal">187</span>
|
||
|
|
<span class="normal">188</span>
|
||
|
|
<span class="normal">189</span>
|
||
|
|
<span class="normal">190</span>
|
||
|
|
<span class="normal">191</span>
|
||
|
|
<span class="normal">192</span>
|
||
|
|
<span class="normal">193</span>
|
||
|
|
<span class="normal">194</span>
|
||
|
|
<span class="normal">195</span>
|
||
|
|
<span class="normal">196</span>
|
||
|
|
<span class="normal">197</span>
|
||
|
|
<span class="normal">198</span>
|
||
|
|
<span class="normal">199</span>
|
||
|
|
<span class="normal">200</span>
|
||
|
|
<span class="normal">201</span>
|
||
|
|
<span class="normal">202</span>
|
||
|
|
<span class="normal">203</span>
|
||
|
|
<span class="normal">204</span>
|
||
|
|
<span class="normal">205</span>
|
||
|
|
<span class="normal">206</span>
|
||
|
|
<span class="normal">207</span>
|
||
|
|
<span class="normal">208</span>
|
||
|
|
<span class="normal">209</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="nd">@staticmethod</span>
|
||
|
|
<span class="k">def</span> <span class="nf">makeBasicConstructor</span><span class="p">(</span><span class="n">label</span><span class="p">,</span> <span class="n">fieldNames</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">if</span> <span class="nb">type</span><span class="p">(</span><span class="n">fieldNames</span><span class="p">)</span> <span class="o">==</span> <span class="nb">str</span><span class="p">:</span>
|
||
|
|
<span class="n">fieldNames</span> <span class="o">=</span> <span class="n">fieldNames</span><span class="o">.</span><span class="n">split</span><span class="p">()</span>
|
||
|
|
<span class="n">arity</span> <span class="o">=</span> <span class="nb">len</span><span class="p">(</span><span class="n">fieldNames</span><span class="p">)</span>
|
||
|
|
<span class="k">def</span> <span class="nf">ctor</span><span class="p">(</span><span class="o">*</span><span class="n">fields</span><span class="p">):</span>
|
||
|
|
<span class="k">if</span> <span class="nb">len</span><span class="p">(</span><span class="n">fields</span><span class="p">)</span> <span class="o">!=</span> <span class="n">arity</span><span class="p">:</span>
|
||
|
|
<span class="k">raise</span> <span class="ne">Exception</span><span class="p">(</span><span class="s2">"Record: cannot instantiate </span><span class="si">%r</span><span class="s2"> expecting </span><span class="si">%d</span><span class="s2"> fields with </span><span class="si">%d</span><span class="s2"> fields"</span><span class="o">%</span><span class="p">(</span>
|
||
|
|
<span class="n">label</span><span class="p">,</span>
|
||
|
|
<span class="n">arity</span><span class="p">,</span>
|
||
|
|
<span class="nb">len</span><span class="p">(</span><span class="n">fields</span><span class="p">)))</span>
|
||
|
|
<span class="k">return</span> <span class="n">Record</span><span class="p">(</span><span class="n">label</span><span class="p">,</span> <span class="n">fields</span><span class="p">)</span>
|
||
|
|
<span class="n">ctor</span><span class="o">.</span><span class="n">constructorInfo</span> <span class="o">=</span> <span class="n">RecordConstructorInfo</span><span class="p">(</span><span class="n">label</span><span class="p">,</span> <span class="n">arity</span><span class="p">)</span>
|
||
|
|
<span class="n">ctor</span><span class="o">.</span><span class="n">isClassOf</span> <span class="o">=</span> <span class="k">lambda</span> <span class="n">v</span><span class="p">:</span> \
|
||
|
|
<span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">Record</span><span class="p">)</span> <span class="ow">and</span> <span class="n">v</span><span class="o">.</span><span class="n">key</span> <span class="o">==</span> <span class="n">label</span> <span class="ow">and</span> <span class="nb">len</span><span class="p">(</span><span class="n">v</span><span class="o">.</span><span class="n">fields</span><span class="p">)</span> <span class="o">==</span> <span class="n">arity</span>
|
||
|
|
<span class="k">def</span> <span class="nf">ensureClassOf</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">ctor</span><span class="o">.</span><span class="n">isClassOf</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="k">raise</span> <span class="ne">TypeError</span><span class="p">(</span><span class="s2">"Record: expected </span><span class="si">%r</span><span class="s2">/</span><span class="si">%d</span><span class="s2">, got </span><span class="si">%r</span><span class="s2">"</span> <span class="o">%</span> <span class="p">(</span><span class="n">label</span><span class="p">,</span> <span class="n">arity</span><span class="p">,</span> <span class="n">v</span><span class="p">))</span>
|
||
|
|
<span class="k">return</span> <span class="n">v</span>
|
||
|
|
<span class="n">ctor</span><span class="o">.</span><span class="n">ensureClassOf</span> <span class="o">=</span> <span class="n">ensureClassOf</span>
|
||
|
|
<span class="k">for</span> <span class="n">fieldIndex</span> <span class="ow">in</span> <span class="nb">range</span><span class="p">(</span><span class="nb">len</span><span class="p">(</span><span class="n">fieldNames</span><span class="p">)):</span>
|
||
|
|
<span class="n">fieldName</span> <span class="o">=</span> <span class="n">fieldNames</span><span class="p">[</span><span class="n">fieldIndex</span><span class="p">]</span>
|
||
|
|
<span class="c1"># Stupid python scoping bites again</span>
|
||
|
|
<span class="k">def</span> <span class="nf">getter</span><span class="p">(</span><span class="n">fieldIndex</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="k">lambda</span> <span class="n">v</span><span class="p">:</span> <span class="n">ensureClassOf</span><span class="p">(</span><span class="n">v</span><span class="p">)[</span><span class="n">fieldIndex</span><span class="p">]</span>
|
||
|
|
<span class="nb">setattr</span><span class="p">(</span><span class="n">ctor</span><span class="p">,</span> <span class="s1">'_'</span> <span class="o">+</span> <span class="n">fieldName</span><span class="p">,</span> <span class="n">getter</span><span class="p">(</span><span class="n">fieldIndex</span><span class="p">))</span>
|
||
|
|
<span class="k">return</span> <span class="n">ctor</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h3 id="preserves.values.Record.makeConstructor" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">makeConstructor</span><span class="p">(</span><span class="n">labelSymbolText</span><span class="p">,</span> <span class="n">fieldNames</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
<span class="doc doc-labels">
|
||
|
|
<small class="doc doc-label doc-label-staticmethod"><code>staticmethod</code></small>
|
||
|
|
</span>
|
||
|
|
|
||
|
|
</h3>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">177</span>
|
||
|
|
<span class="normal">178</span>
|
||
|
|
<span class="normal">179</span>
|
||
|
|
<span class="normal">180</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="nd">@staticmethod</span>
|
||
|
|
<span class="k">def</span> <span class="nf">makeConstructor</span><span class="p">(</span><span class="n">labelSymbolText</span><span class="p">,</span> <span class="n">fieldNames</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">return</span> <span class="n">Record</span><span class="o">.</span><span class="n">makeBasicConstructor</span><span class="p">(</span><span class="n">Symbol</span><span class="p">(</span><span class="n">labelSymbolText</span><span class="p">),</span> <span class="n">fieldNames</span><span class="p">)</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.RecordConstructorInfo" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">RecordConstructorInfo</span><span class="p">(</span><span class="n">key</span><span class="p">,</span> <span class="n">arity</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>object</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">213</span>
|
||
|
|
<span class="normal">214</span>
|
||
|
|
<span class="normal">215</span>
|
||
|
|
<span class="normal">216</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">key</span><span class="p">,</span> <span class="n">arity</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">key</span> <span class="o">=</span> <span class="n">key</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">arity</span> <span class="o">=</span> <span class="n">arity</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-class">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.Symbol" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">Symbol</span><span class="p">(</span><span class="n">name</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
<p class="doc doc-class-bases">
|
||
|
|
Bases: <code>object</code></p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">91</span>
|
||
|
|
<span class="normal">92</span>
|
||
|
|
<span class="normal">93</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">name</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="bp">self</span><span class="o">.</span><span class="n">name</span> <span class="o">=</span> <span class="n">name</span><span class="o">.</span><span class="n">name</span> <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">name</span><span class="p">,</span> <span class="n">Symbol</span><span class="p">)</span> <span class="k">else</span> <span class="n">name</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-children">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.annotate" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">annotate</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="o">*</span><span class="n">anns</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">358</span>
|
||
|
|
<span class="normal">359</span>
|
||
|
|
<span class="normal">360</span>
|
||
|
|
<span class="normal">361</span>
|
||
|
|
<span class="normal">362</span>
|
||
|
|
<span class="normal">363</span>
|
||
|
|
<span class="normal">364</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">annotate</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="o">*</span><span class="n">anns</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">is_annotated</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="n">v</span> <span class="o">=</span> <span class="n">Annotated</span><span class="p">(</span><span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="n">anns</span><span class="p">:</span>
|
||
|
|
<span class="n">v</span><span class="o">.</span><span class="n">annotations</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">a</span><span class="p">)</span>
|
||
|
|
<span class="k">return</span> <span class="n">v</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.cmp_floats" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">cmp_floats</span><span class="p">(</span><span class="n">a</span><span class="p">,</span> <span class="n">b</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">19</span>
|
||
|
|
<span class="normal">20</span>
|
||
|
|
<span class="normal">21</span>
|
||
|
|
<span class="normal">22</span>
|
||
|
|
<span class="normal">23</span>
|
||
|
|
<span class="normal">24</span>
|
||
|
|
<span class="normal">25</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">cmp_floats</span><span class="p">(</span><span class="n">a</span><span class="p">,</span> <span class="n">b</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="n">a</span> <span class="o">=</span> <span class="n">float_to_int</span><span class="p">(</span><span class="n">a</span><span class="p">)</span>
|
||
|
|
<span class="n">b</span> <span class="o">=</span> <span class="n">float_to_int</span><span class="p">(</span><span class="n">b</span><span class="p">)</span>
|
||
|
|
<span class="k">if</span> <span class="n">a</span> <span class="o">&</span> <span class="mh">0x8000000000000000</span><span class="p">:</span> <span class="n">a</span> <span class="o">=</span> <span class="n">a</span> <span class="o">^</span> <span class="mh">0x7fffffffffffffff</span>
|
||
|
|
<span class="k">if</span> <span class="n">b</span> <span class="o">&</span> <span class="mh">0x8000000000000000</span><span class="p">:</span> <span class="n">b</span> <span class="o">=</span> <span class="n">b</span> <span class="o">^</span> <span class="mh">0x7fffffffffffffff</span>
|
||
|
|
<span class="k">return</span> <span class="n">a</span> <span class="o">-</span> <span class="n">b</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.dict_kvs" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">dict_kvs</span><span class="p">(</span><span class="n">d</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">277</span>
|
||
|
|
<span class="normal">278</span>
|
||
|
|
<span class="normal">279</span>
|
||
|
|
<span class="normal">280</span>
|
||
|
|
<span class="normal">281</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">dict_kvs</span><span class="p">(</span><span class="n">d</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">for</span> <span class="n">k</span> <span class="ow">in</span> <span class="n">d</span><span class="p">:</span>
|
||
|
|
<span class="k">yield</span> <span class="n">k</span>
|
||
|
|
<span class="k">yield</span> <span class="n">d</span><span class="p">[</span><span class="n">k</span><span class="p">]</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.is_annotated" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">is_annotated</span><span class="p">(</span><span class="n">v</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">327</span>
|
||
|
|
<span class="normal">328</span>
|
||
|
|
<span class="normal">329</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">is_annotated</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">return</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">Annotated</span><span class="p">)</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.preserve" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">preserve</span><span class="p">(</span><span class="n">v</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">10</span>
|
||
|
|
<span class="normal">11</span>
|
||
|
|
<span class="normal">12</span>
|
||
|
|
<span class="normal">13</span>
|
||
|
|
<span class="normal">14</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">preserve</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">while</span> <span class="nb">hasattr</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="s1">'__preserve__'</span><span class="p">):</span>
|
||
|
|
<span class="n">v</span> <span class="o">=</span> <span class="n">v</span><span class="o">.</span><span class="n">__preserve__</span><span class="p">()</span>
|
||
|
|
<span class="k">return</span> <span class="n">v</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<div class="doc doc-object doc-function">
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
<h2 id="preserves.values.strip_annotations" class="doc doc-heading">
|
||
|
|
<code class="highlight language-python"><span class="n">strip_annotations</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">depth</span><span class="o">=</span><span class="n">inf</span><span class="p">)</span></code>
|
||
|
|
|
||
|
|
</h2>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="doc doc-contents ">
|
||
|
|
|
||
|
|
<p>TODO</p>
|
||
|
|
|
||
|
|
<details class="quote">
|
||
|
|
<summary>Source code in <code>preserves/values.py</code></summary>
|
||
|
|
<div class="highlight"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre><span></span><span class="normal">331</span>
|
||
|
|
<span class="normal">332</span>
|
||
|
|
<span class="normal">333</span>
|
||
|
|
<span class="normal">334</span>
|
||
|
|
<span class="normal">335</span>
|
||
|
|
<span class="normal">336</span>
|
||
|
|
<span class="normal">337</span>
|
||
|
|
<span class="normal">338</span>
|
||
|
|
<span class="normal">339</span>
|
||
|
|
<span class="normal">340</span>
|
||
|
|
<span class="normal">341</span>
|
||
|
|
<span class="normal">342</span>
|
||
|
|
<span class="normal">343</span>
|
||
|
|
<span class="normal">344</span>
|
||
|
|
<span class="normal">345</span>
|
||
|
|
<span class="normal">346</span>
|
||
|
|
<span class="normal">347</span>
|
||
|
|
<span class="normal">348</span>
|
||
|
|
<span class="normal">349</span>
|
||
|
|
<span class="normal">350</span>
|
||
|
|
<span class="normal">351</span>
|
||
|
|
<span class="normal">352</span>
|
||
|
|
<span class="normal">353</span>
|
||
|
|
<span class="normal">354</span>
|
||
|
|
<span class="normal">355</span>
|
||
|
|
<span class="normal">356</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="k">def</span> <span class="nf">strip_annotations</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">depth</span><span class="o">=</span><span class="n">inf</span><span class="p">):</span>
|
||
|
|
<span class="w"> </span><span class="sd">"""TODO"""</span>
|
||
|
|
<span class="k">if</span> <span class="n">depth</span> <span class="o">==</span> <span class="mi">0</span><span class="p">:</span> <span class="k">return</span> <span class="n">v</span>
|
||
|
|
<span class="k">if</span> <span class="ow">not</span> <span class="n">is_annotated</span><span class="p">(</span><span class="n">v</span><span class="p">):</span> <span class="k">return</span> <span class="n">v</span>
|
||
|
|
|
||
|
|
<span class="n">next_depth</span> <span class="o">=</span> <span class="n">depth</span> <span class="o">-</span> <span class="mi">1</span>
|
||
|
|
<span class="k">def</span> <span class="nf">walk</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="n">strip_annotations</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">next_depth</span><span class="p">)</span>
|
||
|
|
|
||
|
|
<span class="n">v</span> <span class="o">=</span> <span class="n">v</span><span class="o">.</span><span class="n">item</span>
|
||
|
|
<span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="n">Record</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="n">Record</span><span class="p">(</span><span class="n">strip_annotations</span><span class="p">(</span><span class="n">v</span><span class="o">.</span><span class="n">key</span><span class="p">,</span> <span class="n">depth</span><span class="p">),</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">v</span><span class="o">.</span><span class="n">fields</span><span class="p">))</span>
|
||
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="nb">list</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="nb">tuple</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="nb">set</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="nb">frozenset</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="nb">frozenset</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="nb">frozenset</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">v</span><span class="p">)</span>
|
||
|
|
<span class="k">elif</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">v</span><span class="p">,</span> <span class="nb">dict</span><span class="p">):</span>
|
||
|
|
<span class="k">return</span> <span class="n">ImmutableDict</span><span class="o">.</span><span class="n">from_kvs</span><span class="p">(</span><span class="n">walk</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="k">for</span> <span class="n">f</span> <span class="ow">in</span> <span class="n">dict_kvs</span><span class="p">(</span><span class="n">v</span><span class="p">))</span>
|
||
|
|
<span class="k">elif</span> <span class="n">is_annotated</span><span class="p">(</span><span class="n">v</span><span class="p">):</span>
|
||
|
|
<span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="s1">'Improper annotation structure'</span><span class="p">)</span>
|
||
|
|
<span class="k">else</span><span class="p">:</span>
|
||
|
|
<span class="k">return</span> <span class="n">v</span>
|
||
|
|
</code></pre></div></td></tr></table></div>
|
||
|
|
</details>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
</article>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</main>
|
||
|
|
|
||
|
|
<footer class="md-footer">
|
||
|
|
|
||
|
|
<div class="md-footer-meta md-typeset">
|
||
|
|
<div class="md-footer-meta__inner md-grid">
|
||
|
|
<div class="md-copyright">
|
||
|
|
|
||
|
|
|
||
|
|
Made with
|
||
|
|
<a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener">
|
||
|
|
Material for MkDocs
|
||
|
|
</a>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</footer>
|
||
|
|
|
||
|
|
</div>
|
||
|
|
<div class="md-dialog" data-md-component="dialog">
|
||
|
|
<div class="md-dialog__inner md-typeset"></div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
|
||
|
|
|
||
|
|
|
||
|
|
<script src="../assets/javascripts/bundle.efa0ade1.min.js"></script>
|
||
|
|
|
||
|
|
|
||
|
|
</body>
|
||
|
|
</html>
|