Function declare

packages/effect/src/Schema.ts:555–567

(
  is: (u: unknown) => u is T,
  annotations?: Annotations.Declaration<T> | undefined
)

 * @since 3.10.0
 */
export function declare<T, Iso = T>(
  is: (u: unknown) => u is T,
  annotations?: Annotations.Declaration<T> | undefined
): declare<T, Iso> {
  return declareConstructor<T, T, Iso>()(
    [],
    () => (input, ast, options) =>
      is(input) ?
        Effect.succeed(input) :
        Effect.fail(new SchemaIssue.InvalidType(ast, input, options)),
    annotations
  )
}

/**
 * Returns a schema widened to the fully-parameterized {@link Bottom} interface,