module Example.Nested where

import Prelude

import Control.Monad.Except (runExcept)

import Effect (Effect)

import Effect.Console (logShow)

import Example.Util.Value (foreignValue)

import Foreign (F, Foreign, readNumber, readString)

import Foreign.Index ((!))

data Foo = Foo Bar Baz

data Bar = Bar String

data Baz = Baz Number

instance showFoo :: Show Foo where

show (Foo bar baz) = "(Foo " <> show bar <> " " <> show baz <> ")"

instance showBar :: Show Bar where

show (Bar s) = "(Bar " <> show s <> ")"

instance showBaz :: Show Baz where

show (Baz n) = "(Baz " <> show n <> ")"

readFoo :: Foreign -> F Foo

readFoo value = do

s <- value ! "foo" ! "bar" >>= readString

n <- value ! "foo" ! "baz" >>= readNumber

pure $ Foo (Bar s) (Baz n)

main :: Effect Unit

main =

logShow $ runExcept $

readFoo =<< foreignValue """{ "foo": { "bar": "bar", "baz": 1 } }"""