add apply for algebras.

khajavi · Jan 12, 2020 · 8867e2e · 8867e2e
1 parent 060b1c5
commit 8867e2e
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 5 deletions.
diff --git a/src/main/scala/com/speakfreely/tasbih/Main.scala b/src/main/scala/com/speakfreely/tasbih/Main.scala
@@ -19,10 +19,11 @@ object Main extends CatsApp {
 
   private implicit def logger[F[_]](implicit sync: Sync[F]): BlockLogger[F] = BlockLogger[F]
 
-  private def sampleProgram[F[_]](B: BaseBlockChain[F],
-                            L: Logger[F])(implicit F: Monad[F]): F[Unit] = {
-    import B._
-    import L._
+  private def sampleProgram[F[_]: Logger: BaseBlockChain: Monad]: F[Unit] = {
+    val L = Logger[F]
+    val B = BaseBlockChain[F]
+    import L._, B._
+
     for {
       _ <- addBlock("Hello")
       _ <- addBlock("Block")
@@ -32,5 +33,5 @@ object Main extends CatsApp {
   }
 
   override def run(args: List[String]): ZIO[Console, Nothing, Int] =
-    sampleProgram[Task](blockChain, logger).fold(_ => 1, _ => 0)
+    sampleProgram[Task].fold(_ => 1, _ => 0)
 }
diff --git a/src/main/scala/com/speakfreely/tasbih/algebras/BaseBlockChain.scala b/src/main/scala/com/speakfreely/tasbih/algebras/BaseBlockChain.scala
@@ -14,6 +14,10 @@ trait BaseBlockChain[F[_]] {
 
 }
 
+object BaseBlockChain {
+  def apply[F[_]](implicit F: BaseBlockChain[F]): BaseBlockChain[F] = F
+}
+
 case class Block(index: Int,
                  previousHash: String,
                  timestamp: Long,

diff --git a/src/main/scala/com/speakfreely/tasbih/algebras/Logger.scala b/src/main/scala/com/speakfreely/tasbih/algebras/Logger.scala
@@ -5,3 +5,7 @@ import scala.language.higherKinds
 trait Logger[F[_]] {
   def log(string: String): F[Unit]
 }
+
+object Logger {
+  def apply[F[_]](implicit F: Logger[F]): Logger[F] = F
+}