data NonEmpty a
  = NonEmpty a (Array a)

instance showNonEmpty :: (Show a) => Show (NonEmpty a)
instance eqNonEmpty :: (Eq a) => Eq (NonEmpty a)
instance functorNonEmpty :: Functor NonEmpty
instance applyNonEmpty :: Apply NonEmpty
instance applicativeNonEmpty :: Applicative NonEmpty
instance bindNonEmpty :: Bind NonEmpty
instance monadNonEmpty :: Monad NonEmpty
instance semigroupNonEmpty :: Semigroup (NonEmpty a)
instance foldableNonEmpty :: Foldable NonEmpty
instance traversableNonEmpty :: Traversable NonEmpty

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

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

length :: forall a. NonEmpty a -> Int

head :: forall a. NonEmpty a -> a

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

last :: forall a. NonEmpty a -> a

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

pop :: forall a. NonEmpty a -> Array a

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

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

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

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

singleton :: forall a. a -> NonEmpty a

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

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

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

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

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

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

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

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