From a5eb206ce9bf78d0d050bfeb8c9a7896e31ddf87 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Fernandes?= Date: Fri, 5 Jul 2024 20:26:44 -0300 Subject: [PATCH] [gleam] complete sublist --- gleam/sublist/.gitignore | 4 ++ gleam/sublist/HELP.md | 32 +++++++++ gleam/sublist/README.md | 36 ++++++++++ gleam/sublist/gleam.toml | 12 ++++ gleam/sublist/manifest.toml | 27 ++++++++ gleam/sublist/src/sublist.gleam | 20 ++++++ gleam/sublist/test/sublist_test.gleam | 97 +++++++++++++++++++++++++++ 7 files changed, 228 insertions(+) create mode 100644 gleam/sublist/.gitignore create mode 100644 gleam/sublist/HELP.md create mode 100644 gleam/sublist/README.md create mode 100644 gleam/sublist/gleam.toml create mode 100644 gleam/sublist/manifest.toml create mode 100644 gleam/sublist/src/sublist.gleam create mode 100644 gleam/sublist/test/sublist_test.gleam diff --git a/gleam/sublist/.gitignore b/gleam/sublist/.gitignore new file mode 100644 index 0000000..170cca9 --- /dev/null +++ b/gleam/sublist/.gitignore @@ -0,0 +1,4 @@ +*.beam +*.ez +build +erl_crash.dump diff --git a/gleam/sublist/HELP.md b/gleam/sublist/HELP.md new file mode 100644 index 0000000..19a17e9 --- /dev/null +++ b/gleam/sublist/HELP.md @@ -0,0 +1,32 @@ +# Help + +## Running the tests + +To run the tests, run the command `gleam test` from within the exercise directory. + +## Submitting your solution + +You can submit your solution using the `exercism submit src/sublist.gleam` command. +This command will upload your solution to the Exercism website and print the solution page's URL. + +It's possible to submit an incomplete solution which allows you to: + +- See how others have completed the exercise +- Request help from a mentor + +## Need to get help? + +If you'd like help solving the exercise, check the following pages: + +- The [Gleam track's documentation](https://exercism.org/docs/tracks/gleam) +- The [Gleam track's programming category on the forum](https://forum.exercism.org/c/programming/gleam) +- [Exercism's programming category on the forum](https://forum.exercism.org/c/programming/5) +- The [Frequently Asked Questions](https://exercism.org/docs/using/faqs) + +Should those resources not suffice, you could submit your (incomplete) solution to request mentoring. + +To get help if you're having trouble, you can use one of the following resources: + +- [gleam.run](https://gleam.run/documentation/) is the gleam official documentation. +- [Discord](https://discord.gg/Fm8Pwmy) is the discord channel. +- [StackOverflow](https://stackoverflow.com/questions/tagged/gleam) can be used to search for your problem and see if it has been answered already. You can also ask and answer questions. \ No newline at end of file diff --git a/gleam/sublist/README.md b/gleam/sublist/README.md new file mode 100644 index 0000000..f7e9bbb --- /dev/null +++ b/gleam/sublist/README.md @@ -0,0 +1,36 @@ +# Sublist + +Welcome to Sublist on Exercism's Gleam Track. +If you need help running the tests or submitting your code, check out `HELP.md`. + +## Instructions + +Given any two lists `A` and `B`, determine if: + +- List `A` is equal to list `B`; or +- List `A` contains list `B` (`A` is a superlist of `B`); or +- List `A` is contained by list `B` (`A` is a sublist of `B`); or +- None of the above is true, thus lists `A` and `B` are unequal + +Specifically, list `A` is equal to list `B` if both lists have the same values in the same order. +List `A` is a superlist of `B` if `A` contains a sub-sequence of values equal to `B`. +List `A` is a sublist of `B` if `B` contains a sub-sequence of values equal to `A`. + +Examples: + +- If `A = []` and `B = []` (both lists are empty), then `A` and `B` are equal +- If `A = [1, 2, 3]` and `B = []`, then `A` is a superlist of `B` +- If `A = []` and `B = [1, 2, 3]`, then `A` is a sublist of `B` +- If `A = [1, 2, 3]` and `B = [1, 2, 3, 4, 5]`, then `A` is a sublist of `B` +- If `A = [3, 4, 5]` and `B = [1, 2, 3, 4, 5]`, then `A` is a sublist of `B` +- If `A = [3, 4]` and `B = [1, 2, 3, 4, 5]`, then `A` is a sublist of `B` +- If `A = [1, 2, 3]` and `B = [1, 2, 3]`, then `A` and `B` are equal +- If `A = [1, 2, 3, 4, 5]` and `B = [2, 3, 4]`, then `A` is a superlist of `B` +- If `A = [1, 2, 4]` and `B = [1, 2, 3, 4, 5]`, then `A` and `B` are unequal +- If `A = [1, 2, 3]` and `B = [1, 3, 2]`, then `A` and `B` are unequal + +## Source + +### Created by + +- @jiegillet \ No newline at end of file diff --git a/gleam/sublist/gleam.toml b/gleam/sublist/gleam.toml new file mode 100644 index 0000000..4d245c0 --- /dev/null +++ b/gleam/sublist/gleam.toml @@ -0,0 +1,12 @@ +name = "sublist" +version = "0.1.0" + +[dependencies] +gleam_bitwise = "~> 1.2" +gleam_otp = "~> 0.7 or ~> 1.0" +gleam_stdlib = "~> 0.32 or ~> 1.0" +simplifile = "~> 1.0" +gleam_erlang = ">= 0.25.0 and < 1.0.0" + +[dev-dependencies] +exercism_test_runner = "~> 1.4" diff --git a/gleam/sublist/manifest.toml b/gleam/sublist/manifest.toml new file mode 100644 index 0000000..072155d --- /dev/null +++ b/gleam/sublist/manifest.toml @@ -0,0 +1,27 @@ +# This file was generated by Gleam +# You typically do not need to edit this file + +packages = [ + { name = "argv", version = "1.0.1", build_tools = ["gleam"], requirements = [], otp_app = "argv", source = "hex", outer_checksum = "A6E9009E50BBE863EB37D963E4315398D41A3D87D0075480FC244125808F964A" }, + { name = "exercism_test_runner", version = "1.7.0", build_tools = ["gleam"], requirements = ["argv", "gap", "glance", "gleam_community_ansi", "gleam_erlang", "gleam_json", "gleam_stdlib", "simplifile"], otp_app = "exercism_test_runner", source = "hex", outer_checksum = "2FC1BADB19BEC2AE77BFD2D3A606A014C85412A7B874CAFC4BA8CF04B0B257CD" }, + { name = "gap", version = "1.1.0", build_tools = ["gleam"], requirements = ["gleam_community_ansi", "gleam_stdlib"], otp_app = "gap", source = "hex", outer_checksum = "2EE1B0A17E85CF73A0C1D29DA315A2699117A8F549C8E8D89FA8261BE41EDEB1" }, + { name = "glance", version = "0.8.2", build_tools = ["gleam"], requirements = ["gleam_stdlib", "glexer"], otp_app = "glance", source = "hex", outer_checksum = "ACF09457E8B564AD7A0D823DAFDD326F58263C01ACB0D432A9BEFDEDD1DA8E73" }, + { name = "gleam_bitwise", version = "1.3.1", build_tools = ["gleam"], requirements = [], otp_app = "gleam_bitwise", source = "hex", outer_checksum = "B36E1D3188D7F594C7FD4F43D0D2CE17561DE896202017548578B16FE1FE9EFC" }, + { name = "gleam_community_ansi", version = "1.4.0", build_tools = ["gleam"], requirements = ["gleam_community_colour", "gleam_stdlib"], otp_app = "gleam_community_ansi", source = "hex", outer_checksum = "FE79E08BF97009729259B6357EC058315B6FBB916FAD1C2FF9355115FEB0D3A4" }, + { name = "gleam_community_colour", version = "1.3.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "gleam_community_colour", source = "hex", outer_checksum = "A49A5E3AE8B637A5ACBA80ECB9B1AFE89FD3D5351FF6410A42B84F666D40D7D5" }, + { name = "gleam_erlang", version = "0.25.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "gleam_erlang", source = "hex", outer_checksum = "054D571A7092D2A9727B3E5D183B7507DAB0DA41556EC9133606F09C15497373" }, + { name = "gleam_json", version = "1.0.0", build_tools = ["gleam"], requirements = ["gleam_stdlib", "thoas"], otp_app = "gleam_json", source = "hex", outer_checksum = "8B197DD5D578EA6AC2C0D4BDC634C71A5BCA8E7DB5F47091C263ECB411A60DF3" }, + { name = "gleam_otp", version = "0.10.0", build_tools = ["gleam"], requirements = ["gleam_erlang", "gleam_stdlib"], otp_app = "gleam_otp", source = "hex", outer_checksum = "0B04FE915ACECE539B317F9652CAADBBC0F000184D586AAAF2D94C100945D72B" }, + { name = "gleam_stdlib", version = "0.36.0", build_tools = ["gleam"], requirements = [], otp_app = "gleam_stdlib", source = "hex", outer_checksum = "C0D14D807FEC6F8A08A7C9EF8DFDE6AE5C10E40E21325B2B29365965D82EB3D4" }, + { name = "glexer", version = "0.7.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "glexer", source = "hex", outer_checksum = "4484942A465482A0A100936E1E5F12314DB4B5AC0D87575A7B9E9062090B96BE" }, + { name = "simplifile", version = "1.5.0", build_tools = ["gleam"], requirements = ["gleam_stdlib"], otp_app = "simplifile", source = "hex", outer_checksum = "EB9AA8E65E5C1E3E0FDCFC81BC363FD433CB122D7D062750FFDF24DE4AC40116" }, + { name = "thoas", version = "0.4.1", build_tools = ["rebar3"], requirements = [], otp_app = "thoas", source = "hex", outer_checksum = "4918D50026C073C4AB1388437132C77A6F6F7C8AC43C60C13758CC0ADCE2134E" }, +] + +[requirements] +exercism_test_runner = { version = "~> 1.4" } +gleam_bitwise = { version = "~> 1.2" } +gleam_erlang = { version = ">= 0.25.0 and < 1.0.0"} +gleam_otp = { version = "~> 0.7 or ~> 1.0" } +gleam_stdlib = { version = "~> 0.32 or ~> 1.0" } +simplifile = { version = "~> 1.0" } diff --git a/gleam/sublist/src/sublist.gleam b/gleam/sublist/src/sublist.gleam new file mode 100644 index 0000000..ae6a292 --- /dev/null +++ b/gleam/sublist/src/sublist.gleam @@ -0,0 +1,20 @@ +import gleam/bool +import gleam/list + +pub type Comparison { + Equal + Unequal + Sublist + Superlist +} + +pub fn sublist(compare a: List(a), to b: List(a)) -> Comparison { + use <- bool.guard(a == b, Equal) + use <- bool.guard(a == [] || contains(a, b), Sublist) + use <- bool.guard(b == [] || contains(b, a), Superlist) + Unequal +} + +fn contains(a: List(a), b: List(a)) -> Bool { + list.contains(list.window(b, list.length(a)), a) +} diff --git a/gleam/sublist/test/sublist_test.gleam b/gleam/sublist/test/sublist_test.gleam new file mode 100644 index 0000000..d9bddc1 --- /dev/null +++ b/gleam/sublist/test/sublist_test.gleam @@ -0,0 +1,97 @@ +import exercism/should +import exercism/test_runner +import sublist.{Equal, Sublist, Superlist, Unequal} + +pub fn main() { + test_runner.main() +} + +pub fn empty_lists_test() { + sublist.sublist(compare: [], to: []) + |> should.equal(Equal) +} + +pub fn empty_list_within_non_empty_list_test() { + sublist.sublist(compare: [], to: [1, 2, 3]) + |> should.equal(Sublist) +} + +pub fn non_empty_list_contains_empty_list_test() { + sublist.sublist(compare: [1, 2, 3], to: []) + |> should.equal(Superlist) +} + +pub fn list_equals_itself_test() { + sublist.sublist(compare: [1, 2, 3], to: [1, 2, 3]) + |> should.equal(Equal) +} + +pub fn different_lists_test() { + sublist.sublist(compare: [1, 2, 3], to: [2, 3, 4]) + |> should.equal(Unequal) +} + +pub fn false_start_test() { + sublist.sublist(compare: [1, 2, 5], to: [0, 1, 2, 3, 1, 2, 5, 6]) + |> should.equal(Sublist) +} + +pub fn consecutive_test() { + sublist.sublist(compare: [1, 1, 2], to: [0, 1, 1, 1, 2, 1, 2]) + |> should.equal(Sublist) +} + +pub fn sublist_at_start_test() { + sublist.sublist(compare: [0, 1, 2], to: [0, 1, 2, 3, 4, 5]) + |> should.equal(Sublist) +} + +pub fn sublist_in_middle_test() { + sublist.sublist(compare: [2, 3, 4], to: [0, 1, 2, 3, 4, 5]) + |> should.equal(Sublist) +} + +pub fn sublist_at_end_test() { + sublist.sublist(compare: [3, 4, 5], to: [0, 1, 2, 3, 4, 5]) + |> should.equal(Sublist) +} + +pub fn at_start_of_superlist_test() { + sublist.sublist(compare: [0, 1, 2, 3, 4, 5], to: [0, 1, 2]) + |> should.equal(Superlist) +} + +pub fn in_middle_of_superlist_test() { + sublist.sublist(compare: [0, 1, 2, 3, 4, 5], to: [2, 3]) + |> should.equal(Superlist) +} + +pub fn at_end_of_superlist_test() { + sublist.sublist(compare: [0, 1, 2, 3, 4, 5], to: [3, 4, 5]) + |> should.equal(Superlist) +} + +pub fn first_list_missing_element_from_second_list_test() { + sublist.sublist(compare: [1, 3], to: [1, 2, 3]) + |> should.equal(Unequal) +} + +pub fn second_list_missing_element_from_first_list_test() { + sublist.sublist(compare: [1, 2, 3], to: [1, 3]) + |> should.equal(Unequal) +} + +pub fn first_list_missing_additional_digits_from_second_list_test() { + sublist.sublist(compare: [1, 2], to: [1, 22]) + |> should.equal(Unequal) +} + +pub fn order_matters_to_a_list_test() { + sublist.sublist(compare: [1, 2, 3], to: [3, 2, 1]) + |> should.equal(Unequal) +} + +pub fn same_digits_but_different_numbers_test() { + sublist.sublist(compare: [1, 0, 1], to: [10, 1]) + |> should.equal(Unequal) +}