Home
main
Config
Setting
Program
Download
Primary
ArchiveFormat
WorkflowStep
PackageSource
Provider
EnvironmentSetting
ShellSetting
TaskSetting
BuildSetting
EnvName
from_quote
to_str
FlakeRef
from_quote
to_str
InputName
from_quote
to_str
Member
is_eq
from_quote
from_interpolation
to_str
NightlyTag
is_eq
from_quote
valid
to_str
ProgramName
from_quote
to_str
Recipes
file
roc_nightly
System
architectures
operating_systems
is_eq
from_quote
to_str
TaskName
from_quote
to_str
Tool
from_quote
unqualified
to_spec
to_str
Url
is_eq
from_quote
from_interpolation
assembled
to_str
UrlTemplate
is_eq
from_quote
fill
for_system
to_str
Val
is_eq
WorkflowName
from_quote
to_str
Config
.
Setting
: [
Name
(
Str
),
Systems
(
List
(
System
)),
Packages
(
InputName
,
PackageSource
),
Input
(
InputName
,
FlakeRef
),
Overlay
(
InputName
,
FlakeRef
),
Environment
(
EnvName
,
List
(
EnvironmentSetting
)),
Shell
(
EnvName
,
List
(
ShellSetting
)),
Task
(
TaskName
,
List
(
TaskSetting
)),
Source
(
InputName
,
FlakeRef
),
Build
(
InputName
,
List
(
BuildSetting
)),
Workflow
(
WorkflowName
,
List
(
WorkflowStep
)),
Custom
(
Str
,
Str
,
Val
),
Raw
(
Str
,
Str
,
Val
)]
Config
.
Program
: [
Fetch
(
ProgramName
,
System
->
Download
)]
Config
.
Download
: [
File
(
Url
),
Archive
(
Url
,
ArchiveFormat
,
Member
),
Mirrored
(
Primary
,
List
(
Url
)),
Unavailable
]
Config
.
Primary
: [
File
(
Url
),
Archive
(
Url
,
ArchiveFormat
,
Member
)]
Config
.
ArchiveFormat
: [
TarGz
,
TarXz
,
Zip
]
Config
.
WorkflowStep
: [
RunTask
(
TaskName
,
List
(
Str
)),
BuildArtifact
(
InputName
),
RunWorkflow
(
WorkflowName
)]
Config
.
PackageSource
: [
Auto
,
From
(
Provider
)]
Config
.
Provider
: [
NixPackages
(
FlakeRef
),
GuixPackages
(
Str
)]
Config
.
EnvironmentSetting
: [
Tools
(
List
(
Tool
)),
ToolsFor
(
System
,
List
(
Tool
)),
Command
(
Str
,
Tool
),
ToolWith
(
Tool
,
List
((
Str
,
Val
))),
RocPackages
(
List
(
Str
)),
Overlays
(
List
(
InputName
)),
Extend
(
EnvName
),
Programs
(
List
(
Program
)),
Expect
(
List
(
ProgramName
))]
Config
.
ShellSetting
: [
Use
(
EnvName
)]
Config
.
TaskSetting
: [
Use
(
EnvName
),
Run
(
List
(
Str
))]
Config
.
BuildSetting
: [
Use
(
EnvName
),
Inputs
(
List
(
InputName
)),
Needs
(
List
(
InputName
)),
Run
(
List
(
Str
)),
Output
(
Str
)]
EnvName
.
from_quote
:
Str
->
Try
(
EnvName
, [
BadQuotedBytes
(
Str
)])
EnvName
.
to_str
:
EnvName
->
Str
FlakeRef
.
from_quote
:
Str
->
Try
(
FlakeRef
, [
BadQuotedBytes
(
Str
)])
FlakeRef
.
to_str
:
FlakeRef
->
Str
InputName
.
from_quote
:
Str
->
Try
(
InputName
, [
BadQuotedBytes
(
Str
)])
InputName
.
to_str
:
InputName
->
Str
Member
.
is_eq
: _
Member
.
from_quote
:
Str
->
Try
(
Member
, [
BadQuotedBytes
(
Str
)])
Member
.
from_interpolation
:
List
(
Str
)
->
Try
(
List
(
Str
)
->
Member
, [
InvalidInterpolation
(
Str
)])
Member
.
to_str
:
Member
->
Str
NightlyTag
.
is_eq
: _
NightlyTag
.
from_quote
:
Str
->
Try
(
NightlyTag
, [
BadQuotedBytes
(
Str
)])
NightlyTag
.
valid
:
Str
->
Bool
NightlyTag
.
to_str
:
NightlyTag
->
Str
ProgramName
.
from_quote
:
Str
->
Try
(
ProgramName
, [
BadQuotedBytes
(
Str
)])
ProgramName
.
to_str
:
ProgramName
->
Str
Recipes
.
file
:
UrlTemplate
->
(
System
->
Download
)
Recipes
.
roc_nightly
:
NightlyTag
->
(
System
->
Download
)
System
.
architectures
:
List
(
Str
)
System
.
operating_systems
:
List
(
Str
)
System
.
is_eq
: _
System
.
from_quote
:
Str
->
Try
(
System
, [
BadQuotedBytes
(
Str
)])
System
.
to_str
:
System
->
Str
TaskName
.
from_quote
:
Str
->
Try
(
TaskName
, [
BadQuotedBytes
(
Str
)])
TaskName
.
to_str
:
TaskName
->
Str
Tool
.
from_quote
:
Str
->
Try
(
Tool
, [
BadQuotedBytes
(
Str
)])
Tool
.
unqualified
:
Str
->
Str
Tool
.
to_spec
:
Tool
->
Tool
Tool
.
to_str
:
Tool
->
Str
Url
.
is_eq
: _
Url
.
from_quote
:
Str
->
Try
(
Url
, [
BadQuotedBytes
(
Str
)])
Url
.
from_interpolation
:
List
(
Str
)
->
Try
(
List
(
Str
)
->
Url
, [
InvalidInterpolation
(
Str
)])
Url
.
assembled
:
Str
->
Url
Url
.
to_str
:
Url
->
Str
UrlTemplate
.
is_eq
: _
UrlTemplate
.
from_quote
:
Str
->
Try
(
UrlTemplate
, [
BadQuotedBytes
(
Str
)])
UrlTemplate
.
fill
:
Str
,
Str
,
Str
,
Str
->
Str
UrlTemplate
.
for_system
:
UrlTemplate
,
System
->
Str
UrlTemplate
.
to_str
:
UrlTemplate
->
Str
Val
.
is_eq
: _
WorkflowName
.
from_quote
:
Str
->
Try
(
WorkflowName
, [
BadQuotedBytes
(
Str
)])
WorkflowName
.
to_str
:
WorkflowName
->
Str