Skip to content

NonEmptyString

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:2618

Since

3.10.0

Extends

  • NonEmptyString_base

Constructors

new NonEmptyString()

new NonEmptyString(_): NonEmptyString

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:83

Parameters

_

never

Returns

NonEmptyString

Inherited from

NonEmptyString_base.constructor

Properties

[TypeId]

readonly [TypeId]: object

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:160

_A

readonly _A: Invariant<string>

_I

readonly _I: Invariant<string>

_R

readonly _R: Covariant<never>

Inherited from

NonEmptyString_base.[TypeId]


[RefineSchemaId]

readonly static [RefineSchemaId]: typeof String$

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:1878

The following is required for HasFields to work

Inherited from

NonEmptyString_base.[RefineSchemaId]


[TypeId]

readonly static [TypeId]: object

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:160

_A

readonly _A: Invariant<string>

_I

readonly _I: Invariant<string>

_R

readonly _R: Covariant<never>

Inherited from

NonEmptyString_base.[TypeId]


ast

readonly static ast: AST

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:64

Inherited from

NonEmptyString_base.ast


Context

readonly static Context: never

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:63

Inherited from

NonEmptyString_base.Context


Encoded

readonly static Encoded: string

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:62

Inherited from

NonEmptyString_base.Encoded


filter()

readonly static filter: (a, options, self) => Option<ParseIssue>

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:1880

Parameters

a

string

options

ParseOptions

self

Refinement

Returns

Option<ParseIssue>

Inherited from

NonEmptyString_base.filter


from

readonly static from: typeof String$

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:1879

Inherited from

NonEmptyString_base.from


Type

readonly static Type: string

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:61

Inherited from

NonEmptyString_base.Type

Methods

annotations()

static annotations(annotations): refine

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:76

Merges a set of new annotations with existing ones, potentially overwriting any duplicates.

Parameters

annotations

GenericSchema<string>

Returns

refine

Inherited from

NonEmptyString_base.annotations


make()

static make(a, options?): string

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Schema.d.ts:1881

Parameters

a

string

options?

MakeOptions

Returns

string

Inherited from

NonEmptyString_base.make


pipe()

Call Signature

static pipe<A>(this): A

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:9

Type Parameters

A

Parameters
this

A

Returns

A

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B>(this, ab): B

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:10

Type Parameters

A

B = never

Parameters
this

A

ab

(_) => B

Returns

B

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C>(this, ab, bc): C

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:11

Type Parameters

A

B = never

C = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

Returns

C

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D>(this, ab, bc, cd): D

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:12

Type Parameters

A

B = never

C = never

D = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

Returns

D

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E>(this, ab, bc, cd, de): E

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:13

Type Parameters

A

B = never

C = never

D = never

E = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

Returns

E

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F>(this, ab, bc, cd, de, ef): F

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:14

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

Returns

F

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G>(this, ab, bc, cd, de, ef, fg): G

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:15

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

Returns

G

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H>(this, ab, bc, cd, de, ef, fg, gh): H

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:16

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

Returns

H

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I>(this, ab, bc, cd, de, ef, fg, gh, hi): I

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:17

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

Returns

I

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J>(this, ab, bc, cd, de, ef, fg, gh, hi, ij): J

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:18

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

Returns

J

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk): K

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:19

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

Returns

K

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl): L

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:20

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

Returns

L

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm): M

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:21

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

Returns

M

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn): N

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:22

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

Returns

N

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no): O

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:23

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

Returns

O

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op): P

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:24

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

Returns

P

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq): Q

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:25

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

Returns

Q

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr): R

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:26

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

R = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

qr

(_) => R

Returns

R

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs): S

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:27

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

R = never

S = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

qr

(_) => R

rs

(_) => S

Returns

S

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st): T

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:28

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

R = never

S = never

T = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

qr

(_) => R

rs

(_) => S

st

(_) => T

Returns

T

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:29

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

R = never

S = never

T = never

U = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

qr

(_) => R

rs

(_) => S

st

(_) => T

tu

(_) => U

Returns

U

Inherited from

NonEmptyString_base.pipe

Call Signature

static pipe<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U>(this, ab, bc, cd, de, ef, fg, gh, hi, ij, jk, kl, lm, mn, no, op, pq, qr, rs, st, tu): U

Defined in: node_modules/.pnpm/effect@3.14.8/node_modules/effect/dist/dts/Pipeable.d.ts:30

Type Parameters

A

B = never

C = never

D = never

E = never

F = never

G = never

H = never

I = never

J = never

K = never

L = never

M = never

N = never

O = never

P = never

Q = never

R = never

S = never

T = never

U = never

Parameters
this

A

ab

(_) => B

bc

(_) => C

cd

(_) => D

de

(_) => E

ef

(_) => F

fg

(_) => G

gh

(_) => H

hi

(_) => I

ij

(_) => J

jk

(_) => K

kl

(_) => L

lm

(_) => M

mn

(_) => N

no

(_) => O

op

(_) => P

pq

(_) => Q

qr

(_) => R

rs

(_) => S

st

(_) => T

tu

(_) => U

Returns

U

Inherited from

NonEmptyString_base.pipe