diff options
| author | Eduardo Julian | 2018-07-11 07:36:33 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-11 07:36:33 -0400 |
| commit | e7fc42bbc7d0b56384864a6fcd1b1e0bf8cd880b (patch) | |
| tree | 7308aa31dcbc71a63024bae62e2d314d2cfac63a /stdlib/source/lux/language/compiler/synthesis/case.lux | |
| parent | 5efe74b9eba910d5389e20be07b504b1dad69504 (diff) | |
- Improvements to import syntax [part 1].
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/language/compiler/synthesis/case.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/language/compiler/synthesis/case.lux index 092424ec8..10c41d428 100644 --- a/stdlib/source/lux/language/compiler/synthesis/case.lux +++ b/stdlib/source/lux/language/compiler/synthesis/case.lux @@ -4,13 +4,13 @@ pipe [monad (#+ do)]) (data [product] - [bool "bool/" Equivalence<Bool>] - [text "text/" Equivalence<Text>] + [bool ("bool/" Equivalence<Bool>)] + [text ("text/" Equivalence<Text>)] text/format - [number "frac/" Equivalence<Frac>] - (collection [list "list/" Fold<List> Monoid<List>]))) + [number ("frac/" Equivalence<Frac>)] + (collection [list ("list/" Fold<List> Monoid<List>)]))) [///reference] - [///compiler (#+ Operation) "operation/" Monad<Operation>] + [///compiler (#+ Operation) ("operation/" Monad<Operation>)] [///analysis (#+ Pattern Match Analysis)] [// (#+ Path Synthesis)] [//function]) |