Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Agda.Interaction.Highlighting.Dot
data DotState Source
Constructors
Fields
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