From b3abb671f3dcfed6ea61630b7ffcdd99ef909594 Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Fri, 17 Jan 2020 11:19:18 -0500 Subject: [PATCH] :memo: Sketchbook. --- semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs b/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs index 43cc8ce1c..d932bb5ec 100644 --- a/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs +++ b/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs @@ -33,6 +33,10 @@ import Data.Semilattice.Lower import Source.Span import qualified System.Path as Path +-- | The state type used to keep track of the in-progress graph and +-- positional/contextual information. The name "sketchbook" is meant +-- to invoke an in-progress, concealed work, as well as the +-- "sketching" of a graph. data Sketchbook address = Sketchbook { sGraph :: ScopeGraph address , sCurrentScope :: address