dhall-1.10.0: tests/normalization/remoteSystemsA.dhall
let Text/concatMap =
https://ipfs.io/ipfs/QmQ8w5PLcsNz56dMvRtq54vbuPe9cNnCCUXAQp6xLc6Ccx/Prelude/Text/concatMap
in let Text/concatSep =
https://ipfs.io/ipfs/QmQ8w5PLcsNz56dMvRtq54vbuPe9cNnCCUXAQp6xLc6Ccx/Prelude/Text/concatSep
in let Row =
{ cores :
Natural
, host :
Text
, key :
Text
, mandatoryFeatures :
List Text
, platforms :
List Text
, speedFactor :
Natural
, supportedFeatures :
List Text
, user :
Optional Text
}
in let renderRow =
λ ( row
: Row
)
→ let host =
Optional/fold
Text
row.user
Text
(λ(user : Text) → "${user}@${row.host}")
row.host
in let platforms = Text/concatSep "," row.platforms
in let key = row.key
in let cores = Integer/show (Natural/toInteger row.cores)
in let speedFactor =
Integer/show (Natural/toInteger row.speedFactor)
in let supportedFeatures = Text/concatSep "," row.supportedFeatures
in let mandatoryFeatures = Text/concatSep "," row.mandatoryFeatures
in ''
${host} ${platforms} ${key} ${cores} ${speedFactor} ${supportedFeatures} ${mandatoryFeatures}
''
in Text/concatMap Row renderRow