Termlib.Utils

Contents

• Parsing and Printing
• Memoisation
• List Utility Functions
• Monad Utilities
• Parsec Utility Functions
• Misc

Synopsis

• class PrettyPrintable a where
  • pprint :: a -> Doc
• columns :: Int -> [[Doc]] -> Doc
• columns' :: [(Int, [Doc])] -> Doc
• data PPTree a = PPTree {
  • pptRoots :: [a]
  • pptSuc :: a -> [a]
  }
• printTree :: Int -> ([a] -> a -> Doc) -> ([a] -> a -> Doc) -> PPTree a -> Doc
• docLength :: Doc -> Int
• docHeight :: Doc -> Int
• padToLength :: Int -> Doc -> Doc
• padToHeight :: Int -> Doc -> Doc
• class Parsable a where
  • parse :: Stream s m Char => ParsecT s u m a
• parseFromString :: Parsable a => String -> Either ParseError a
• type MemoAction k a = State (Map k a)
• memo :: Ord k => k -> MemoAction k a a -> MemoAction k a a
• runMemoAction :: Ord k => MemoAction k a b -> b
• liftMemo :: Ord k => (k -> a) -> k -> MemoAction k a a
• listProduct :: [[a]] -> [[a]]
• snub :: Ord a => [a] -> [a]
• newtype MaybeT m a = MaybeT {
  • runMaybeT :: m (Maybe a)
  }
• eitherM :: Monad m => (a -> m c) -> (b -> m c) -> m (Either a b) -> m c
• ifM :: Monad m => m Bool -> m a -> m a -> m a
• ($++$) :: Doc -> Doc -> Doc
• paragraph :: String -> Doc
• underline :: Doc -> Doc
• underlineWith :: String -> Doc -> Doc
• enumerated :: [Doc] -> [Doc] -> Doc
• pprintInt :: Int -> Doc
• pprintChar :: Char -> Doc
• block :: String -> Doc -> Doc
• qtext :: String -> Doc
• class Enumerateable a where
  • enum :: a -> Int
  • invEnum :: Int -> a

Parsing and Printing

Memoisation

List Utility Functions

Monad Utilities

Parsec Utility Functions

Misc