rzk-0.6.0: src/Language/Rzk/VSCode/State.hs

{-# LANGUAGE OverloadedStrings #-}

module Language.Rzk.VSCode.State where

import           Data.Yaml (FromJSON (..), (.!=), (.:), (.:?))
import qualified Data.Yaml as Y

data ProjectConfig = ProjectConfig
  { include :: [FilePath]
  , exclude :: [FilePath]
  } deriving (Eq, Show)

instance FromJSON ProjectConfig where
  parseJSON (Y.Object v) =
    ProjectConfig   <$>
    v .:  "include" <*>
    v .:? "exclude" .!= []
  parseJSON _ = fail "Expected config value to be an object"

-- TODO: Add a "ServerState" data structure for holding the typechecking cache