The Config effect algebra is part of the freestyle-config module, and it allows obtaining values from configuration files at any point in the monadic computation flow of a Freestyle program. The current implementation exposes the most important combinators found in Typesafe Config.

In order to enable this integration, you can depend on freestyle-config:

libraryDependencies += "io.frees" %% "freestyle-config" % "0.3.1"


The set of abstract operations of the ConfigM algebra and Config object are specified as follows:

sealed trait Config {
  def hasPath(path: String): Boolean
  def config(path: String): Option[Config]
  def string(path: String): Option[String]
  def boolean(path: String): Option[Boolean]
  def int(path: String): Option[Int]
  def double(path: String): Option[Double]
  def stringList(path: String): List[String]
  def duration(path: String, unit: TimeUnit): Option[Long]

@free sealed trait ConfigM {
  def load: FS[Config]
  def empty: FS[Config]
  def parseString(s: String): FS[Config]

The freestyle-config module contains a built-in handler which you can use out of the box with target types such as Try, Future, monix.eval.Task, fs2.Task, and any other type in general that can satisfy a MonadError[M, Throwable] constraint.


In the following example, we will show how easy it is to add the config algebra and use it in a pure program.

Provided we have a configuration file in our classpath following the typesafe config conventions called application.conf with the following value:

disallowedStates = ["reverted", "closed"]

Before we do anything else, we’ll need to add the usual set of imports from freestyle and cats to create our algebras:

import freestyle._
import freestyle.implicits._
import cats._
import cats.implicits._

import scala.util.Try

We will define a very simple algebra with a stub handler that returns a list of issue states for illustration purposes:

@free trait IssuesService {
  def states: FS[List[String]]
// defined trait IssuesService
// defined object IssuesService

implicit val issuesServiceHandler: IssuesService.Handler[Try] = new IssuesService.Handler[Try] {
  def states: Try[List[String]] = Try(List("open", "reverted", "in progress", "closed"))
// issuesServiceHandler: IssuesService.Handler[scala.util.Try] = $anon$1@618479d9

At this point, we may aggregate our issues algebra with any other algebras in a @module which will automatically compose monadic actions derived from using different algebras:

import freestyle.config._
// import freestyle.config._

import freestyle.config.implicits._
// import freestyle.config.implicits._

@module trait App {
  val issuesService: IssuesService
  val config: ConfigM
// defined trait App
// defined object App

And finally, we can create a program and compose our config algebra in the same monadic comprehension along with our issues service:

def filteredStates[F[_]](implicit app : App[F]): FreeS[F, List[String]] =
  for {
    currentStates <- app.issuesService.states
	config <- app.config.load
	disallowedStates = config.stringList("disallowedStates")
  } yield currentStates.filterNot(disallowedStates.contains)
// filteredStates: [F[_]](implicit app: App[F])freestyle.FreeS[F,List[String]]

Once we have a program we can interpret it to our desired runtime, in this case scala.util.Try:

// res1: scala.util.Try[List[String]] = Success(List(open, reverted, in progress, closed))