| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Embedder.Atmo.DependencyGraph
Synopsis
- data Def
- data Declaration
- mkRDecl :: [Defn] -> Declaration
- def2Decl :: Def -> Maybe Declaration
- fvt :: Ty -> [Text]
- getNodeDefn :: Defn -> (Def, Text, [Text])
- tycons :: Exp -> [Text]
- pbTycons :: PatBind -> [Text]
- fve :: Exp -> [Text]
- fvePb :: PatBind -> [Text]
- fvePat :: Pat -> [Text]
- datacons :: Exp -> [Text]
- dataconsPb :: PatBind -> [Text]
- dataconsPat :: Pat -> [Text]
- getNodeTSyns :: TypeSynonym -> (Def, Text, [Text])
- getNodeData :: DataDefn -> [(Def, Text, [Text])]
- getNodeRec :: RecDefn -> (Def, Text, [Text])
- unqualify :: Text -> Text
- unqualifyNode :: (Def, Text, [Text]) -> (Def, Text, [Text])
- sortFreeProgram :: FreeProgram -> ([Declaration], Graph, [Tree Vertex])
Documentation
data Declaration Source #
mkRDecl :: [Defn] -> Declaration Source #
dataconsPb :: PatBind -> [Text] Source #
dataconsPat :: Pat -> [Text] Source #
getNodeTSyns :: TypeSynonym -> (Def, Text, [Text]) Source #
unqualifyNode :: (Def, Text, [Text]) -> (Def, Text, [Text]) Source #
Function to transform a node to use unqualified names in the second and third components
sortFreeProgram :: FreeProgram -> ([Declaration], Graph, [Tree Vertex]) Source #