[Question] Reading a file to Text

[michalrus]

Hey!

How can I read a file into a : Text value? Like let text = builtins.readFile ./some-file.txt in Nix.

I could wrap it in ''s and then do a standard import, but it’s not exactly convenient. 😛

Thanks!

[Gabriel439]

Like this: ./some-file.txt as Text

[michalrus]

Incredible! 💚 Thanks so much, I didn’t think this would be possible.

Maybe it should be added to Dhall.Tutorial? I can’t see any as mentioned there. =)

[Gabriel439]

Oops! For some reason I thought that the tutorial did mention this feature, but I now see that it's not there. I'll update the documentation

[michalrus]

One last question: can I do substitution/templating on such Text in pure Dhall easily? Or am I left with Haskell later? For example:

• hello.txt:

  Hello, {name}!
  

• config.dhall:

  let helloRaw = ./hello.txt as Text in
  {
    hello = Text/replace "{name}" "Gabriel439" helloRaw
  }
  

Normally, if this Text was inlined, I’d just use ${name}, but here?

[Gabriel439]

The best you can do in Dhall is to go back to hello.txt being Dhall code, like this:

-- hello.dhall

λ(name : Text) → ''
    Hello, ${name}!
''

... and then in config.dhall you do:

{ hello = ./hello.dhall "Gabriel439"
}

... or if you want to pass named arguments to hello.dhall then you can pass a record like this:

-- hello.dhall

λ(args : { name : Text }) → ''
    Hello, ${args.name}!
''

... and then reference that like this:

{ hello = ./hello.dhall { name = "Gabriel439" }
}

However, you can't retroactively modify a value of type Text. The only thing you can actually do with Text values in Dhall is concatenate them, but there is no way to inspect, slice, compare, or otherwise modify them in Dhall. Other than concatenation, Text values are opaque values (like Integer)

In fact, the string templating syntax in Dhall is syntactic sugar for Text concatenation. This Dhall expression:

λ(name : Text) → ''
    Hello, ${name}!
''

... is the same as this Dhall expression:

λ(name : Text) → "Hello, " ++ name ++ "!"

[michalrus]

Thank you for this detailed answer. 😻 Amazing support! 💙

Lack of retroactive modification makes a lot of sense (do $x well from the beginning), but still I had this slight hope. 😅 But then, after a while of initial happiness, I wouldn’t like having the possibility of defining Text/replace in a configuration language.

Thank you!

[Gabriel439]

You're welcome! Also, I will reopen this issue to remind myself to fix the documentation to mention support for as Text