Data.NeverEmptyList
- data NeverEmptyList a = NEL a [a]
- nel2List :: NeverEmptyList a -> [a]
- list2nel :: [a] -> Maybe (NeverEmptyList a)
- nelSingleton :: a -> NeverEmptyList a
Documentation
data NeverEmptyList a Source
Constructors
| NEL a [a] |
Instances
| HasCardT NeverEmptyList | |
| HasCardConstrT NeverEmptyList | |
| HasCardUCT_T [] NeverEmptyList | |
| HasCardUCT_T Maybe NeverEmptyList | |
| HasCardUCT_T Identity NeverEmptyList | |
| HasCardUCT_T NeverEmptyList [] | |
| HasCardUCT_T NeverEmptyList Maybe | |
| HasCardUCT_T NeverEmptyList Identity | |
| HasCard (NeverEmptyList a) | |
| HasCardConstr (NeverEmptyList a) | |
| HasCardUCT [a] (NeverEmptyList a) | |
| HasCardUCT (Maybe a) (NeverEmptyList a) | |
| HasCardUCT (Identity a) (NeverEmptyList a) | |
| HasCardUCT (NeverEmptyList a) [a] | |
| HasCardUCT (NeverEmptyList a) (Maybe a) | |
| HasCardUCT (NeverEmptyList a) (Identity a) | |
| Ord k => HasCardUCT (NeverEmptyList (k, e)) (Map k e) | |
| HasCardUCT (Map k e) (NeverEmptyList (k, e)) |
nel2List :: NeverEmptyList a -> [a]Source
neverEmptyList2List (NEL h t) = h:t
list2nel :: [a] -> Maybe (NeverEmptyList a)Source
list2NeverEmptyList [] = Nothing
list2NeverEmptyList (h:t) = Just (NEL h t)
nelSingleton :: a -> NeverEmptyList aSource