Created
November 24, 2017 14:03
-
-
Save FruitieX/664ce94643b78ccde4194d393b41c55b to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Data.Foldable (all, elem) | |
| type Field = String | |
| type Config = Array Field | |
| type RequiredFields = Array Field | |
| fieldInConfig :: Config Field Boolean | |
| fieldInConfig config field = elem field config | |
| validateConfig :: Config RequiredFields Boolean | |
| validateConfig config fields = all fieldInConfig fields | |
| -- at src/Main.purs line 7, column 1 - line 7, column 38 | |
| -- | |
| -- Could not match kind | |
| -- | |
| -- Type | |
| -- | |
| -- with kind | |
| -- | |
| -- Type -> k6 | |
| -- | |
| -- | |
| -- while checking the kind of Config Field Boolean | |
| -- in value declaration fieldInConfig |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment