rzk-0.6.6: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rzk.Project.Config

Documentation

data ProjectConfig Source #

Constructors

ProjectConfig 

Fields

Instances

Instances details
FromJSON ProjectConfig Source # 
Instance details

Defined in Rzk.Project.Config

Methods

parseJSON :: Value -> Parser ProjectConfig #

parseJSONList :: Value -> Parser [ProjectConfig] #

Show ProjectConfig Source # 
Instance details

Defined in Rzk.Project.Config

Methods

showsPrec :: Int -> ProjectConfig -> ShowS #

show :: ProjectConfig -> String #

showList :: [ProjectConfig] -> ShowS #

Eq ProjectConfig Source # 
Instance details

Defined in Rzk.Project.Config

Methods

(==) :: ProjectConfig -> ProjectConfig -> Bool #

(/=) :: ProjectConfig -> ProjectConfig -> Bool #