/dhall-concourse-v0.5.2/Pipeline.dhall

Copy path to clipboard

Source

let Group = ./Group.dhall

let Pipeline
: ∀ ( _params
: { job : Type
, resource : Type
, resource_type : Type
, var_source : Type
}
) →
{ Type : Type
, default :
{ jobs : Optional (List _params.job)
, resources : Optional (List _params.resource)
, resource_types : Optional (List _params.resource_type)
, var_sources : Optional (List _params.var_source)
, groups : Optional Group.Type
}
}
= λ ( _params
: { job : Type
, resource : Type
, resource_type : Type
, var_source : Type
}
) →
{ Type =
{ jobs : Optional (List _params.job)
, resources : Optional (List _params.resource)
, resource_types : Optional (List _params.resource_type)
, var_sources : Optional (List _params.var_source)
, groups : Optional Group.Type
}
, default =
{ jobs = None (List _params.job)
, resources = None (List _params.resource)
, resource_types = None (List _params.resource_type)
, var_sources = None (List _params.var_source)
, groups = None Group.Type
}
}

in Pipeline