unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/lsp-fold-ranges.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

664 B
Raw Permalink Blame History 

{{ Type doc }}
structural type Optional a =
  None
  | Some a

{{
  Multi line

  Term doc
}}
List.map : 
  (a -> b) 
  -> [a] 
  -> [b]
List.map f = cases
  (x +: xs) -> f x +: List.map f xs
  [] -> []

test> z = let
  x = "hello"
  y = "world"
  [Ok (x ++ y)]

scratch/main> debug.lsp.fold-ranges

  《{{ Type doc }}》
  《structural type Optional a =
    None
    | Some a》
  
  《{{
    Multi line
  
    Term doc
  }}》
  《List.map : 
    (a -> b) 
    -> [a] 
    -> [b]
  List.map f = cases
    (x +: xs) -> f x +: List.map f xs
    [] -> []》
  
  《test> z = let
    x = "hello"
    y = "world"
    [Ok (x ++ y)]》