Data.Empty

Documentation

data T a

Constructors

Cons

Instances

Functor T

Methods

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

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

Foldable T

Methods

fold :: Monoid m => T m -> 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

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)

NFData T

Methods

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

Show T

Methods

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

Reverse T

Methods

reverse :: T a -> T a

SortBy T

Methods

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

Sort T

Methods

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

Iterate T

Methods

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

Repeat T

Methods

repeat :: a -> T a

Zip T

Methods

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

View T

ViewR T

Methods

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

ViewL T

Methods

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

Empty T

Methods

empty :: T a

InsertBy T

Methods

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

Insert T

Methods

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

Choose T

Methods

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

Eq (T a)

Methods

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

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

Ord (T a)

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

Show (T a)

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

Arbitrary (T a)

Methods

arbitrary :: Gen (T a)

shrink :: T a -> [T a]

NFData (T a)

Methods

rnf :: T a -> ()