schema: add HTTP block

This commit is contained in:
leo 2023-05-13 21:59:35 +02:00
parent 8c26214913
commit 8842e4960a
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ
3 changed files with 21 additions and 3 deletions

@ -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

@ -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

@ -5,7 +5,7 @@ let Prelude =
let Schema =
./schema.dhall
sha256:0695554541b911bb3ee4b3605ba01df4caab6533da0d4fd32e9d774c41d19d01
sha256:0887e924cad7f0c3c56bd096e00f5866c1190f8bf3aa4b91b8d1f82729386f90
? ./schema.dhall
let Schema/validate