non-empty-0.3.5: List-like structures with static restrictions on the number of elements
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Empty

Documentation

data T a Source #

Constructors

Cons 

Instances

Instances details
Foldable T Source # 
Instance details

Defined in Data.Empty

Methods

fold :: Monoid m => T m -> m #

foldMap :: Monoid m => (a -> m) -> T a -> m #

foldMap' :: Monoid m => (a -> m) -> T a -> m #

foldr :: (a -> b -> b) -> b -> T a -> b #

foldr' :: (a -> b -> b) -> b -> T a -> b #

foldl :: (b -> a -> b) -> b -> T a -> b #

foldl' :: (b -> a -> b) -> b -> T a -> b #

foldr1 :: (a -> a -> a) -> T a -> a #

foldl1 :: (a -> a -> a) -> T a -> a #

toList :: T a -> [a] #

null :: T a -> Bool #

length :: T a -> Int #

elem :: Eq a => a -> T a -> Bool #

maximum :: Ord a => T a -> a #

minimum :: Ord a => T a -> a #

sum :: Num a => T a -> a #

product :: Num a => T a -> a #

Traversable T Source # 
Instance details

Defined in Data.Empty

Methods

traverse :: Applicative f => (a -> f b) -> T a -> f (T b) #

sequenceA :: Applicative f => T (f a) -> f (T a) #

mapM :: Monad m => (a -> m b) -> T a -> m (T b) #

sequence :: Monad m => T (m a) -> m (T a) #

Functor T Source # 
Instance details

Defined in Data.Empty

Methods

fmap :: (a -> b) -> T a -> T b #

(<$) :: a -> T b -> T a #

Arbitrary T Source # 
Instance details

Defined in Data.Empty

Methods

arbitrary :: Arbitrary a => Gen (T a) Source #

shrink :: Arbitrary a => T a -> [T a] Source #

Empty T Source # 
Instance details

Defined in Data.Empty

Methods

empty :: T a Source #

Gen T Source # 
Instance details

Defined in Data.Empty

Methods

genOf :: Gen a -> Gen (T a) Source #

Iterate T Source # 
Instance details

Defined in Data.Empty

Methods

iterate :: (a -> a) -> a -> T a Source #

Ix T Source # 
Instance details

Defined in Data.Empty

Methods

range :: Ix i => (T i, T i) -> [T i] Source #

index :: Ix i => (T i, T i) -> T i -> Int Source #

inRange :: Ix i => (T i, T i) -> T i -> Bool Source #

rangeSize :: Ix i => (T i, T i) -> Int Source #

rangeSizeIndex :: Ix i => (T i, T i) -> (Int, T i -> Int) Source #

indexHorner :: Ix i => (T i, T i) -> Int -> T i -> Int Source #

NFData T Source # 
Instance details

Defined in Data.Empty

Methods

rnf :: NFData a => T a -> () Source #

Repeat T Source # 
Instance details

Defined in Data.Empty

Methods

repeat :: a -> T a Source #

Reverse T Source # 
Instance details

Defined in Data.Empty

Methods

reverse :: T a -> T a Source #

Show T Source # 
Instance details

Defined in Data.Empty

Methods

showsPrec :: Show a => Int -> T a -> ShowS Source #

Sort T Source # 
Instance details

Defined in Data.Empty

Methods

sort :: Ord a => T a -> T a Source #

SortBy T Source # 
Instance details

Defined in Data.Empty

Methods

sortBy :: (a -> a -> Ordering) -> T a -> T a Source #

View T Source # 
Instance details

Defined in Data.Empty

ViewL T Source # 
Instance details

Defined in Data.Empty

Methods

viewL :: T a -> Maybe (a, T a) Source #

ViewR T Source # 
Instance details

Defined in Data.Empty

Methods

viewR :: T a -> Maybe (T a, a) Source #

Zip T Source # 
Instance details

Defined in Data.Empty

Methods

zipWith :: (a -> b -> c) -> T a -> T b -> T c Source #

Choose T Source # 
Instance details

Defined in Data.NonEmpty.Mixed

Methods

choose :: [a] -> [T a] Source #

Insert T Source # 
Instance details

Defined in Data.NonEmptyPrivate

Methods

insert :: Ord a => a -> T a -> T0 T a Source #

InsertBy T Source # 
Instance details

Defined in Data.NonEmptyPrivate

Methods

insertBy :: (a -> a -> Ordering) -> a -> T a -> T0 T a Source #

Arbitrary (T a) Source # 
Instance details

Defined in Data.Empty

Methods

arbitrary :: Gen (T a) #

shrink :: T a -> [T a] #

Ix i => Ix (T i) Source # 
Instance details

Defined in Data.Empty

Methods

range :: (T i, T i) -> [T i] #

index :: (T i, T i) -> T i -> Int #

unsafeIndex :: (T i, T i) -> T i -> Int #

inRange :: (T i, T i) -> T i -> Bool #

rangeSize :: (T i, T i) -> Int #

unsafeRangeSize :: (T i, T i) -> Int #

Show (T a) Source # 
Instance details

Defined in Data.Empty

Methods

showsPrec :: Int -> T a -> ShowS #

show :: T a -> String #

showList :: [T a] -> ShowS #

NFData (T a) Source # 
Instance details

Defined in Data.Empty

Methods

rnf :: T a -> () #

Eq (T a) Source # 
Instance details

Defined in Data.Empty

Methods

(==) :: T a -> T a -> Bool #

(/=) :: T a -> T a -> Bool #

Ord (T a) Source # 
Instance details

Defined in Data.Empty

Methods

compare :: T a -> T a -> Ordering #

(<) :: T a -> T a -> Bool #

(<=) :: T a -> T a -> Bool #

(>) :: T a -> T a -> Bool #

(>=) :: T a -> T a -> Bool #

max :: T a -> T a -> T a #

min :: T a -> T a -> T a #

switch :: b -> T a -> b Source #