Data.Empty

Documentation

data T a

Constructors

Cons

Instances

Foldable T

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

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

Defined in Data.Empty

Methods

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

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

Arbitrary T

Defined in Data.Empty

Methods

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

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

Empty T

Defined in Data.Empty

Methods

empty :: T a

Gen T

Defined in Data.Empty

Methods

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

Iterate T

Defined in Data.Empty

Methods

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

Ix T

Defined in Data.Empty

Methods

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

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

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

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

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

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

NFData T

Defined in Data.Empty

Methods

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

Repeat T

Defined in Data.Empty

Methods

repeat :: a -> T a

Reverse T

Defined in Data.Empty

Methods

reverse :: T a -> T a

Show T

Defined in Data.Empty

Methods

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

Sort T

Defined in Data.Empty

Methods

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

SortBy T

Defined in Data.Empty

Methods

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

View T

Defined in Data.Empty

ViewL T

Defined in Data.Empty

Methods

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

ViewR T

Defined in Data.Empty

Methods

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

Zip T

Defined in Data.Empty

Methods

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

Choose T

Defined in Data.NonEmpty.Mixed

Methods

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

Insert T

Defined in Data.NonEmptyPrivate

Methods

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

InsertBy T

Defined in Data.NonEmptyPrivate

Methods

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

Arbitrary (T a)

Defined in Data.Empty

Methods

arbitrary :: Gen (T a)

shrink :: T a -> [T a]

Ix i => Ix (T i)

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)

Defined in Data.Empty

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

NFData (T a)

Defined in Data.Empty

Methods

rnf :: T a -> ()

Eq (T a)

Defined in Data.Empty

Methods

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

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

Ord (T a)

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