Safe Haskell | None |
---|
Agda.Interaction.Highlighting.Dot
Documentation
data DotState
Constructors
DotState | |
Fields
|
addModule :: ModuleName -> DotM (String, Bool)
addConnection :: String -> String -> DotM ()
generateDot :: Interface -> TCM ()
Agda-2.3.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.Interaction.Highlighting.Dot
data DotState
Constructors
DotState | |
Fields
|
addModule :: ModuleName -> DotM (String, Bool)
addConnection :: String -> String -> DotM ()
generateDot :: Interface -> TCM ()