| Safe Haskell | Safe-Infered |
|---|
Penny.Lincoln.Serial
- data Serial
- forward :: Serial -> Int
- backward :: Serial -> Int
- serials :: [a] -> [Serial]
- serialItems :: (Serial -> a -> b) -> [a] -> [b]
- serialItemsM :: Monad m => (Serial -> a -> m b) -> [a] -> m [b]
- serialChildrenInFamily :: (Serial -> cOld -> cNew) -> Family p cOld -> State (NextFwd, NextBack) (Family p cNew)
- serialEithers :: Monad m => (Serial -> a -> m c) -> (Serial -> b -> m d) -> [Either a b] -> m [Either c d]
- data NextFwd
- data NextBack
- initNexts :: Int -> (NextFwd, NextBack)
Documentation
A type for serial numbers, used widely for different purposes throughout Penny.
serials :: [a] -> [Serial]Source
Applied to a list of items, return a list of Serials usable to identify the list of items.
serialItems :: (Serial -> a -> b) -> [a] -> [b]Source
Label a list of items with serials.
serialItemsM :: Monad m => (Serial -> a -> m b) -> [a] -> m [b]Source
Label a list of items with serials, in a monad.
serialChildrenInFamily :: (Serial -> cOld -> cNew) -> Family p cOld -> State (NextFwd, NextBack) (Family p cNew)Source