Processing

Documentation

getComment :: Comment -> Text

type CombD = ([[Attr]], Combinator)

parseComments :: [Comment] -> [[Attr]]

hasClassAttr :: [Attr] -> Bool

classDesc :: [[Attr]] -> Maybe Text

constructDoc :: [[Attr]] -> Doc

tyConName :: Type -> Text

combType :: Combinator -> Text

splitDecls :: [CombD] -> ([CombD], [CombD])

formADT :: [CombD] -> ADT

oneADT :: [CombD] -> (ADT, [CombD])

filterAnnDecl :: [AnnDecl] -> [CombD]

declBlockToADT :: [CombD] -> [ADT]

declBlockToFun :: [CombD] -> [Function]

convProgram :: Program -> ([ADT], [Function])