From 8842e4960a89808f20c9d2aa918cbde072abe798 Mon Sep 17 00:00:00 2001 From: leo Date: Sat, 13 May 2023 21:59:35 +0200 Subject: [PATCH] schema: add HTTP block --- package.dhall | 4 ++-- schema.dhall | 18 ++++++++++++++++++ validate.dhall | 2 +- 3 files changed, 21 insertions(+), 3 deletions(-) diff --git a/package.dhall b/package.dhall index 13c473e..58386ca 100644 --- a/package.dhall +++ b/package.dhall @@ -1,10 +1,10 @@ { Schema = ./schema.dhall - sha256:0695554541b911bb3ee4b3605ba01df4caab6533da0d4fd32e9d774c41d19d01 + sha256:0887e924cad7f0c3c56bd096e00f5866c1190f8bf3aa4b91b8d1f82729386f90 ? ./schema.dhall , Schema/validate = ./validate.dhall - sha256:0aef242b8f9e63d36fcf407b71f8a6369bbcb832125c39e61f92b95b7027fc77 + sha256:9604bd657ec02f01a1f40d2a3c23c472b172fcaa2e7a7101d59ebacc955dbac9 ? ./validate.dhall , Schema/version = ./version.dhall diff --git a/schema.dhall b/schema.dhall index 1ff468b..7c452a2 100644 --- a/schema.dhall +++ b/schema.dhall @@ -3,6 +3,15 @@ let Schema = { Type = { Host : Text , Port : Natural + , HTTP : + { Domain : Text + , Secure : Bool + , AutoTLS : Bool + , TLSKeyPath : Text + , TLSCertKeyPath : Text + , HSTSMaxAge : Natural + , ContentSecurityPolicy : Text + } , AppName : Text , LiveMode : Bool , DevelMode : Bool @@ -19,6 +28,15 @@ let Schema = -- | have sane defaults. { Host = "" , Port = 3000 + , HTTP = + { Domain = "" + , Secure = False + , AutoTLS = False + , TLSKeyPath = "" + , TLSCertKeyPath = "" + , HSTSMaxAge = 0 + , ContentSecurityPolicy = "" + } , AppName = "pcmt" , LiveMode = False , DevelMode = False diff --git a/validate.dhall b/validate.dhall index a8b8a60..a770958 100644 --- a/validate.dhall +++ b/validate.dhall @@ -5,7 +5,7 @@ let Prelude = let Schema = ./schema.dhall - sha256:0695554541b911bb3ee4b3605ba01df4caab6533da0d4fd32e9d774c41d19d01 + sha256:0887e924cad7f0c3c56bd096e00f5866c1190f8bf3aa4b91b8d1f82729386f90 ? ./schema.dhall let Schema/validate