Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Interaction.Highlighting.Dot

Documentation

data DotState Source

Constructors

DotState 

Fields

dsModules :: Map ModuleName String
 
dsNameSupply :: [String]
 
dsConnection :: Set (String, String)
 

initialDotState :: DotStateSource

type DotM = StateT DotState TCMSource

addModule :: ModuleName -> DotM (String, Bool)Source

addConnection :: String -> String -> DotM ()Source

dottify :: Interface -> DotM StringSource

generateDot :: Interface -> TCM ()Source