Code Snippets Dhall

Short texts Dhall 🧑‍💻 Code snippets Dhall ✍️ Reading lists Dhall 👀

parameter template in dhall

{ Type = { key : Text, }, default = { key = “default”, } } { key=”perfect”, } let MyType = ./mytype.dhall — in \(x : MyType) → [x.key, x.key] — Error: Invalid function input — in \(x : {key: Text}) → [x.key, x.key] — [“perfect”, “perfect”] in \(x : MyType.Type) → [x.key, x.key] […]

Html.dhall

let List/map = https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680 let Text/concat = https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0 let Optional/fold = https://prelude.dhall-lang.org/Optional/fold sha256:c5b9d72f6f62bdaa0e196ac1c742cc175cd67a717b880fb8aec1333a5a4132cf let JSON = https://prelude.dhall-lang.org/JSON/package.dhall sha256:0c3c40a63108f2e6ad59f23b789c18eb484d0e9aebc9416c5a4f338c6753084b let Map = https://prelude.dhall-lang.org/Map/package.dhall sha256:598e9c76103b2686fbbda6cc30078f9e60dd846d9eaf155d0149cf0ae06c21c5 let Location = https://prelude.dhall-lang.org/Location/Type sha256:613ebb491aeef4ff06368058b4f0e6e3bb8a58d8c145131fc0b947aac045a529 let Content = < Nodes : List JSON.Type | Markdown : Text | Text : Text | Raw : Text > let Attr = < […]

ormolu.dhall

let List/map = https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680 let Text/concat = https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0 let Optional/fold = https://prelude.dhall-lang.org/Optional/fold sha256:c5b9d72f6f62bdaa0e196ac1c742cc175cd67a717b880fb8aec1333a5a4132cf let JSON = https://prelude.dhall-lang.org/JSON/package.dhall sha256:0c3c40a63108f2e6ad59f23b789c18eb484d0e9aebc9416c5a4f338c6753084b let Map = https://prelude.dhall-lang.org/Map/package.dhall sha256:598e9c76103b2686fbbda6cc30078f9e60dd846d9eaf155d0149cf0ae06c21c5 let Location = https://prelude.dhall-lang.org/Location/Type sha256:613ebb491aeef4ff06368058b4f0e6e3bb8a58d8c145131fc0b947aac045a529 let Content = < Nodes : List JSON.Type | Markdown : Text | Text : Text | Raw : Text > let Attr = < […]