- data NeverEmptyList a = NEL a [a]
- nel2List :: NeverEmptyList a -> [a]
- list2nel :: [a] -> Maybe (NeverEmptyList a)
- nelSingleton :: a -> NeverEmptyList a
Documentation
data NeverEmptyList a Source
NEL a [a] |
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