Feature-gate the modules

Author: qryxip

.github/workflows/ci.yml

@@ -76,6 +76,84 @@ jobs:
           profile: minimal
           components: clippy
 
+      - name: cargo-clippy (convolution)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets -- -D warnings
+
+      - name: cargo-clippy (convolution)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features convolution -- -D warnings
+
+      - name: cargo-clippy (dsu)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features dsu -- -D warnings
+
+      - name: cargo-clippy (fenwicktree)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features fenwicktree -- -D warnings
+
+      - name: cargo-clippy (lazysegtree)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features lazysegtree -- -D warnings
+
+      - name: cargo-clippy (math)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features math -- -D warnings
+
+      - name: cargo-clippy (maxflow)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features maxflow -- -D warnings
+
+      - name: cargo-clippy (mincostflow)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features mincostflow -- -D warnings
+
+      - name: cargo-clippy (modint)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features modint -- -D warnings
+
+      - name: cargo-clippy (scc)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features scc -- -D warnings
+
+      - name: cargo-clippy (segtree)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features segtree -- -D warnings
+
+      - name: cargo-clippy (string)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features string -- -D warnings
+
+      - name: cargo-clippy (twosat)
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --workspace --all-targets --no-default-features --features twosat -- -D warnings
+
       - name: cargo-clippy
         uses: actions-rs/cargo@v1
         with:

Cargo.toml

@@ -10,7 +10,40 @@ keywords = ["competitive"]
 categories = ["algorithms", "data-structures"]
 publish = false
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+[[example]]
+name = "practice2_d_maxflow"
+path = "examples/practice2_d_maxflow.rs"
+required-features = ["maxflow"]
+
+[[example]]
+name = "practice2_j_segment_tree"
+path = "examples/practice2_j_segment_tree.rs"
+required-features = ["segtree"]
+
+[[example]]
+name = "practice2_k_range_affine_range_sum"
+path = "examples/practice2_k_range_affine_range_sum.rs"
+required-features = ["lazysegtree"]
+
+[[example]]
+name = "practice2_l_lazy_segment_tree"
+path = "examples/practice2_l_lazy_segment_tree.rs"
+required-features = ["lazysegtree"]
+
+[features]
+default = ["convolution", "dsu", "fenwicktree", "lazysegtree", "math", "maxflow", "mincostflow", "modint", "scc", "segtree", "string", "twosat"]
+convolution = ["modint"]
+dsu = []
+fenwicktree = []
+lazysegtree = ["segtree"]
+math = []
+maxflow = []
+mincostflow = []
+modint = []
+scc = []
+segtree = []
+string = []
+twosat = []
 
 [dependencies]
 

src/internal_scc.rs

@@ -45,6 +45,7 @@ impl SccGraph {
         SccGraph { n, edges: vec![] }
     }
 
+    #[allow(dead_code)]
     pub fn num_vertices(&self) -> usize {
         self.n
     }
@@ -115,6 +116,7 @@ impl SccGraph {
         (env.group_num, env.ids)
     }
 
+    #[allow(dead_code)]
     pub fn scc(&self) -> Vec<Vec<usize>> {
         let ids = self.scc_ids();
         let group_num = ids.0;

src/lib.rs

@@ -1,37 +1,66 @@
+#[cfg(feature = "convolution")]
 pub mod convolution;
+#[cfg(feature = "dsu")]
 pub mod dsu;
+#[cfg(feature = "fenwicktree")]
 pub mod fenwicktree;
+#[cfg(feature = "lazysegtree")]
 pub mod lazysegtree;
+#[cfg(feature = "math")]
 pub mod math;
+#[cfg(feature = "maxflow")]
 pub mod maxflow;
+#[cfg(feature = "mincostflow")]
 pub mod mincostflow;
+#[cfg(feature = "modint")]
 pub mod modint;
+#[cfg(feature = "scc")]
 pub mod scc;
+#[cfg(feature = "segtree")]
 pub mod segtree;
+#[cfg(feature = "string")]
 pub mod string;
+#[cfg(feature = "twosat")]
 pub mod twosat;
 
+#[cfg(any(feature = "convolution", feature = "lazysegtree", feature = "segtree"))]
 pub(crate) mod internal_bit;
+#[cfg(any(feature = "math", feature = "modint"))]
 pub(crate) mod internal_math;
+#[cfg(feature = "maxflow")]
 pub(crate) mod internal_queue;
+#[cfg(any(feature = "scc", feature = "twosat"))]
 pub(crate) mod internal_scc;
+#[cfg(any(feature = "maxflow", feature = "mincostflow", feature = "segtree"))]
 pub(crate) mod internal_type_traits;
 
+#[cfg(feature = "convolution")]
 pub use convolution::{convolution, convolution_i64};
+#[cfg(feature = "dsu")]
 pub use dsu::Dsu;
+#[cfg(feature = "fenwicktree")]
 pub use fenwicktree::FenwickTree;
+#[cfg(feature = "lazysegtree")]
 pub use lazysegtree::{LazySegtree, MapMonoid};
+#[cfg(feature = "math")]
 pub use math::{crt, floor_sum, inv_mod, pow_mod};
+#[cfg(feature = "maxflow")]
 pub use maxflow::{Edge, MfGraph};
+#[cfg(feature = "mincostflow")]
 pub use mincostflow::MinCostFlowGraph;
+#[cfg(feature = "modint")]
 pub use modint::{
     Barrett, ButterflyCache, DefaultId, DynamicModInt, Id, Mod1000000007, Mod998244353, ModInt,
     ModInt1000000007, ModInt998244353, Modulus, RemEuclidU32, StaticModInt,
 };
+#[cfg(feature = "scc")]
 pub use scc::SccGraph;
+#[cfg(feature = "segtree")]
 pub use segtree::{Additive, Max, Min, Monoid, Multiplicative, Segtree};
+#[cfg(feature = "string")]
 pub use string::{
     lcp_array, lcp_array_arbitrary, suffix_array, suffix_array_arbitrary, suffix_array_manual,
     z_algorithm, z_algorithm_arbitrary,
 };
+#[cfg(feature = "twosat")]
 pub use twosat::TwoSat;

src/modint.rs

@@ -283,7 +283,9 @@ impl Modulus for Mod998244353 {
 
 /// Cache for butterfly operations.
 pub struct ButterflyCache<M> {
+    #[allow(dead_code)]
     pub(crate) sum_e: Vec<StaticModInt<M>>,
+    #[allow(dead_code)]
     pub(crate) sum_ie: Vec<StaticModInt<M>>,
 }