Data.Array.NonEmpty

fromArray :: forall a. Array a -> Maybe (NonEmptyArray a)

fromNonEmpty :: forall a. NonEmpty Array a -> NonEmptyArray a

toArray :: forall a. NonEmptyArray a -> Array a

toNonEmpty :: forall a. NonEmptyArray a -> NonEmpty Array a

fromFoldable :: forall f a. Foldable f => f a -> Maybe (NonEmptyArray a)

fromFoldable1 :: forall f a. Foldable1 f => f a -> NonEmptyArray a

toUnfoldable :: forall f a. Unfoldable f => NonEmptyArray a -> f a

toUnfoldable1 :: forall f a. Unfoldable1 f => NonEmptyArray a -> f a

singleton :: forall a. a -> NonEmptyArray a

Operator alias for Data.Array.NonEmpty.range (non-associative / precedence 8)

range :: Int -> Int -> NonEmptyArray Int

replicate :: forall a. Int -> a -> NonEmptyArray a

Replicate an item at least once

some :: forall f a. Alternative f => Lazy (f (Array a)) => f a -> f (NonEmptyArray a)

length :: forall a. NonEmptyArray a -> Int

Operator alias for Data.Array.NonEmpty.cons (right-associative / precedence 6)

cons :: forall a. a -> NonEmptyArray a -> NonEmptyArray a

cons' :: forall a. a -> Array a -> NonEmptyArray a

snoc :: forall a. NonEmptyArray a -> a -> NonEmptyArray a

snoc' :: forall a. Array a -> a -> NonEmptyArray a

appendArray :: forall a. NonEmptyArray a -> Array a -> NonEmptyArray a

insert :: forall a. Ord a => a -> NonEmptyArray a -> NonEmptyArray a

insertBy :: forall a. (a -> a -> Ordering) -> a -> NonEmptyArray a -> NonEmptyArray a

head :: forall a. NonEmptyArray a -> a

last :: forall a. NonEmptyArray a -> a

tail :: forall a. NonEmptyArray a -> Array a

init :: forall a. NonEmptyArray a -> Array a

uncons :: forall a. NonEmptyArray a -> { head :: a, tail :: Array a }

unsnoc :: forall a. NonEmptyArray a -> { init :: Array a, last :: a }

Operator alias for Data.Array.NonEmpty.index (left-associative / precedence 8)

index :: forall a. NonEmptyArray a -> Int -> Maybe a

elemIndex :: forall a. Eq a => a -> NonEmptyArray a -> Maybe Int

elemLastIndex :: forall a. Eq a => a -> NonEmptyArray a -> Maybe Int

findIndex :: forall a. (a -> Boolean) -> NonEmptyArray a -> Maybe Int

findLastIndex :: forall a. (a -> Boolean) -> NonEmptyArray a -> Maybe Int

insertAt :: forall a. Int -> a -> NonEmptyArray a -> Maybe (NonEmptyArray a)

deleteAt :: forall a. Int -> NonEmptyArray a -> Maybe (Array a)

updateAt :: forall a. Int -> a -> NonEmptyArray a -> Maybe (NonEmptyArray a)

updateAtIndices :: forall t a. Foldable t => t (Tuple Int a) -> NonEmptyArray a -> NonEmptyArray a

modifyAt :: forall a. Int -> (a -> a) -> NonEmptyArray a -> Maybe (NonEmptyArray a)

modifyAtIndices :: forall t a. Foldable t => t Int -> (a -> a) -> NonEmptyArray a -> NonEmptyArray a

alterAt :: forall a. Int -> (a -> Maybe a) -> NonEmptyArray a -> Maybe (Array a)

reverse :: forall a. NonEmptyArray a -> NonEmptyArray a

concat :: forall a. NonEmptyArray (NonEmptyArray a) -> NonEmptyArray a

concatMap :: forall a b. (a -> NonEmptyArray b) -> NonEmptyArray a -> NonEmptyArray b

filter :: forall a. (a -> Boolean) -> NonEmptyArray a -> Array a

partition :: forall a. (a -> Boolean) -> NonEmptyArray a -> { no :: Array a, yes :: Array a }

filterA :: forall a f. Applicative f => (a -> f Boolean) -> NonEmptyArray a -> f (Array a)

mapMaybe :: forall a b. (a -> Maybe b) -> NonEmptyArray a -> Array b

catMaybes :: forall a. NonEmptyArray (Maybe a) -> Array a

sort :: forall a. Ord a => NonEmptyArray a -> NonEmptyArray a

sortBy :: forall a. (a -> a -> Ordering) -> NonEmptyArray a -> NonEmptyArray a

sortWith :: forall a b. Ord b => (a -> b) -> NonEmptyArray a -> NonEmptyArray a

slice :: forall a. Int -> Int -> NonEmptyArray a -> Array a

take :: forall a. Int -> NonEmptyArray a -> Array a

takeEnd :: forall a. Int -> NonEmptyArray a -> Array a

takeWhile :: forall a. (a -> Boolean) -> NonEmptyArray a -> Array a

drop :: forall a. Int -> NonEmptyArray a -> Array a

dropEnd :: forall a. Int -> NonEmptyArray a -> Array a

dropWhile :: forall a. (a -> Boolean) -> NonEmptyArray a -> Array a

span :: forall a. (a -> Boolean) -> NonEmptyArray a -> { init :: Array a, rest :: Array a }

nub :: forall a. Ord a => NonEmptyArray a -> NonEmptyArray a

nubBy :: forall a. (a -> a -> Ordering) -> NonEmptyArray a -> NonEmptyArray a

nubEq :: forall a. Eq a => NonEmptyArray a -> NonEmptyArray a

nubByEq :: forall a. (a -> a -> Boolean) -> NonEmptyArray a -> NonEmptyArray a

union :: forall a. Eq a => NonEmptyArray a -> NonEmptyArray a -> NonEmptyArray a

union' :: forall a. Eq a => NonEmptyArray a -> Array a -> NonEmptyArray a

unionBy :: forall a. (a -> a -> Boolean) -> NonEmptyArray a -> NonEmptyArray a -> NonEmptyArray a

unionBy' :: forall a. (a -> a -> Boolean) -> NonEmptyArray a -> Array a -> NonEmptyArray a

delete :: forall a. Eq a => a -> NonEmptyArray a -> Array a

deleteBy :: forall a. (a -> a -> Boolean) -> a -> NonEmptyArray a -> Array a

Operator alias for Data.Array.NonEmpty.difference (non-associative / precedence 5)

difference :: forall a. Eq a => NonEmptyArray a -> NonEmptyArray a -> Array a

difference' :: forall a. Eq a => NonEmptyArray a -> Array a -> Array a

intersect :: forall a. Eq a => NonEmptyArray a -> NonEmptyArray a -> Array a

intersect' :: forall a. Eq a => NonEmptyArray a -> Array a -> Array a

intersectBy :: forall a. (a -> a -> Boolean) -> NonEmptyArray a -> NonEmptyArray a -> Array a

intersectBy' :: forall a. (a -> a -> Boolean) -> NonEmptyArray a -> Array a -> Array a

zipWith :: forall a b c. (a -> b -> c) -> NonEmptyArray a -> NonEmptyArray b -> NonEmptyArray c

zipWithA :: forall m a b c. Applicative m => (a -> b -> m c) -> NonEmptyArray a -> NonEmptyArray b -> m (NonEmptyArray c)

zip :: forall a b. NonEmptyArray a -> NonEmptyArray b -> NonEmptyArray (Tuple a b)

unzip :: forall a b. NonEmptyArray (Tuple a b) -> Tuple (NonEmptyArray a) (NonEmptyArray b)

foldM :: forall m a b. Monad m => (a -> b -> m a) -> a -> NonEmptyArray b -> m a

foldRecM :: forall m a b. MonadRec m => (a -> b -> m a) -> a -> NonEmptyArray b -> m a

unsafeIndex :: forall a. Partial => NonEmptyArray a -> Int -> a

newtype NonEmptyArray a

Instances

• (Show a) => Show (NonEmptyArray a)
• (Eq a) => Eq (NonEmptyArray a)
• Eq1 NonEmptyArray
• (Ord a) => Ord (NonEmptyArray a)
• Ord1 NonEmptyArray
• Semigroup (NonEmptyArray a)
• Functor NonEmptyArray
• FunctorWithIndex Int NonEmptyArray
• Foldable NonEmptyArray
• FoldableWithIndex Int NonEmptyArray
• Foldable1 NonEmptyArray
• Unfoldable1 NonEmptyArray
• Traversable NonEmptyArray
• TraversableWithIndex Int NonEmptyArray
• Traversable1 NonEmptyArray
• Apply NonEmptyArray
• Applicative NonEmptyArray
• Bind NonEmptyArray
• Monad NonEmptyArray
• Alt NonEmptyArray