interface DOTCompassPoint : Type -> Type The type `t` can be converted to a `CompassPoint`.
Parameters: t
Methods:
toCompassPoint : t -> CompassPoint
toCompassPoint : DOTCompassPoint t => t -> CompassPoint- Totality: total
Visibility: public export interface DOTKeyword : Type -> Type The type `t` can be converted to a `Keyword`.
Parameters: t
Methods:
toKeyword : t -> Keyword
toKeyword : DOTKeyword t => t -> Keyword- Totality: total
Visibility: public export interface DOTDOTID : Type -> Type The type `t` can be converted to a `DOTID`.
Parameters: t
Methods:
toDOTID : t -> DOTID
toDOTID : DOTDOTID t => t -> DOTID- Totality: total
Visibility: public export interface DOTPort : Type -> Type The type `t` can be converted to a `Port`.
Parameters: t
Methods:
toPort : t -> Port
toPort : DOTPort t => t -> Port- Totality: total
Visibility: public export interface DOTNodeID : Type -> Type The type `t` can be converted to a `NodeID`.
Parameters: t
Methods:
toNodeID : t -> NodeID
toNodeID : DOTNodeID t => t -> NodeID- Totality: total
Visibility: public export interface DOTAssign : Type -> Type The type `t` can be converted to an `Assign`.
Parameters: t
Methods:
toAssign : t -> Assign
toAssign : DOTAssign t => t -> Assign- Totality: total
Visibility: public export interface DOTEdgeOp : Type -> Type The type `t` can be converted to an `EdgeOp`.
Parameters: t
Methods:
toEdgeOp : t -> EdgeOp
toEdgeOp : DOTEdgeOp t => t -> EdgeOp- Totality: total
Visibility: public export interface DOTEdgeRHS : Type -> Type The type `t` can be converted to an `EdgeRHS`.
Parameters: t
Methods:
toEdgeRHS : t -> EdgeRHS
toEdgeRHS : DOTEdgeRHS t => t -> EdgeRHS- Totality: total
Visibility: public export interface DOTSubgraph : Type -> Type The type `t` can be converted to a `Subgraph`.
Parameters: t
Methods:
toSubgraph : t -> Subgraph
toSubgraph : DOTSubgraph t => t -> Subgraph- Totality: total
Visibility: public export interface DOTStmt : Type -> Type The type `t` can be converted to a `Stmt`.
Parameters: t
Methods:
toStmt : t -> Stmt
toStmt : DOTStmt t => t -> Stmt- Totality: total
Visibility: public export interface DOTGraph : Type -> Type The type `t` can be converted to a `Graph`.
Parameters: t
Methods:
toGraph : t -> Graph
toGraph : DOTGraph t => t -> Graph- Totality: total
Visibility: public export