aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/type/abstract.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-05 03:05:26 -0400
committerEduardo Julian2021-09-05 03:05:26 -0400
commit3435766132d3d434622eecae5fb80f5db33bcab4 (patch)
tree66193b73d9727f065037858a75ac5a117a8e482a /stdlib/source/documentation/lux/type/abstract.lux
parent2cb6efb6a4d8b3a7fcad530f8fc3cd20471d10d9 (diff)
Handled formatting issues in documentation.
Diffstat (limited to 'stdlib/source/documentation/lux/type/abstract.lux')
-rw-r--r--stdlib/source/documentation/lux/type/abstract.lux8
1 files changed, 6 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/type/abstract.lux b/stdlib/source/documentation/lux/type/abstract.lux
index 3db8dc7be..41c91897f 100644
--- a/stdlib/source/documentation/lux/type/abstract.lux
+++ b/stdlib/source/documentation/lux/type/abstract.lux
@@ -26,8 +26,12 @@
(template [<name> <from> <to>]
[(documentation: <name>
"Type-casting macro for abstract/nominal types."
- [(: <to>
- (<name> (: <from> value)))])]
+ [(|> value
+ (: Representation)
+ :abstraction
+ (: Abstraction)
+ :representation
+ (: Representation))])]
[/.:abstraction representation abstraction]
[/.:representation abstraction representation]