Finish Reader and add copyright

src/core/hkp.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 pub trait HKP<'a> {
     type T<A: 'a>;
 }

src/core/mod.rs

@@ -1,2 +1,8 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 pub mod hkp;
 pub mod transform;

src/core/transform.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 
 pub trait Transform<'a, A>: HKP<'a> {

src/lib.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 pub mod core;
 pub mod specs;
 pub mod standard;

src/specs/applicative.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::specs::functor::Functor;
 
 pub trait Applicative<'a>: Functor<'a> {

src/specs/bind.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::specs::applicative::Applicative;
 
 pub trait Bind<'a>: Applicative<'a>

src/specs/functor.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 
 pub trait Functor<'a>: HKP<'a> {

src/specs/mod.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 pub mod applicative;
 pub mod bind;
 pub mod functor;

src/specs/monad.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::specs::bind::Bind;
 
 pub trait Monad<'a>: Bind<'a> {

src/standard/either.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use std::marker::PhantomData;
 
 use crate::core::hkp::HKP;

src/standard/identity.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 use crate::specs::applicative::Applicative;
 use crate::specs::bind::Bind;

src/standard/mod.rs

@@ -1,6 +1,9 @@
 /*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
 
-*/
 pub mod either;
 pub mod identity;
 pub mod option;

src/standard/option.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 use crate::specs::applicative::Applicative;
 use crate::specs::bind::Bind;

src/standard/reader.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 use crate::specs::applicative::Applicative;
 use crate::specs::bind::Bind;
@@ -61,6 +67,26 @@ impl<'e, E: Copy, F: Bind<'e> + 'e> Bind<'e> for ReaderK<'e, E, F> {
 
 impl<'e, E: Copy, F: Bind<'e> + 'e> Monad<'e> for ReaderK<'e, E, F> {}
 
+impl<'e, E: Copy + 'e, F: Monad<'e> + 'e> ReaderK<'e, E, F> {
+    pub fn reader<A>(f: fn(E) -> F::T<A>) -> Reader<'e, E, F, A> {
+        Reader(Box::new(f), PhantomData)
+    }
+
+    pub fn run<A>(reader: Reader<'e, E, F, A>) -> Box<dyn FnOnce(E) -> F::T<A> + 'e> {
+        let Reader(f, _) = reader;
+        f
+    }
+
+    pub fn ask() -> Reader<'e, E, F, E> {
+        Reader(Box::new(F::returns), PhantomData)
+    }
+
+    pub fn local<A>(f: fn(E) -> E, reader: Reader<'e, E, F, A>) -> Reader<'e, E, F, A> {
+        let Reader(run, _) = reader;
+        Reader(Box::new(move |e| run(f(e))), PhantomData)
+    }
+}
+
 pub mod infix {
     use crate::core::hkp::HKP;
     use crate::core::transform::Transform;

src/standard/result.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use std::marker::PhantomData;
 
 use crate::core::hkp::HKP;

src/standard/vec.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 use crate::core::hkp::HKP;
 use crate::specs::applicative::Applicative;
 use crate::specs::bind::Bind;

tests/test_applicative.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 #[cfg(test)]
 mod tests_apply {
     use maitar::specs::applicative::Applicative;

tests/test_bind.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 #[cfg(test)]
 mod tests_join {
 

tests/test_functor.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 #[cfg(test)]
 mod tests_map {
 

tests/test_monad.rs

@@ -1,3 +1,9 @@
+/*
+ * MIT License
+ *
+ * Copyright (c) 2023 Didier Plaindoux
+ */
+
 #[cfg(test)]
 mod tests_returns {