aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/type/abstract.lux
diff options
context:
space:
mode:
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]