[github/fretlink/ansible-clever.git] / dhall / Config.dhall

let Addon = ./addon/Addon.dhall

in    λ(Environment : Type)
    → { clever_app :
          Text
      , clever_orga :
          Text
      , clever_secret :
          Text
      , clever_token :
          Text
      , clever_syslog_server :
          Optional Text
      , clever_domain :
          Optional Text
      , clever_app_tasks_file :
          Optional Text
      , clever_haskell_entry_point :
          Optional Text
      , clever_metrics :
          Bool
      , clever_addons :
          List Addon
      , clever_env :
          Environment
      }
Commit	Line	Data
65b86d1f	1	let Addon = ./addon/Addon.dhall
50a9e710 HAL	2
	3	in λ(Environment : Type)
	4	→ { clever_app :
	5	Text
	6	, clever_orga :
	7	Text
	8	, clever_secret :
	9	Text
	10	, clever_token :
	11	Text
	12	, clever_syslog_server :
175b1495	13	Optional Text
50a9e710	14	, clever_domain :
175b1495	15	Optional Text
50a9e710	16	, clever_app_tasks_file :
175b1495	17	Optional Text
65b86d1f	18	, clever_haskell_entry_point :
175b1495	19	Optional Text
50a9e710 HAL	20	, clever_metrics :
	21	Bool
	22	, clever_addons :
	23	List Addon
	24	, clever_env :
	25	Environment
175b1495	26	}