Decode Language.JSON.Data.JSON to arbitrary values.
Shamelessly ripped from http://package.elm-lang.org/packages/elm-lang/core/latest/Json-Decode .
brainrake/idris-json-decode
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Decode Language.JSON.Data.JSON to arbitrary values.
Shamelessly ripped from http://package.elm-lang.org/packages/elm-lang/core/latest/Json-Decode .