title | nav_order | parent |
---|---|---|
ReadonlyNonEmptyArray.ts |
84 |
Modules |
Data structure which represents non-empty readonly arrays.
export type ReadonlyNonEmptyArray<A> = ReadonlyArray<A> & {
readonly 0: A
}
Note that you don't need any conversion, a ReadonlyNonEmptyArray
is a ReadonlyArray
,
so all ReadonlyArray
's APIs can be used with a ReadonlyNonEmptyArray
without further ado.
Added in v2.5.0
- Alt
- Apply
- Comonad
- Extend
- Foldable
- FoldableWithIndex
- Functor
- FunctorWithIndex
- Monad
- Pointed
- Traversable
- TraversableWithIndex
- combinators
- apFirst
- apSecond
- chainFirst
- chainWithIndex
- chop
- chunksOf
- concat
- concatW
- duplicate
- flap
- flatten
- getUnionSemigroup
- group
- groupBy
- intercalate
- intersperse
- modifyAt
- prependAll
- reverse
- rotate
- sort
- sortBy
- splitAt
- union
- uniq
- unzip
- updateAt
- updateHead
- updateLast
- zip
- zipWith
filterWithIndexfiltergroupSortinsertAtprependToAll
- constructors
- destructors
- instances
- interop
- model
- utils
Identifies an associative operation on a type constructor. It is similar to Semigroup
, except that it applies to
types of kind * -> *
.
Signature
export declare const alt: <A>(
that: Lazy<ReadonlyNonEmptyArray<A>>
) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.6.2
Less strict version of alt
.
Signature
export declare const altW: <B>(
that: Lazy<ReadonlyNonEmptyArray<B>>
) => <A>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B | A>
Added in v2.9.0
Signature
export declare const ap: <A>(
as: ReadonlyNonEmptyArray<A>
) => <B>(fab: ReadonlyNonEmptyArray<(a: A) => B>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Signature
export declare const extract: <A>(wa: ReadonlyNonEmptyArray<A>) => A
Added in v2.6.3
Signature
export declare const extend: <A, B>(
f: (as: ReadonlyNonEmptyArray<A>) => B
) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Note. The constraint is relaxed: a Semigroup
instead of a Monoid
.
Signature
export declare const foldMap: <S>(S: Se.Semigroup<S>) => <A>(f: (a: A) => S) => (as: ReadonlyNonEmptyArray<A>) => S
Added in v2.5.0
Signature
export declare const reduce: <A, B>(b: B, f: (b: B, a: A) => B) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.5.0
Signature
export declare const reduceRight: <A, B>(b: B, f: (a: A, b: B) => B) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.5.0
Note. The constraint is relaxed: a Semigroup
instead of a Monoid
.
Signature
export declare const foldMapWithIndex: <S>(
S: Se.Semigroup<S>
) => <A>(f: (i: number, a: A) => S) => (as: ReadonlyNonEmptyArray<A>) => S
Added in v2.5.0
Signature
export declare const reduceRightWithIndex: <A, B>(
b: B,
f: (i: number, a: A, b: B) => B
) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.5.0
Signature
export declare const reduceWithIndex: <A, B>(
b: B,
f: (i: number, b: B, a: A) => B
) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.5.0
map
can be used to turn functions (a: A) => B
into functions (fa: F<A>) => F<B>
whose argument and return types
use the type constructor F
to represent some computational context.
Signature
export declare const map: <A, B>(f: (a: A) => B) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Signature
export declare const mapWithIndex: <A, B>(
f: (i: number, a: A) => B
) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Composes computations in sequence, using the return value of one computation to determine the next computation.
Signature
export declare const chain: <A, B>(
f: (a: A) => ReadonlyNonEmptyArray<B>
) => (ma: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Signature
export declare const of: <A>(a: A) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Signature
export declare const sequence: Sequence1<'ReadonlyNonEmptyArray'>
Added in v2.6.3
Signature
export declare const traverse: PipeableTraverse1<'ReadonlyNonEmptyArray'>
Added in v2.6.3
Signature
export declare const traverseWithIndex: PipeableTraverseWithIndex1<'ReadonlyNonEmptyArray', number>
Added in v2.6.3
Combine two effectful actions, keeping only the result of the first.
Derivable from Apply
.
Signature
export declare const apFirst: <B>(
second: ReadonlyNonEmptyArray<B>
) => <A>(first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Combine two effectful actions, keeping only the result of the second.
Derivable from Apply
.
Signature
export declare const apSecond: <B>(
second: ReadonlyNonEmptyArray<B>
) => <A>(first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.5.0
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
Derivable from Chain
.
Signature
export declare const chainFirst: <A, B>(
f: (a: A) => ReadonlyNonEmptyArray<B>
) => (first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Signature
export declare const chainWithIndex: <A, B>(
f: (i: number, a: A) => ReadonlyNonEmptyArray<B>
) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.10.0
A useful recursion pattern for processing a ReadonlyNonEmptyArray
to produce a new ReadonlyNonEmptyArray
, often used for "chopping" up the input
ReadonlyNonEmptyArray
. Typically chop
is called with some function that will consume an initial prefix of the ReadonlyNonEmptyArray
and produce a
value and the tail of the ReadonlyNonEmptyArray
.
Signature
export declare const chop: <A, B>(
f: (as: ReadonlyNonEmptyArray<A>) => readonly [B, readonly A[]]
) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<B>
Added in v2.10.0
Splits a ReadonlyNonEmptyArray
into length-n
pieces. The last piece will be shorter if n
does not evenly divide the length of
the ReadonlyNonEmptyArray
.
Signature
export declare const chunksOf: (
n: number
) => <A>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<ReadonlyNonEmptyArray<A>>
Added in v2.10.0
Signature
export declare function concat<A>(
second: ReadonlyNonEmptyArray<A>
): (first: ReadonlyArray<A>) => ReadonlyNonEmptyArray<A>
export declare function concat<A>(
second: ReadonlyArray<A>
): (first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
export declare function concat<A>(first: ReadonlyArray<A>, second: ReadonlyNonEmptyArray<A>): ReadonlyNonEmptyArray<A>
export declare function concat<A>(first: ReadonlyNonEmptyArray<A>, second: ReadonlyArray<A>): ReadonlyNonEmptyArray<A>
Added in v2.5.0
Signature
export declare function concatW<B>(
second: ReadonlyNonEmptyArray<B>
): <A>(first: ReadonlyArray<A>) => ReadonlyNonEmptyArray<A | B>
export declare function concatW<B>(
second: ReadonlyArray<B>
): <A>(first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A | B>
Added in v2.11.0
Derivable from Extend
.
Signature
export declare const duplicate: <A>(ma: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Derivable from Functor
.
Signature
export declare const flap: <A>(a: A) => <B>(fab: ReadonlyNonEmptyArray<(a: A) => B>) => ReadonlyNonEmptyArray<B>
Added in v2.10.0
Derivable from Chain
.
Signature
export declare const flatten: <A>(mma: ReadonlyNonEmptyArray<ReadonlyNonEmptyArray<A>>) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Signature
export declare const getUnionSemigroup: <A>(E: Eq<A>) => Se.Semigroup<ReadonlyNonEmptyArray<A>>
Added in v2.11.0
Group equal, consecutive elements of a ReadonlyArray
into ReadonlyNonEmptyArray
s.
Signature
export declare function group<B>(
E: Eq<B>
): {
<A extends B>(as: ReadonlyNonEmptyArray<A>): ReadonlyNonEmptyArray<ReadonlyNonEmptyArray<A>>
<A extends B>(as: ReadonlyArray<A>): ReadonlyArray<ReadonlyNonEmptyArray<A>>
}
Example
import { group } from 'fp-ts/ReadonlyNonEmptyArray'
import * as N from 'fp-ts/number'
assert.deepStrictEqual(group(N.Eq)([1, 2, 1, 1]), [[1], [2], [1, 1]])
Added in v2.5.0
Splits an array into sub-non-empty-arrays stored in an object, based on the result of calling a string
-returning
function on each element, and grouping the results according to values returned
Signature
export declare const groupBy: <A>(
f: (a: A) => string
) => (as: readonly A[]) => Readonly<Record<string, ReadonlyNonEmptyArray<A>>>
Example
import { groupBy } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(groupBy((s: string) => String(s.length))(['a', 'b', 'ab']), {
'1': ['a', 'b'],
'2': ['ab'],
})
Added in v2.5.0
Note. The constraint is relaxed: a Semigroup
instead of a Monoid
.
Signature
export declare const intercalate: <A>(S: Se.Semigroup<A>) => (sep: A) => (as: ReadonlyNonEmptyArray<A>) => A
Example
import * as S from 'fp-ts/string'
import { intercalate } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(intercalate(S.Semigroup)('-')(['a', 'b', 'c']), 'a-b-c')
Added in v2.11.9
Places an element in between members of a ReadonlyNonEmptyArray
.
Signature
export declare const intersperse: <A>(middle: A) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Example
import { intersperse } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(intersperse(9)([1, 2, 3, 4]), [1, 9, 2, 9, 3, 9, 4])
Added in v2.9.0
Signature
export declare const modifyAt: <A>(
i: number,
f: (a: A) => A
) => (as: ReadonlyNonEmptyArray<A>) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Prepend an element to every member of a ReadonlyNonEmptyArray
.
Signature
export declare const prependAll: <A>(middle: A) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Example
import { prependAll } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(prependAll(9)([1, 2, 3, 4]), [9, 1, 9, 2, 9, 3, 9, 4])
Added in v2.10.0
Signature
export declare const reverse: <A>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Rotate a ReadonlyNonEmptyArray
by n
steps.
Signature
export declare const rotate: (n: number) => <A>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Example
import { rotate } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(rotate(2)([1, 2, 3, 4, 5]), [4, 5, 1, 2, 3])
assert.deepStrictEqual(rotate(-2)([1, 2, 3, 4, 5]), [3, 4, 5, 1, 2])
Added in v2.11.0
Signature
export declare const sort: <B>(O: Ord<B>) => <A extends B>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Sort the elements of a ReadonlyNonEmptyArray
in increasing order, where elements are compared using first ords[0]
, then ords[1]
,
etc...
Signature
export declare const sortBy: <B>(
ords: readonly Ord<B>[]
) => <A extends B>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Example
import * as RNEA from 'fp-ts/ReadonlyNonEmptyArray'
import { contramap } from 'fp-ts/Ord'
import * as S from 'fp-ts/string'
import * as N from 'fp-ts/number'
import { pipe } from 'fp-ts/function'
interface Person {
name: string
age: number
}
const byName = pipe(
S.Ord,
contramap((p: Person) => p.name)
)
const byAge = pipe(
N.Ord,
contramap((p: Person) => p.age)
)
const sortByNameByAge = RNEA.sortBy([byName, byAge])
const persons: RNEA.ReadonlyNonEmptyArray<Person> = [
{ name: 'a', age: 1 },
{ name: 'b', age: 3 },
{ name: 'c', age: 2 },
{ name: 'b', age: 2 },
]
assert.deepStrictEqual(sortByNameByAge(persons), [
{ name: 'a', age: 1 },
{ name: 'b', age: 2 },
{ name: 'b', age: 3 },
{ name: 'c', age: 2 },
])
Added in v2.11.0
Splits a ReadonlyNonEmptyArray
into two pieces, the first piece has max n
elements.
Signature
export declare const splitAt: (
n: number
) => <A>(as: ReadonlyNonEmptyArray<A>) => readonly [ReadonlyNonEmptyArray<A>, readonly A[]]
Added in v2.10.0
Signature
export declare const union: <A>(
E: Eq<A>
) => (second: ReadonlyNonEmptyArray<A>) => (first: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.11.0
Remove duplicates from a ReadonlyNonEmptyArray
, keeping the first occurrence of an element.
Signature
export declare const uniq: <A>(E: Eq<A>) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Example
import { uniq } from 'fp-ts/ReadonlyNonEmptyArray'
import * as N from 'fp-ts/number'
assert.deepStrictEqual(uniq(N.Eq)([1, 2, 1]), [1, 2])
Added in v2.11.0
Signature
export declare const unzip: <A, B>(
abs: ReadonlyNonEmptyArray<readonly [A, B]>
) => readonly [ReadonlyNonEmptyArray<A>, ReadonlyNonEmptyArray<B>]
Added in v2.5.1
Signature
export declare const updateAt: <A>(
i: number,
a: A
) => (as: ReadonlyNonEmptyArray<A>) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Change the head, creating a new ReadonlyNonEmptyArray
.
Signature
export declare const updateHead: <A>(a: A) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.11.0
Change the last element, creating a new ReadonlyNonEmptyArray
.
Signature
export declare const updateLast: <A>(a: A) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.11.0
Signature
export declare function zip<B>(
bs: ReadonlyNonEmptyArray<B>
): <A>(as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<readonly [A, B]>
export declare function zip<A, B>(
as: ReadonlyNonEmptyArray<A>,
bs: ReadonlyNonEmptyArray<B>
): ReadonlyNonEmptyArray<readonly [A, B]>
Added in v2.5.1
Signature
export declare const zipWith: <A, B, C>(
as: ReadonlyNonEmptyArray<A>,
bs: ReadonlyNonEmptyArray<B>,
f: (a: A, b: B) => C
) => ReadonlyNonEmptyArray<C>
Added in v2.5.1
Use filterWithIndex
instead.
Signature
export declare const filterWithIndex: <A>(
predicate: (i: number, a: A) => boolean
) => (as: ReadonlyNonEmptyArray<A>) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Use filter
instead.
Signature
export declare function filter<A, B extends A>(
refinement: Refinement<A, B>
): (as: ReadonlyNonEmptyArray<A>) => Option<ReadonlyNonEmptyArray<B>>
export declare function filter<A>(
predicate: Predicate<A>
): <B extends A>(bs: ReadonlyNonEmptyArray<B>) => Option<ReadonlyNonEmptyArray<B>>
export declare function filter<A>(
predicate: Predicate<A>
): (as: ReadonlyNonEmptyArray<A>) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
This is just sort
followed by group
.
Signature
export declare function groupSort<B>(
O: Ord<B>
): {
<A extends B>(as: ReadonlyNonEmptyArray<A>): ReadonlyNonEmptyArray<ReadonlyNonEmptyArray<A>>
<A extends B>(as: ReadonlyArray<A>): ReadonlyArray<ReadonlyNonEmptyArray<A>>
}
Added in v2.5.0
Use insertAt
instead.
Signature
export declare const insertAt: <A>(i: number, a: A) => (as: readonly A[]) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Use prependAll
instead.
Signature
export declare const prependToAll: <A>(middle: A) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.9.0
Return a ReadonlyNonEmptyArray
from a ReadonlyArray
returning none
if the input is empty.
Signature
export declare const fromReadonlyArray: <A>(as: readonly A[]) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Return a ReadonlyNonEmptyArray
of length n
with element i
initialized with f(i)
.
Note. n
is normalized to a natural number.
Signature
export declare const makeBy: <A>(f: (i: number) => A) => (n: number) => ReadonlyNonEmptyArray<A>
Example
import { makeBy } from 'fp-ts/ReadonlyNonEmptyArray'
import { pipe } from 'fp-ts/function'
const double = (n: number): number => n * 2
assert.deepStrictEqual(pipe(5, makeBy(double)), [0, 2, 4, 6, 8])
Added in v2.11.0
Create a ReadonlyNonEmptyArray
containing a range of integers, including both endpoints.
Signature
export declare const range: (start: number, end: number) => ReadonlyNonEmptyArray<number>
Example
import { range } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(range(1, 5), [1, 2, 3, 4, 5])
Added in v2.11.0
Create a ReadonlyNonEmptyArray
containing a value repeated the specified number of times.
Note. n
is normalized to a natural number.
Signature
export declare const replicate: <A>(a: A) => (n: number) => ReadonlyNonEmptyArray<A>
Example
import { replicate } from 'fp-ts/ReadonlyNonEmptyArray'
import { pipe } from 'fp-ts/function'
assert.deepStrictEqual(pipe(3, replicate('a')), ['a', 'a', 'a'])
Added in v2.11.0
Use prepend
instead.
Signature
export declare function cons<A>(head: A): (tail: ReadonlyArray<A>) => ReadonlyNonEmptyArray<A>
export declare function cons<A>(head: A, tail: ReadonlyArray<A>): ReadonlyNonEmptyArray<A>
Added in v2.5.0
Use append
instead.
Signature
export declare const snoc: <A>(init: readonly A[], end: A) => ReadonlyNonEmptyArray<A>
Added in v2.5.0
Break a ReadonlyArray
into its first element and remaining elements.
Signature
export declare const matchLeft: <A, B>(f: (head: A, tail: readonly A[]) => B) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.11.0
Break a ReadonlyArray
into its initial elements and the last element.
Signature
export declare const matchRight: <A, B>(f: (init: readonly A[], last: A) => B) => (as: ReadonlyNonEmptyArray<A>) => B
Added in v2.11.0
Return the tuple of the init
and the last
.
Signature
export declare const unappend: <A>(as: ReadonlyNonEmptyArray<A>) => readonly [readonly A[], A]
Example
import { unappend } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(unappend([1, 2, 3, 4]), [[1, 2, 3], 4])
Added in v2.9.0
Return the tuple of the head
and the tail
.
Signature
export declare const unprepend: <A>(as: ReadonlyNonEmptyArray<A>) => readonly [A, readonly A[]]
Example
import { unprepend } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(unprepend([1, 2, 3, 4]), [1, [2, 3, 4]])
Added in v2.9.0
Use unprepend
instead.
Signature
export declare const uncons: <A>(as: ReadonlyNonEmptyArray<A>) => readonly [A, readonly A[]]
Added in v2.10.0
Use unappend
instead.
Signature
export declare const unsnoc: <A>(as: ReadonlyNonEmptyArray<A>) => readonly [readonly A[], A]
Added in v2.10.0
Signature
export declare const Alt: Alt1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const Applicative: Applicative1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const Apply: Apply1<'ReadonlyNonEmptyArray'>
Added in v2.10.0
Signature
export declare const Chain: Chain1<'ReadonlyNonEmptyArray'>
Added in v2.10.0
Signature
export declare const Comonad: Comonad1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const Foldable: Foldable1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const FoldableWithIndex: FoldableWithIndex1<'ReadonlyNonEmptyArray', number>
Added in v2.7.0
Signature
export declare const Functor: Functor1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const FunctorWithIndex: FunctorWithIndex1<'ReadonlyNonEmptyArray', number>
Added in v2.7.0
Signature
export declare const Monad: Monad1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const Pointed: Pointed1<'ReadonlyNonEmptyArray'>
Added in v2.10.0
Signature
export declare const Traversable: Traversable1<'ReadonlyNonEmptyArray'>
Added in v2.7.0
Signature
export declare const TraversableWithIndex: TraversableWithIndex1<'ReadonlyNonEmptyArray', number>
Added in v2.7.0
Signature
export declare const URI: 'ReadonlyNonEmptyArray'
Added in v2.5.0
Signature
export type URI = typeof URI
Added in v2.5.0
Signature
export declare const getEq: <A>(E: Eq<A>) => Eq<ReadonlyNonEmptyArray<A>>
Example
import { getEq } from 'fp-ts/ReadonlyNonEmptyArray'
import * as N from 'fp-ts/number'
const E = getEq(N.Eq)
assert.strictEqual(E.equals([1, 2], [1, 2]), true)
assert.strictEqual(E.equals([1, 2], [1, 3]), false)
Added in v2.5.0
Builds a Semigroup
instance for ReadonlyNonEmptyArray
Signature
export declare const getSemigroup: <A = never>() => Se.Semigroup<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Signature
export declare const getShow: <A>(S: Show<A>) => Show<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Use small, specific instances instead.
Signature
export declare const readonlyNonEmptyArray: Monad1<'ReadonlyNonEmptyArray'> &
Comonad1<'ReadonlyNonEmptyArray'> &
TraversableWithIndex1<'ReadonlyNonEmptyArray', number> &
FunctorWithIndex1<'ReadonlyNonEmptyArray', number> &
FoldableWithIndex1<'ReadonlyNonEmptyArray', number> &
Alt1<'ReadonlyNonEmptyArray'>
Added in v2.5.0
Signature
export declare const fromArray: <A>(as: A[]) => Option<ReadonlyNonEmptyArray<A>>
Added in v2.5.0
Signature
export type ReadonlyNonEmptyArray<A> = ReadonlyArray<A> & {
readonly 0: A
}
Added in v2.5.0
Signature
export declare const Do: ReadonlyNonEmptyArray<{}>
Added in v2.9.0
Signature
export declare const apS: <N, A, B>(
name: Exclude<N, keyof A>,
fb: ReadonlyNonEmptyArray<B>
) => (
fa: ReadonlyNonEmptyArray<A>
) => ReadonlyNonEmptyArray<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
Added in v2.8.0
Signature
export declare const bind: <N, A, B>(
name: Exclude<N, keyof A>,
f: (a: A) => ReadonlyNonEmptyArray<B>
) => (
ma: ReadonlyNonEmptyArray<A>
) => ReadonlyNonEmptyArray<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
Added in v2.8.0
Signature
export declare const bindTo: <N>(
name: N
) => <A>(fa: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<{ readonly [K in N]: A }>
Added in v2.8.0
Signature
export declare const concatAll: <A>(S: Se.Semigroup<A>) => (as: ReadonlyNonEmptyArray<A>) => A
Added in v2.10.0
Signature
export declare const head: <A>(as: ReadonlyNonEmptyArray<A>) => A
Added in v2.5.0
Get all but the last element of a non empty array, creating a new array.
Signature
export declare const init: <A>(as: ReadonlyNonEmptyArray<A>) => readonly A[]
Example
import { init } from 'fp-ts/ReadonlyNonEmptyArray'
assert.deepStrictEqual(init([1, 2, 3]), [1, 2])
assert.deepStrictEqual(init([1]), [])
Added in v2.5.0
Signature
export declare const last: <A>(as: ReadonlyNonEmptyArray<A>) => A
Added in v2.5.0
Signature
export declare const max: <A>(O: Ord<A>) => (as: ReadonlyNonEmptyArray<A>) => A
Added in v2.5.0
Signature
export declare const min: <A>(O: Ord<A>) => (as: ReadonlyNonEmptyArray<A>) => A
Added in v2.5.0
Apply a function to the head, creating a new ReadonlyNonEmptyArray
.
Signature
export declare const modifyHead: <A>(f: Endomorphism<A>) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.11.0
Apply a function to the last element, creating a new ReadonlyNonEmptyArray
.
Signature
export declare const modifyLast: <A>(f: Endomorphism<A>) => (as: ReadonlyNonEmptyArray<A>) => ReadonlyNonEmptyArray<A>
Added in v2.11.0
Signature
export declare const tail: <A>(as: ReadonlyNonEmptyArray<A>) => readonly A[]
Added in v2.5.0
Use concatAll
instead.
Signature
export declare const fold: <A>(S: Se.Semigroup<A>) => (as: ReadonlyNonEmptyArray<A>) => A
Added in v2.5.0