Safe Haskell	Safe
Language	Haskell98

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 -> () #