Text.Digestive.Form.List

Functionality related to index storage and the DefaultList type.

Documentation

indicesRef :: Text

Key used to store list indices

parseIndices :: Text -> [Int]

Parse a string of comma-delimited integers to a list. Unparseable substrings are left out of the result.

unparseIndices :: [Int] -> Text

Serialize a list of integers as a comma-delimited Text

data DefaultList a

A list which, when indexed on non-existant positions, returns a default value.

Constructors

DefaultList a [a]

Instances

Functor DefaultList

Methods

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

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

Foldable DefaultList

Methods

fold :: Monoid m => DefaultList m -> m

foldMap :: Monoid m => (a -> m) -> DefaultList a -> m

foldr :: (a -> b -> b) -> b -> DefaultList a -> b

foldr' :: (a -> b -> b) -> b -> DefaultList a -> b

foldl :: (b -> a -> b) -> b -> DefaultList a -> b

foldl' :: (b -> a -> b) -> b -> DefaultList a -> b

foldr1 :: (a -> a -> a) -> DefaultList a -> a

foldl1 :: (a -> a -> a) -> DefaultList a -> a

toList :: DefaultList a -> [a]

null :: DefaultList a -> Bool

length :: DefaultList a -> Int

elem :: Eq a => a -> DefaultList a -> Bool

maximum :: Ord a => DefaultList a -> a

minimum :: Ord a => DefaultList a -> a

sum :: Num a => DefaultList a -> a

product :: Num a => DefaultList a -> a

Traversable DefaultList

Methods

traverse :: Applicative f => (a -> f b) -> DefaultList a -> f (DefaultList b)

sequenceA :: Applicative f => DefaultList (f a) -> f (DefaultList a)

mapM :: Monad m => (a -> m b) -> DefaultList a -> m (DefaultList b)

sequence :: Monad m => DefaultList (m a) -> m (DefaultList a)

defaultListIndex :: DefaultList a -> Int -> a

Safe indexing of a DefaultList - returns the default value if the given index is out of bounds.