Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Config_Doc_Type = Config_Doc_Type {}
- config_Doc_Type :: Config_Doc_Type
- docType :: forall src vs t d. Semigroup d => Textable d => Colorable d => Config_Doc_Type -> Precedence -> Type src vs t -> d
- var2Name :: Config_Doc_Type -> (Map IndexVar Name, Names) -> Type src vs t -> (Map IndexVar Name, Names)
- type Names = Set Name
- freshifyName :: Names -> Name -> Name
- freshName :: Names -> Name
- poolNames :: [Name]
- docTypes :: forall src vs ts d. Semigroup d => Textable d => Colorable d => Config_Doc_Type -> Types src vs ts -> d
- docConst :: Textable d => Imports NameTy -> Const src c -> d
- docNameTy :: Textable d => NameTy -> d
- docMod :: Textable d => (a -> d) -> Mod a -> d
- docPathMod :: Textable d => PathMod -> d
- docParen :: Textable d => d -> d
Type Config_Doc_Type
Document Type
docType :: forall src vs t d. Semigroup d => Textable d => Colorable d => Config_Doc_Type -> Precedence -> Type src vs t -> d Source #
var2Name :: Config_Doc_Type -> (Map IndexVar Name, Names) -> Type src vs t -> (Map IndexVar Name, Names) Source #
Type Names
Document Types
docTypes :: forall src vs ts d. Semigroup d => Textable d => Colorable d => Config_Doc_Type -> Types src vs ts -> d Source #
Document Const
Document NameTy
Document Mod
Document PathMod
docPathMod :: Textable d => PathMod -> d Source #