fmt

Author: gkgoat1

src/combinators.rs

@@ -12,7 +12,7 @@
 #![allow(non_snake_case)]
 
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// I - the identity combinator.
 ///

src/data/boolean.rs

@@ -1,7 +1,7 @@
 //! [Lambda-encoded booleans](https://en.wikipedia.org/wiki/Church_encoding#Church_Booleans)
 
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// A lambda-encoded boolean `true`.
 ///
@@ -179,10 +179,6 @@ pub fn imply() -> Term {
 
 impl From<bool> for Term {
     fn from(b: bool) -> Term {
-        if b {
-            tru()
-        } else {
-            fls()
-        }
+        if b { tru() } else { fls() }
     }
 }

src/data/list/church.rs

@@ -3,7 +3,7 @@
 use crate::data::boolean::{fls, tru};
 use crate::data::pair::{fst, pair, snd};
 use crate::term::Term::*;
-use crate::term::{abs, app, Term, UD};
+use crate::term::{Term, UD, abs, app};
 
 /// Produces a `nil`, the last link of a Church-encoded list; equivalent to `boolean::tru`.
 ///

src/data/list/convert.rs

@@ -6,7 +6,7 @@ use alloc::vec::Vec;
 
 use crate::data::num::convert::*;
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 macro_rules! make_trait {
     ($trait_name:ident, $function_name:ident) => {

src/data/list/pair.rs

@@ -7,7 +7,7 @@ use crate::data::boolean::{fls, tru};
 use crate::data::num::church::{is_zero, pred, succ, zero};
 use crate::data::pair::{fst, pair, snd};
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// Produces a `nil`, the last link of a pair-encoded list; equivalent to `boolean::fls`.
 ///

src/data/list/parigot.rs

@@ -2,7 +2,7 @@
 
 use crate::data::boolean::{fls, tru};
 use crate::term::Term::*;
-use crate::term::{abs, app, Term, UD};
+use crate::term::{Term, UD, abs, app};
 
 /// Produces a `nil`, the last link of a Parigot-encoded list; equivalent to `boolean::tru`.
 ///

src/data/list/scott.rs

@@ -2,7 +2,7 @@
 
 use crate::data::boolean::{fls, tru};
 use crate::term::Term::*;
-use crate::term::{abs, app, Term, UD};
+use crate::term::{Term, UD, abs, app};
 
 /// Produces a `nil`, the last link of a Scott-encoded list; equivalent to `boolean::tru`.
 ///

src/data/num/binary.rs

@@ -4,7 +4,7 @@ use crate::combinators::I;
 use crate::data::boolean::{fls, tru};
 use crate::data::pair::{fst, pair, snd};
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// A 0 bit; equivalent to `boolean::tru`.
 ///

src/data/num/church.rs

@@ -5,7 +5,7 @@ use crate::data::boolean::{and, fls, not, or, tru};
 use crate::data::num::{parigot, scott, stumpfu};
 use crate::data::pair::pair;
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// Produces a Church-encoded number zero; equivalent to `boolean::fls`.
 ///

src/data/num/convert.rs

@@ -4,7 +4,7 @@
 
 use self::Encoding::*;
 use crate::term::Term::*;
-use crate::term::{abs, app, Term};
+use crate::term::{Term, abs, app};
 
 /// The type of numeric encoding.
 #[derive(Debug, Clone, Copy)]