zm-0.3.2: Language independent, reproducible, absolute types
ZM.Type.List
Synopsis
data List a #
A list
Constructors
Instances
Methods
fmap :: (a -> b) -> List a -> List b #
(<$) :: a -> List b -> List a #
fold :: Monoid m => List m -> m #
foldMap :: Monoid m => (a -> m) -> List a -> m #
foldr :: (a -> b -> b) -> b -> List a -> b #
foldr' :: (a -> b -> b) -> b -> List a -> b #
foldl :: (b -> a -> b) -> b -> List a -> b #
foldl' :: (b -> a -> b) -> b -> List a -> b #
foldr1 :: (a -> a -> a) -> List a -> a #
foldl1 :: (a -> a -> a) -> List a -> a #
toList :: List a -> [a] #
null :: List a -> Bool #
length :: List a -> Int #
elem :: Eq a => a -> List a -> Bool #
maximum :: Ord a => List a -> a #
minimum :: Ord a => List a -> a #
sum :: Num a => List a -> a #
product :: Num a => List a -> a #
traverse :: Applicative f => (a -> f b) -> List a -> f (List b) #
sequenceA :: Applicative f => List (f a) -> f (List a) #
mapM :: Monad m => (a -> m b) -> List a -> m (List b) #
sequence :: Monad m => List (m a) -> m (List a) #
(==) :: List a -> List a -> Bool #
(/=) :: List a -> List a -> Bool #
compare :: List a -> List a -> Ordering #
(<) :: List a -> List a -> Bool #
(<=) :: List a -> List a -> Bool #
(>) :: List a -> List a -> Bool #
(>=) :: List a -> List a -> Bool #
max :: List a -> List a -> List a #
min :: List a -> List a -> List a #
showsPrec :: Int -> List a -> ShowS #
show :: List a -> String #
showList :: [List a] -> ShowS #
Associated Types
type Rep (List a) :: * -> * #
from :: List a -> Rep (List a) x #
to :: Rep (List a) x -> List a #
rnf :: List a -> () #
encode :: List a -> Encoding #
decode :: Get (List a) #
size :: List a -> NumBits -> NumBits #
envType :: Proxy * (List a) -> State Env HType #