Gabriella439/foreach.dhall

Created August 9, 2019 22:55

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/Gabriella439/d88b85e3519d840d8e75f24bc22b1272.js"></script>
Save Gabriella439/d88b85e3519d840d8e75f24bc22b1272 to your computer and use it in GitHub Desktop.

Download ZIP

Example of how the equivalent of `foreach` in Dhall is `Prelude.List.map`

Raw

foreach.dhall

	let Prelude = https://prelude.dhall-lang.org/package.dhall

	let FN = Natural/even

	let a = 2

	let b = 3

	let c = 5

	in Prelude.List.map Natural Bool FN [ a, b, c]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment