From 7971bd30d86eb292a65bffe90eba18f8428cd0aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 19 Nov 2022 17:05:19 +0100 Subject: Network expression type and context --- src/Network.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/Network.hs') diff --git a/src/Network.hs b/src/Network.hs index d1d00bc..8048c72 100644 --- a/src/Network.hs +++ b/src/Network.hs @@ -45,6 +45,11 @@ nextNodeName (VarName tname) = go 0 | otherwise = go n ns +instance ExprType Network where + textExprType _ = T.pack "network" + textExprValue _ = T.pack "s:0" + emptyVarValue = Network undefined undefined undefined + instance ExprType Node where textExprType _ = T.pack "node" textExprValue n = T.pack "n:" <> textNodeName (nodeName n) -- cgit v1.2.3