Function validateInternal

packages/cli/src/internal/primitive.ts:394–479

(
  self: Instruction,
  value: Option.Option<string>,
  config: CliConfig.CliConfig
)

}

const validateInternal = (
  self: Instruction,
  value: Option.Option<string>,
  config: CliConfig.CliConfig
): Effect.Effect<any, string, FileSystem.FileSystem> => {
  switch (self._tag) {
    case "Bool": {
      return Option.map(value, (str) => InternalCliConfig.normalizeCase(config, str)).pipe(
        Option.match({
          onNone: () =>
            Effect.orElseFail(
              self.defaultValue,
              () => `Missing default value for boolean parameter`
            ),
          onSome: (value) =>
            isTrueValue(value)
              ? Effect.succeed(true)
              : isFalseValue(value)
              ? Effect.succeed(false)
              : Effect.fail(`Unable to recognize '${value}' as a valid boolean`)
        })
      )
    }
    case "Choice": {
      return Effect.orElseFail(
        value,
        () => `Choice options to not have a default value`
      ).pipe(
        Effect.flatMap((value) => Arr.findFirst(self.alternatives, ([choice]) => choice === value)),
        Effect.mapBoth({
          onFailure: () => {
            const choices = pipe(
              Arr.map(self.alternatives, ([choice]) => choice),
              Arr.join(", ")
            )
            return `Expected one of the following cases: ${choices}`
          },
          onSuccess: ([, value]) => value
        })
      )
    }
    case "DateTime": {
      return attempt(value, getTypeNameInternal(self), Schema.decodeUnknown(Schema.Date))
    }
    case "Float": {
      return attempt(value, getTypeNameInternal(self), Schema.decodeUnknown(Schema.NumberFromString))
    }
    case "Integer": {
      const intFromString = Schema.compose(Schema.NumberFromString, Schema.Int)
      return attempt(value, getTypeNameInternal(self), Schema.decodeUnknown(intFromString))
    }
    case "Path": {
      return Effect.flatMap(FileSystem.FileSystem, (fileSystem) => {
        const errorMsg = "Path options do not have a default value"
        return Effect.orElseFail(value, () => errorMsg).pipe(
          Effect.tap((path) =>
            Effect.orDie(fileSystem.exists(path)).pipe(
              Effect.tap((pathExists) =>