dzen-dhall-1.0.0: dhall/utils/mkBash.dhall

{- This function creates a Source that runs a given bash script with specified update interval.
-}

let types = ../types/package.dhall

let mkBash =
		λ(Bar : Type)
	  → λ(carrier : types.Carrier Bar)
	  → λ(interval : Natural)
	  → λ(input : Text)
	  → carrier.source
		{ command =
			[ "bash" ]
		, input =
			input
		, updateInterval =
			Some interval
		, escape =
			True
		}

in  mkBash