Skip to content

+ StructuredFormatDisplay to NonEmptyList - #551

Open
gusty wants to merge 3 commits into
masterfrom
gus/structured-format-display-for-collections
Open

+ StructuredFormatDisplay to NonEmptyList#551
gusty wants to merge 3 commits into
masterfrom
gus/structured-format-display-for-collections

Conversation

@gusty

@gustygusty commented Sep 16, 2023

Copy link
Copy Markdown
Member
> [1..1000] ;;
val it: int list =
[1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21;
22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 40;
41; 42; 43; 44; 45; 46; 47; 48; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59;
60; 61; 62; 63; 64; 65; 66; 67; 68; 69; 70; 71; 72; 73; 74; 75; 76; 77; 78;
79; 80; 81; 82; 83; 84; 85; 86; 87; 88; 89; 90; 91; 92; 93; 94; 95; 96; 97;
98; 99; 100; ...]
> { Head = 1; Tail = [2..1000] } ;;
val it: NonEmptyList<int> =
nelist {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; 22;
23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 40; 41; 42;
43; 44; 45; 46; 47; 48; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59; 60; 61; 62;
63; 64; 65; 66; 67; 68; 69; 70; 71; 72; 73; 74; 75; 76; 77; 78; 79; 80; 81; 82;
83; 84; 85; 86; 87; 88; 89; 90; 91; 92; 93; 94; 95; 96; 97; 98; 99; 100; ...}

Very naive implementation at the moment (see difference in alignment).
But just wanted to get some feedback about this.

@gusty
gustyforce-pushed the master branch 6 times, most recently from 9b34ece to b2f3c8cCompareOctober 15, 2023 05:01
@gusty
gustyforce-pushed the master branch 2 times, most recently from 484cff5 to 142c806CompareDecember 18, 2023 08:18
@gusty
gustyforce-pushed the master branch 6 times, most recently from eef4e98 to f2e49baCompareSeptember 18, 2024 07:45
@wallymathieu
wallymathieuforce-pushed the gus/structured-format-display-for-collections branch from 419e82f to d11b056CompareOctober 26, 2025 18:20
@wallymathieu
wallymathieuforce-pushed the gus/structured-format-display-for-collections branch from d11b056 to 77591adCompareOctober 26, 2025 18:21
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@gusty@wallymathieu