/purescript-nonempty-array

Guaranteed non empty arrays for Purescript

Primary LanguagePureScriptMIT LicenseMIT

Module Documentation

Module Data.Array.NonEmpty

NonEmpty

data NonEmpty a
  = NonEmpty a [a]

showNonEmpty

instance showNonEmpty :: (Show a) => Show (NonEmpty a)

eqNonEmpty

instance eqNonEmpty :: (Eq a) => Eq (NonEmpty a)

functorNonEmpty

instance functorNonEmpty :: Functor NonEmpty

applyNonEmpty

instance applyNonEmpty :: Apply NonEmpty

applicativeNonEmpty

instance applicativeNonEmpty :: Applicative NonEmpty

bindNonEmpty

instance bindNonEmpty :: Bind NonEmpty

monadNonEmpty

instance monadNonEmpty :: Monad NonEmpty

semigroupNonEmpty

instance semigroupNonEmpty :: Semigroup (NonEmpty a)

foldableNonEmpty

instance foldableNonEmpty :: Foldable NonEmpty

traversableNonEmpty

instance traversableNonEmpty :: T.Traversable NonEmpty

(:|)

(:|) :: forall a. a -> [a] -> NonEmpty a

toArray

toArray :: forall a. NonEmpty a -> [a]

length

length :: forall a. NonEmpty a -> Number

head

head :: forall a. NonEmpty a -> a

tail

tail :: forall a. NonEmpty a -> [a]

last

last :: forall a. NonEmpty a -> a

push

push :: forall a. a -> NonEmpty a -> NonEmpty a

pop

pop :: forall a. NonEmpty a -> [a]

(<|)

(<|) :: forall a. a -> NonEmpty a -> NonEmpty a

take

take :: forall a. Number -> NonEmpty a -> [a]

drop

drop :: forall a. Number -> NonEmpty a -> [a]

map

map :: forall a b. (a -> b) -> NonEmpty a -> NonEmpty b

filter

filter :: forall a. (a -> Boolean) -> NonEmpty a -> [a]

singleton

singleton :: forall a. a -> NonEmpty a

nub

nub :: forall a. (Eq a) => NonEmpty a -> NonEmpty a

nubBy

nubBy :: forall a. (a -> a -> Boolean) -> NonEmpty a -> NonEmpty a

concatMap

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

(!!)

(!!) :: forall a. NonEmpty a -> Number -> Maybe a

append

append :: forall a. NonEmpty a -> NonEmpty a -> NonEmpty a

reverse

reverse :: forall a. NonEmpty a -> NonEmpty a

reducer

reducer :: forall a. (a -> a -> a) -> NonEmpty a -> a

reducel

reducel :: forall a. (a -> a -> a) -> NonEmpty a -> a

sconcat

sconcat :: forall a. (Semigroup a) => NonEmpty a -> a

Module Data.Array.NonEmpty.Unsafe

fromArray

fromArray :: forall a. [a] -> NonEmpty a