config

Using Typesafe config we read in and parse configuration files. Paths into these files are then retrieved and type checked using Ficus.

Using a lightweight DSL, we are able to then check and validate these type checked values. For example, given that the Typesafe configuration:

top-level-name = "test"
test {
  nestedVal = 50.68
  nestedDuration = 4 h
  nestedList = []
  context {
    valueInt = 30
    valueStr = "test string"
    valueDuration = 12 ms
    valueStrList = [ "addr1:10", "addr2:20", "addr3:30" ]
    valueDoubleList = [ 10.2, 20, 0.123 ]
  }
}

has been parsed and read into an implicit of type Config, then we are able to validate that the value at the path test.nestedVal has type Double and that it satisfies specified size bounds as follows:

case object ShouldBeAPercentageValue extends Exception

validate[Double]("test.nestedVal", ShouldBeAPercentageValue)(n => 0 <= n && n <= 100)

If the configuration value at path test.nestedVal fails to pass the percentage bounds check, then Left(ShouldBeAPercentageValue) is returned.

Likewise, we can enforce that all values in the array at the path test.context.valueStrList match the regular expression pattern [a-z0-9]+:[0-9]+ as follows:

case object ShouldBeASocketValue extends Exception

validate[List[String]]("test.context.valueStrList", ShouldBeASocketValue)(_.matches("[a-z0-9]+:[0-9]+"))

In some instances, we may not care about checking the value at a configuration path. In these cases we can use unchecked:

unchecked[FiniteDuration]("test.nestedDuration")

Linear Supertypes

FicusInstances, ISOZonedDateTimeReader, BigNumberReaders, ConfigValueReader, TryReader, DurationReaders, ConfigReader, CollectionReaders, OptionReader, StringReader, AnyValReaders, AnyRef, Any

Type Members

final case class ConfigError(errors: ValueError*) extends Exception with Product with Serializable
final case class FileNotFound(file: String, reason: Throwable) extends Exception with Product with Serializable
final case class NestedConfigError(config: ConfigError) extends ValueError with Product with Serializable
sealed trait ValueError extends AnyRef

Reasons why we might fail to parse a value from the config file
final case class ValueFailure[Value](path: String, reason: Throwable) extends ValueError with Product with Serializable

Value Members

object MissingValue extends Exception with Product with Serializable

General reasons for why a config value might fail to be validated by validate.
object NullValue extends Exception with Product with Serializable
implicit val bigDecimalReader: ValueReader[BigDecimal]

Definition Classes
BigNumberReaders
implicit val bigIntReader: ValueReader[BigInt]

Definition Classes
BigNumberReaders
implicit val booleanValueReader: ValueReader[Boolean]

Definition Classes
AnyValReaders
def build[ValidConfig](validatedParams: Either[ValueError, Any]*)(implicit gen: Generic[ValidConfig]): Either[ConfigError, ValidConfig]

Constructs and instance of the case class ValidConfig from a list of validated parameter values.
Constructs and instance of the case class ValidConfig from a list of validated parameter values.
ValidConfig
the case class type that we are to construct
validatedParams
list of validated case class parameters (listed in the order they are declared in the case class)
returns
either a list of ValueErrors (wrapped in a ConfigError) or the validated case class ValidConfig
implicit val configValueReader: ValueReader[Config]

Definition Classes
ConfigReader
implicit val configValueValueReader: ValueReader[ConfigValue]

Definition Classes
ConfigValueReader
implicit val doubleValueReader: ValueReader[Double]

Definition Classes
AnyValReaders
implicit val ficusConfigValueReader: ValueReader[FicusConfig]

Definition Classes
ConfigReader
implicit def finiteDurationReader: ValueReader[FiniteDuration]

Definition Classes
DurationReaders
implicit def innerConfigValue[ConfigValue](config: Either[ConfigError, ConfigValue]): Either[ValueError, ConfigValue]
implicit val intValueReader: ValueReader[Int]

Definition Classes
AnyValReaders
implicit val isoZonedDateTimeReader: ValueReader[ZonedDateTime]

Definition Classes
ISOZonedDateTimeReader
implicit val longValueReader: ValueReader[Long]

Definition Classes
AnyValReaders
implicit def mapValueReader[A](implicit entryReader: ValueReader[A]): ValueReader[Map[String, A]]

Definition Classes
CollectionReaders
implicit def optionValueReader[A](implicit valueReader: ValueReader[A]): ValueReader[Option[A]]

Definition Classes
OptionReader
implicit val stringValueReader: ValueReader[String]

Definition Classes
StringReader
implicit def toFicusConfig(config: Config): FicusConfig
implicit def traversableReader[C[_], A](implicit entryReader: ValueReader[A], cbf: CanBuildFrom[Nothing, A, C[A]]): ValueReader[C[A]]

Definition Classes
CollectionReaders
implicit def tryValueReader[A](implicit valueReader: ValueReader[A]): ValueReader[Try[A]]

Definition Classes
TryReader
def unchecked[Value](path: String)(implicit config: Config, reader: ValueReader[Value]): Either[ValueFailure[Value], Value]

Used to read in a value of type Value.
Used to read in a value of type Value. Other than checking the values type, no other validation is performed.
Value
type we expect the parsed and checked config value to have
path
Typesafe config path to the value we are validating
config
the currently in scope config object that we use
reader
Ficus ValueReader that we use for type checking the parsed config value
returns
either a ValueFailure or the parsed and *unchecked* Value instance
def validate[Value](path: String, failureReason: Throwable)(check: (Value) ⇒ Boolean)(implicit config: Config, reader: ValueReader[Value]): Either[ValueFailure[Value], Value]

Used to read in a value of type Value and to then check that value using check.
Used to read in a value of type Value and to then check that value using check. If check returns false, then we fail with failureReason.
Value
type we expect the parsed and checked config value to have
path
Typesafe config path to the value we are validating
failureReason
if check fails, the Throwable instance we return
check
predicate used to check the configuration value
config
the currently in scope config object that we use
reader
Ficus ValueReader that we use for type checking the parsed config value
returns
either a ValueFailure or the parsed and checked Value instance
def validateConfig[ValidConfig](configFile: String)(check: (Config) ⇒ Either[ConfigError, ValidConfig]): Try[ValidConfig]

Loads Typesafe config file and then builds the validated case class ValidConfig
Loads Typesafe config file and then builds the validated case class ValidConfig
ValidConfig
the case class type that we are to construct
configFile
the root Typesafe config file name
check
the builder and validator that we will use to construct the ValidConfig instance
returns
either a ConfigError throwable instance or the validated case class ValidConfig
def via[ValidConfig](path: String)(inner: (Config) ⇒ Either[ConfigError, ValidConfig])(implicit config: Config): Either[ValueError, ValidConfig]

The currently in-scope implicit Config instance is restricted to a specified path
The currently in-scope implicit Config instance is restricted to a specified path
ValidConfig
the case class type that we are to construct
path
we restrict our Typesafe config path to this path
inner
configuration builder that we will apply to the restricted Config object
config
the current in-scope Config object that we need to path restrict
returns
either a ValueError or the validated case class ValidConfig

package config

Type Members

final case class ConfigError(errors: ValueError*) extends Exception with Product with Serializable

final case class FileNotFound(file: String, reason: Throwable) extends Exception with Product with Serializable

final case class NestedConfigError(config: ConfigError) extends ValueError with Product with Serializable

sealed trait ValueError extends AnyRef

final case class ValueFailure[Value](path: String, reason: Throwable) extends ValueError with Product with Serializable

Value Members

object MissingValue extends Exception with Product with Serializable

object NullValue extends Exception with Product with Serializable

implicit val bigDecimalReader: ValueReader[BigDecimal]

implicit val bigIntReader: ValueReader[BigInt]

implicit val booleanValueReader: ValueReader[Boolean]

def build[ValidConfig](validatedParams: Either[ValueError, Any]*)(implicit gen: Generic[ValidConfig]): Either[ConfigError, ValidConfig]

implicit val configValueReader: ValueReader[Config]

implicit val configValueValueReader: ValueReader[ConfigValue]

implicit val doubleValueReader: ValueReader[Double]

implicit val ficusConfigValueReader: ValueReader[FicusConfig]

implicit def finiteDurationReader: ValueReader[FiniteDuration]

implicit def innerConfigValue[ConfigValue](config: Either[ConfigError, ConfigValue]): Either[ValueError, ConfigValue]

implicit val intValueReader: ValueReader[Int]

implicit val isoZonedDateTimeReader: ValueReader[ZonedDateTime]

implicit val longValueReader: ValueReader[Long]

implicit def mapValueReader[A](implicit entryReader: ValueReader[A]): ValueReader[Map[String, A]]

implicit def optionValueReader[A](implicit valueReader: ValueReader[A]): ValueReader[Option[A]]

implicit val stringValueReader: ValueReader[String]

implicit def toFicusConfig(config: Config): FicusConfig

implicit def traversableReader[C[_], A](implicit entryReader: ValueReader[A], cbf: CanBuildFrom[Nothing, A, C[A]]): ValueReader[C[A]]

implicit def tryValueReader[A](implicit valueReader: ValueReader[A]): ValueReader[Try[A]]

def unchecked[Value](path: String)(implicit config: Config, reader: ValueReader[Value]): Either[ValueFailure[Value], Value]

def validate[Value](path: String, failureReason: Throwable)(check: (Value) ⇒ Boolean)(implicit config: Config, reader: ValueReader[Value]): Either[ValueFailure[Value], Value]

def validateConfig[ValidConfig](configFile: String)(check: (Config) ⇒ Either[ConfigError, ValidConfig]): Try[ValidConfig]

def via[ValidConfig](path: String)(inner: (Config) ⇒ Either[ConfigError, ValidConfig])(implicit config: Config): Either[ValueError, ValidConfig]

Inherited from FicusInstances

Inherited from ISOZonedDateTimeReader

Inherited from BigNumberReaders

Inherited from ConfigValueReader

Inherited from TryReader

Inherited from DurationReaders

Inherited from ConfigReader

Inherited from CollectionReaders

Inherited from OptionReader

Inherited from StringReader

Inherited from AnyValReaders

Inherited from AnyRef

Inherited from Any

Ungrouped