Skip to content

Instantly share code, notes, and snippets.

@AlexanderAA

AlexanderAA/show_doubletuple.ur

Created April 5, 2016 02:31
Show Gist options
  • Save AlexanderAA/4207ae9d1b667bfb2e87aac77fd7d987 to your computer and use it in GitHub Desktop.
Save AlexanderAA/4207ae9d1b667bfb2e87aac77fd7d987 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
show_doubletuple.ur
fun show_doubletuple [t ::: Type] (_ : show t) =
mkShow (fn ii =>
List.foldr
String.append
""
("⦉" :: (show ii.1) :: ", " :: (show ii.2) :: "⦊" :: [])
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment