From 5d17da7cead1287f01892b0d095b89f1c9620c11 Mon Sep 17 00:00:00 2001 From: Sanchime Date: Wed, 6 Jul 2022 21:15:51 +0800 Subject: [PATCH] =?UTF-8?q?=E5=87=BD=E5=AD=90?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Monads/FreeMonad.fs | 7 +++++++ Monads/Test.fs | 5 +++++ Program.fs | 3 ++- Sanchime.Learn.fsproj | 2 ++ 4 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 Monads/FreeMonad.fs create mode 100644 Monads/Test.fs diff --git a/Monads/FreeMonad.fs b/Monads/FreeMonad.fs new file mode 100644 index 0000000..2114256 --- /dev/null +++ b/Monads/FreeMonad.fs @@ -0,0 +1,7 @@ +namespace Sanchime.Monads + +module Free = + + type Free = + | Free + | Pure \ No newline at end of file diff --git a/Monads/Test.fs b/Monads/Test.fs new file mode 100644 index 0000000..3c251f7 --- /dev/null +++ b/Monads/Test.fs @@ -0,0 +1,5 @@ +namespace Sanchime.Monads + +module Test = + + let test = 0 \ No newline at end of file diff --git a/Program.fs b/Program.fs index 7498240..afd3c2c 100644 --- a/Program.fs +++ b/Program.fs @@ -7,4 +7,5 @@ open Sanchime.Algrithm.Sort.Merge open Sanchime.Algrithm.Sort.Select -qsort |> test \ No newline at end of file + +// qsort |> test \ No newline at end of file diff --git a/Sanchime.Learn.fsproj b/Sanchime.Learn.fsproj index 7d33f6b..fdf5067 100644 --- a/Sanchime.Learn.fsproj +++ b/Sanchime.Learn.fsproj @@ -10,6 +10,8 @@ + + \ No newline at end of file