Burrito.Type.NonEmpty

Warning: This module is not considered part of Burrito's public API. As such, it may change at any time. Use it with caution!.

Documentation

data NonEmpty a

This simple type is used as a replacement for Data.List.NonEmpty.NonEmpty so that we can provide our own instances that are consistent across versions of GHC.

Constructors

NonEmpty

Fields

• first :: a
• rest :: [a]

Instances

Eq a => Eq (NonEmpty a)

Defined in Burrito.Type.NonEmpty

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool

(/=) :: NonEmpty a -> NonEmpty a -> Bool

Show a => Show (NonEmpty a)

Defined in Burrito.Type.NonEmpty

Methods

showsPrec :: Int -> NonEmpty a -> ShowS

show :: NonEmpty a -> String

showList :: [NonEmpty a] -> ShowS

Lift a => Lift (NonEmpty a)

Defined in Burrito.Type.NonEmpty

Methods

lift :: NonEmpty a -> Q Exp

fromList :: [a] -> Maybe (NonEmpty a)

Attempts to convert a regular list into a non-empty list.

singleton :: a -> NonEmpty a

Creates a non-empty list with a single element.

toList :: NonEmpty a -> [a]

Converts a non-empty list back into a regular list.