Variables
Const LEFT
LEFT: "@typed/Left" = '@typed/Left' as const
Const RIGHT
RIGHT: "@typed/Right" = '@typed/Right' as const
Const ap
ap
: { <A, B, C>
(fn
: Either<A, (value
: B) => C>, value
: Either<A, B>): Either<A, C>; <A, B, C>
(fn
: Either<A, (value
: B) => C>): (value
: Either<A, B>) => Either<A, C> } = curry(__ap) as {<A, B, C>(fn: Either<A, (value: B) => C>, value: Either<A, B>): Either<A, C><A, B, C>(fn: Either<A, (value: B) => C>): (value: Either<A, B>) => Either<A, C>}
Type declaration
-
- <A, B, C>(fn: Either<A, (value: B) => C>, value: Either<A, B>): Either<A, C>
- <A, B, C>(fn: Either<A, (value: B) => C>): (value: Either<A, B>) => Either<A, C>
-
Type parameters
Parameters
Returns Either<A, C>
-
Type parameters
Parameters
-
fn: Either<A, (value: B) => C>
Returns (value: Either<A, B>) => Either<A, C>
-
-
Parameters
Returns Either<A, C>
Const chain
chain
: { <A, B, C>
(f
: (value
: B) => Either<A, C>, either
: Either<A, B>): Either<A, C>; <A, B, C>
(f
: (value
: B) => Either<A, C>): (either
: Either<A, B>) => Either<A, C> } = curry(__chain) as {<A, B, C>(f: (value: B) => Either<A, C>, either: Either<A, B>): Either<A, C><A, B, C>(f: (value: B) => Either<A, C>): (either: Either<A, B>) => Either<A, C>}
Type declaration
-
- <A, B, C>(f: (value: B) => Either<A, C>, either: Either<A, B>): Either<A, C>
- <A, B, C>(f: (value: B) => Either<A, C>): (either: Either<A, B>) => Either<A, C>
-
Type parameters
Parameters
Returns Either<A, C>
-
Type parameters
Parameters
-
f: (value: B) => Either<A, C>
-
-
Parameters
Returns Either<A, C>
Returns (either: Either<A, B>) => Either<A, C>
-
-
Parameters
Returns Either<A, C>
Const chainLeft
chain
Left: { <A, B, C>(f: (value: A) => Either<C, B>, either: Either<A, B>): Either<C, B>; <A, B, C>(f: (value: A) => Either<C, B>): (either: Either<A, B>) => Either<C, B> } = curry(__chainLeft) as {<A, B, C>(f: (value: A) => Either<C, B>, either: Either<A, B>): Either<C, B><A, B, C>(f: (value: A) => Either<C, B>): (either: Either<A, B>) => Either<C, B>}
Type declaration
-
- <A, B, C>(f: (value: A) => Either<C, B>, either: Either<A, B>): Either<C, B>
- <A, B, C>(f: (value: A) => Either<C, B>): (either: Either<A, B>) => Either<C, B>
-
Type parameters
Parameters
Returns Either<C, B>
-
Type parameters
Parameters
-
f: (value: A) => Either<C, B>
-
-
Parameters
Returns Either<C, B>
Returns (either: Either<A, B>) => Either<C, B>
-
-
Parameters
Returns Either<C, B>
Const map
map
: { <A, B, C>
(f
: (value
: B) => C, either
: Either<A, B>): Either<A, C>; <A, B, C>
(f
: (value
: B) => C): (either
: Either<A, B>) => Either<A, C> } = curry(__map) as {<A, B, C>(f: (value: B) => C, either: Either<A, B>): Either<A, C><A, B, C>(f: (value: B) => C): (either: Either<A, B>) => Either<A, C>}
Type declaration
-
- <A, B, C>(f: (value: B) => C, either: Either<A, B>): Either<A, C>
- <A, B, C>(f: (value: B) => C): (either: Either<A, B>) => Either<A, C>
-
Type parameters
Parameters
-
f: (value: B) => C
-
either: Either<A, B>
Returns Either<A, C>
-
Type parameters
Parameters
Returns (either: Either<A, B>) => Either<A, C>
-
-
Parameters
Returns Either<A, C>
Const mapLeft
map
Left: { <A, B, C>(f: (value: A) => C, either: Either<A, B>): Either<C, B>; <A, B, C>(f: (value: A) => C): (either: Either<A, B>) => Either<C, B> } = curry(__mapLeft) as {<A, B, C>(f: (value: A) => C, either: Either<A, B>): Either<C, B><A, B, C>(f: (value: A) => C): (either: Either<A, B>) => Either<C, B>}
Type declaration
-
- <A, B, C>(f: (value: A) => C, either: Either<A, B>): Either<C, B>
- <A, B, C>(f: (value: A) => C): (either: Either<A, B>) => Either<C, B>
-
Type parameters
Parameters
-
f: (value: A) => C
-
either: Either<A, B>
Returns Either<C, B>
-
Type parameters
Parameters
Returns (either: Either<A, B>) => Either<C, B>
-
-
Parameters
Returns Either<C, B>
Const orElse
or
Else: { <A, B>(value: A, validation: Either<B, A>): A; <A>(value: A): <B>(validation: Either<B, A>) => A } = curry(__orElse) as {<A, B>(value: A, validation: Either<B, A>): A<A>(value: A): <B>(validation: Either<B, A>) => A}
Type declaration
-
- <A, B>(value: A, validation: Either<B, A>): A
- <A>(value: A): <B>(validation: Either<B, A>) => A
-
Type parameters
Parameters
-
value: A
-
validation: Either<B, A>
Returns A
-
Type parameters
Parameters
Returns <B>(validation: Either<B, A>) => A
-
- <B>(validation: Either<B, A>): A
-
Type parameters
Parameters
Returns A
Const unpack
unpack
: { <A, B, C>
(f
: Arity1<A, C>, g
: Arity1<B, C>, either
: Either<A, B>): C; <A, B, C>
(f
: Arity1<A, C>, g
: Arity1<B, C>): (either
: Either<A, B>) => C; <A, B, C>
(f
: Arity1<A, C>): UnpackArity2A<A, B, C>; <A, C>
(f
: Arity1<A, C>): UnpackArity2B<A, C> } = curry(__unpack) as {<A, B, C>(f: Arity1<A, C>, g: Arity1<B, C>, either: Either<A, B>): C<A, B, C>(f: Arity1<A, C>, g: Arity1<B, C>): (either: Either<A, B>) => C<A, B, C>(f: Arity1<A, C>): UnpackArity2A<A, B, C><A, C>(f: Arity1<A, C>): UnpackArity2B<A, C>}
Type declaration
-
- <A, B, C>(f: Arity1<A, C>, g: Arity1<B, C>, either: Either<A, B>): C
- <A, B, C>(f: Arity1<A, C>, g: Arity1<B, C>): (either: Either<A, B>) => C
- <A, B, C>(f: Arity1<A, C>): UnpackArity2A<A, B, C>
- <A, C>(f: Arity1<A, C>): UnpackArity2B<A, C>
-
Type parameters
Parameters
Returns C
-
Type parameters
Parameters
Returns (either: Either<A, B>) => C
-
Type parameters
Parameters
-
Type parameters
Parameters
@typed/either