| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (92 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (23 entries) |
Global Index
A
Alignment [library]app_cons [lemma, in com.io7m.entomos.Binary]
asMultipleOf [definition, in com.io7m.entomos.Alignment]
asMultipleOfMod [lemma, in com.io7m.entomos.Alignment]
asMultipleOf16 [definition, in com.io7m.entomos.Alignment]
asMultipleOf4 [definition, in com.io7m.entomos.Alignment]
B
BEPAppend [constructor, in com.io7m.entomos.Binary]BEPEmpty [constructor, in com.io7m.entomos.Binary]
BEPVf64 [constructor, in com.io7m.entomos.Binary]
BEPVu32 [constructor, in com.io7m.entomos.Binary]
BEPVu64 [constructor, in com.io7m.entomos.Binary]
BEPVu8s [constructor, in com.io7m.entomos.Binary]
BiArray [constructor, in com.io7m.entomos.Binary]
BiBytes [constructor, in com.io7m.entomos.Binary]
BiF64 [constructor, in com.io7m.entomos.Binary]
Binary [library]
binaryEval [definition, in com.io7m.entomos.Binary]
binaryEvalPaddedBytes [definition, in com.io7m.entomos.Binary]
binaryEvalPaddedBytesAligned [lemma, in com.io7m.entomos.Binary]
binaryEvalPaddedBytesU8 [lemma, in com.io7m.entomos.Binary]
binaryEvalStreamsWellFormed [lemma, in com.io7m.entomos.Binary]
binaryExp [inductive, in com.io7m.entomos.Binary]
binaryExpressions [section, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiRecord [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiReserve [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiArray [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiUTF8 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiBytes [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiF64 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiU64 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiU32 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind [section, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiRecord [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiReserve [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiArray [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiUTF8 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiBytes [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiF64 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiU64 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiU32 [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_cons [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_nil [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_list [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P [variable, in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect [section, in com.io7m.entomos.Binary]
binaryExp_ind [definition, in com.io7m.entomos.Binary]
binaryExp_rect [definition, in com.io7m.entomos.Binary]
binarySize [definition, in com.io7m.entomos.Binary]
binarySizeMultiple4 [lemma, in com.io7m.entomos.Binary]
binarySizePadded16 [definition, in com.io7m.entomos.Binary]
BiRecord [constructor, in com.io7m.entomos.Binary]
BiReserve [constructor, in com.io7m.entomos.Binary]
BiUTF8 [constructor, in com.io7m.entomos.Binary]
BiU32 [constructor, in com.io7m.entomos.Binary]
BiU64 [constructor, in com.io7m.entomos.Binary]
D
divisibilityNFoldPlus [lemma, in com.io7m.entomos.Divisible]Divisible [library]
divisiblityNAdd [lemma, in com.io7m.entomos.Divisible]
F
fold_right_add_app [lemma, in com.io7m.entomos.Binary]fold_right_1_length [lemma, in com.io7m.entomos.Binary]
fold_right_add_cons [lemma, in com.io7m.entomos.Binary]
Forall_implies [lemma, in com.io7m.entomos.Binary]
forall_map_binarySize [lemma, in com.io7m.entomos.Binary]
f64 [definition, in com.io7m.entomos.Binary]
M
mod_opposition [lemma, in com.io7m.entomos.Binary]mod_sub [lemma, in com.io7m.entomos.Binary]
P
p0not16 [lemma, in com.io7m.entomos.Alignment]p0not4 [lemma, in com.io7m.entomos.Alignment]
R
repeat_eq [lemma, in com.io7m.entomos.Binary]S
streamE [inductive, in com.io7m.entomos.Binary]streamEIsU8 [definition, in com.io7m.entomos.Binary]
streamElementSize [definition, in com.io7m.entomos.Binary]
streamE_sind [definition, in com.io7m.entomos.Binary]
streamE_rec [definition, in com.io7m.entomos.Binary]
streamE_ind [definition, in com.io7m.entomos.Binary]
streamE_rect [definition, in com.io7m.entomos.Binary]
streamSize [definition, in com.io7m.entomos.Binary]
streamSizeApp [lemma, in com.io7m.entomos.Binary]
streamsWellFormedDivisible4 [lemma, in com.io7m.entomos.Binary]
streamWellFormed [inductive, in com.io7m.entomos.Binary]
streamWellFormed_sind [definition, in com.io7m.entomos.Binary]
streamWellFormed_ind [definition, in com.io7m.entomos.Binary]
sub_0_lt_ymx [lemma, in com.io7m.entomos.Binary]
U
utf8 [definition, in com.io7m.entomos.Binary]u32 [definition, in com.io7m.entomos.Binary]
u64 [definition, in com.io7m.entomos.Binary]
u8byte [definition, in com.io7m.entomos.Binary]
V
Vf64 [constructor, in com.io7m.entomos.Binary]Vu32 [constructor, in com.io7m.entomos.Binary]
Vu64 [constructor, in com.io7m.entomos.Binary]
Vu8 [constructor, in com.io7m.entomos.Binary]
Variable Index
B
binaryExpressions.binaryExp_ind.P_BiRecord [in com.io7m.entomos.Binary]binaryExpressions.binaryExp_ind.P_BiReserve [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiArray [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiUTF8 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiBytes [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiF64 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiU64 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P_BiU32 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_ind.P [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiRecord [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiReserve [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiArray [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiUTF8 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiBytes [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiF64 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiU64 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_BiU32 [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_cons [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_nil [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P_list [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect.P [in com.io7m.entomos.Binary]
Library Index
A
AlignmentB
BinaryD
DivisibleLemma Index
A
app_cons [in com.io7m.entomos.Binary]asMultipleOfMod [in com.io7m.entomos.Alignment]
B
binaryEvalPaddedBytesAligned [in com.io7m.entomos.Binary]binaryEvalPaddedBytesU8 [in com.io7m.entomos.Binary]
binaryEvalStreamsWellFormed [in com.io7m.entomos.Binary]
binarySizeMultiple4 [in com.io7m.entomos.Binary]
D
divisibilityNFoldPlus [in com.io7m.entomos.Divisible]divisiblityNAdd [in com.io7m.entomos.Divisible]
F
fold_right_add_app [in com.io7m.entomos.Binary]fold_right_1_length [in com.io7m.entomos.Binary]
fold_right_add_cons [in com.io7m.entomos.Binary]
Forall_implies [in com.io7m.entomos.Binary]
forall_map_binarySize [in com.io7m.entomos.Binary]
M
mod_opposition [in com.io7m.entomos.Binary]mod_sub [in com.io7m.entomos.Binary]
P
p0not16 [in com.io7m.entomos.Alignment]p0not4 [in com.io7m.entomos.Alignment]
R
repeat_eq [in com.io7m.entomos.Binary]S
streamSizeApp [in com.io7m.entomos.Binary]streamsWellFormedDivisible4 [in com.io7m.entomos.Binary]
sub_0_lt_ymx [in com.io7m.entomos.Binary]
Constructor Index
B
BEPAppend [in com.io7m.entomos.Binary]BEPEmpty [in com.io7m.entomos.Binary]
BEPVf64 [in com.io7m.entomos.Binary]
BEPVu32 [in com.io7m.entomos.Binary]
BEPVu64 [in com.io7m.entomos.Binary]
BEPVu8s [in com.io7m.entomos.Binary]
BiArray [in com.io7m.entomos.Binary]
BiBytes [in com.io7m.entomos.Binary]
BiF64 [in com.io7m.entomos.Binary]
BiRecord [in com.io7m.entomos.Binary]
BiReserve [in com.io7m.entomos.Binary]
BiUTF8 [in com.io7m.entomos.Binary]
BiU32 [in com.io7m.entomos.Binary]
BiU64 [in com.io7m.entomos.Binary]
V
Vf64 [in com.io7m.entomos.Binary]Vu32 [in com.io7m.entomos.Binary]
Vu64 [in com.io7m.entomos.Binary]
Vu8 [in com.io7m.entomos.Binary]
Inductive Index
B
binaryExp [in com.io7m.entomos.Binary]S
streamE [in com.io7m.entomos.Binary]streamWellFormed [in com.io7m.entomos.Binary]
Section Index
B
binaryExpressions [in com.io7m.entomos.Binary]binaryExpressions.binaryExp_ind [in com.io7m.entomos.Binary]
binaryExpressions.binaryExp_rect [in com.io7m.entomos.Binary]
Definition Index
A
asMultipleOf [in com.io7m.entomos.Alignment]asMultipleOf16 [in com.io7m.entomos.Alignment]
asMultipleOf4 [in com.io7m.entomos.Alignment]
B
binaryEval [in com.io7m.entomos.Binary]binaryEvalPaddedBytes [in com.io7m.entomos.Binary]
binaryExp_ind [in com.io7m.entomos.Binary]
binaryExp_rect [in com.io7m.entomos.Binary]
binarySize [in com.io7m.entomos.Binary]
binarySizePadded16 [in com.io7m.entomos.Binary]
F
f64 [in com.io7m.entomos.Binary]S
streamEIsU8 [in com.io7m.entomos.Binary]streamElementSize [in com.io7m.entomos.Binary]
streamE_sind [in com.io7m.entomos.Binary]
streamE_rec [in com.io7m.entomos.Binary]
streamE_ind [in com.io7m.entomos.Binary]
streamE_rect [in com.io7m.entomos.Binary]
streamSize [in com.io7m.entomos.Binary]
streamWellFormed_sind [in com.io7m.entomos.Binary]
streamWellFormed_ind [in com.io7m.entomos.Binary]
U
utf8 [in com.io7m.entomos.Binary]u32 [in com.io7m.entomos.Binary]
u64 [in com.io7m.entomos.Binary]
u8byte [in com.io7m.entomos.Binary]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (92 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (21 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (23 entries) |
This page has been generated by coqdoc