summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-03-19 02:18:52 +0100
committerNadrieril2019-03-19 02:18:52 +0100
commit049f1f12bcf3013e31b179fd469a4ff0f61bf831 (patch)
tree5d43b29771a4236a22a933f660072f24a4dcd62c /dhall/src
parentfb79d63d6a57431ff49b94a3fc90cfcf9c2ee788 (diff)
rustfmt
Diffstat (limited to '')
-rw-r--r--dhall/src/normalize.rs34
1 files changed, 20 insertions, 14 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index e335fbb..6257faf 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -4,7 +4,10 @@ use dhall_generator::dhall_expr;
use std::fmt;
use std::rc::Rc;
-fn apply_builtin<S, A>(b: Builtin, mut args: Vec<SubExpr<S, A>>) -> SubExpr<S, A>
+fn apply_builtin<S, A>(
+ b: Builtin,
+ mut args: Vec<SubExpr<S, A>>,
+) -> SubExpr<S, A>
where
S: fmt::Debug,
A: fmt::Debug,
@@ -72,9 +75,7 @@ where
(ListLast, Some(NEListLit(ys)), _) => {
rc(OptionalLit(None, ys.iter().cloned().last()))
}
- (ListReverse, Some(EmptyListLit(t)), _) => {
- rc(EmptyListLit(t.clone()))
- }
+ (ListReverse, Some(EmptyListLit(t)), _) => rc(EmptyListLit(t.clone())),
(ListReverse, Some(NEListLit(ys)), _) => {
let ys = ys.iter().rev().cloned().collect();
rc(NEListLit(ys))
@@ -84,10 +85,15 @@ where
dhall_expr!([] : List ({ index : Natural, value : t }))
}
(ListIndexed, Some(NEListLit(xs)), _) => {
- let xs = xs.iter().cloned().enumerate().map(|(i, e)| {
- let i = rc(NaturalLit(i));
- dhall_expr!({ index = i, value = e })
- }).collect();
+ let xs = xs
+ .iter()
+ .cloned()
+ .enumerate()
+ .map(|(i, e)| {
+ let i = rc(NaturalLit(i));
+ dhall_expr!({ index = i, value = e })
+ })
+ .collect();
rc(NEListLit(xs))
}
(ListBuild, _, [a0, g, ..]) => {
@@ -165,15 +171,13 @@ where
}
};
// TODO: use Embed to avoid reevaluating g
- break dhall_expr!(g Natural (λ(x : Natural) -> x + 1) 0)
+ break dhall_expr!(g Natural (λ(x : Natural) -> x + 1) 0);
}
}
- (NaturalFold, Some(NaturalLit(0)), [_, _, _, zero]) => {
- Rc::clone(zero)
- }
+ (NaturalFold, Some(NaturalLit(0)), [_, _, _, zero]) => Rc::clone(zero),
(NaturalFold, Some(NaturalLit(n)), [_, t, succ, zero]) => {
let fold = rc(Builtin(NaturalFold));
- let n = rc(NaturalLit(n-1));
+ let n = rc(NaturalLit(n - 1));
let t = Rc::clone(t);
let succ = Rc::clone(succ);
let zero = Rc::clone(zero);
@@ -274,7 +278,9 @@ where
NaturalLit(x * y)
}
(TextAppend, TextLit(x), TextLit(y)) => TextLit(x + y),
- (ListAppend, EmptyListLit(t), EmptyListLit(_)) => EmptyListLit(Rc::clone(t)),
+ (ListAppend, EmptyListLit(t), EmptyListLit(_)) => {
+ EmptyListLit(Rc::clone(t))
+ }
(ListAppend, EmptyListLit(_), _) => return y,
(ListAppend, _, EmptyListLit(_)) => return x,
(ListAppend, NEListLit(xs), NEListLit(ys)) => {