UHC.Util.RLList

Contents

• Run length list
• Predicates, observations
• Misc

Synopsis

• newtype RLList a = RLList {
  • unRLList :: [(a, Int)]
  }
• concat :: Eq a => RLList a -> RLList a -> RLList a
• singleton :: a -> RLList a
• empty :: RLList a
• toList :: RLList a -> [a]
• fromList :: Eq a => [a] -> RLList a
• length :: RLList a -> Int
• null :: RLList a -> Bool
• isPrefixOf :: Eq a => RLList a -> RLList a -> Bool
• inits :: Eq a => RLList a -> [RLList a]
• init :: Eq a => RLList a -> RLList a
• initLast :: Eq a => RLList a -> Maybe (RLList a, a)
• headTail :: RLList a -> Maybe (a, RLList a)

Run length list

Predicates, observations

Misc