You might also find the keystore[0] package useful as it makes use of This technique in several places. See, for example the definition of Pattern in the `Data.Keystore.Types.Schema`[1] and `Data.Keystore.Types`[2]. Chris [0]-http://hackage.haskell.org/package/keystore [1]-https://github.com/cdornan/keystore/blob/master/src/Data/KeyStore/Types /Schema.hs#L179 [2]-https://github.com/cdornan/keystore/blob/master/src/Data/KeyStore/Types .hs#L68 On 09/09/2014 17:20, "Karsten Gebbert" wrote:

Excellent, thanks a lot Adam. I'll open a PR when I'm through with this project :)

Adam Gundry writes:

...

Hi Karsten,

This isn't very well documented, but there is a (hidden) feature of api-tools that should do what you want. If you say something like

mt :: MyTime = basic string with inj_MyTime, prj_MyTime

then you can define your own type MyTime and give conversion functions inj_MyTime and prj_MyTime to convert back and forth from a newtype-wrapped Text. (In fact, you could probably use UTCTime as MyTime...). More precisely, api-tools will generate something like

newtype REP__MyTime = REP__MyTime Text

and you will need to implement

inj_MyTime :: REP__MyTime -> ParserWithErrs MyTime prj_MyTime :: MyTime -> REP__MyTime

I hope this helps, and further questions or documentation contributions are very welcome!

Cheers,

Adam

On 09/09/14 14:02, Karsten Gebbert wrote:

...

Hi All,

I have a question concerning the api-tools package.

Its not clear from the tests, sources or the tutorial how I can use other date/time formats that the default `utc` type can handle. I'm trying to wrap a JSON API that is not under my control, so I have to adhere to whatever I get back from it. Could anybody with experience with the package point me to some example, relevant bits in the sources or a tip how to do it?

I'm planning to create some more documentation around the package to contribute back once I figured out a few more details, because I think its quite a useful abstraction when dealing with (foreign) APIs IMO.

Thanks already for any hints,

karsten

-- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

---

Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Hi Adam, somehow I can't get it to work according to yours and Chris' examples. I have the following test-case: ----- stamp :: TimeStamp = basic string with inj_TimeStamp, prj_TimeStamp test :: TestRec = record created_at :: TimeStamp ----- $(generate tests) -- created_at parses with: -- parseTime defaultTimeLocale "%Y-%m-%d %H:%M:%S%Q" a type TimeStamp = Maybe UTCTime inj_TimeStamp :: REP__TimeStamp -> ParserWithErrs TimeStamp inj_TimeStamp (REP__TimeStamp as) = return $ parseTime defaultTimeLocale "%Y-%m-%d %H:%M:%S%Q" (Text.unpack as) prj_TimeStamp :: TimeStamp -> REP__TimeStamp prj_TimeStamp (Just mp) = REP__TimeStamp $ Text.pack $ formatTime defaultTimeLocale "%Y-%m-%d %H:%M:%S%Q" mp prj_TimeStamp Nothing = REP__TimeStamp $ Text.pack "" $(generateAPITools tests [enumTool, jsonTool]) But, when I use it like this, I still get the format error: λ import qualified Data.ByteString.Lazy as LBS λ import Mytest.Types λ let a = "{ \"created_at\": \"2014-09-10 14:06:48.13972\" }" :: LBS.ByteString λ decodeWithErrs a :: Either [(JSONError, Position)] TestRec Left [(BadFormat FmtUTC "UTC" "2014-09-10 14:06:48.13972",[InField "created_at"])] It seems its not using the functions provided to parse the result at all, if I put in some bogus stuff the conversion functions and set the type of TimeStamp to Text, the created_at string appears in the output: inj_TimeStamp :: REP__TimeStamp -> ParserWithErrs TimeStamp inj_TimeStamp (REP__TimeStamp _) = return $ Text.pack "heheheheh" prj_TimeStamp :: TimeStamp -> REP__TimeStamp prj_TimeStamp _ = REP__TimeStamp $ Text.pack "Hohoho" λ let a = "{ \"created_at\": \"2014-09-10 14:06:48.13972\" }" :: LBS.ByteString λ decodeWithErrs a :: Either [(JSONError, Position)] TextRec Right (TextRec {_test_created_at = "2014-09-10 14:06:48.13972"}) I'm probably missing something really simple here, but maybe you can spot it quicker than I do.. I'll investigate more when I'm back home anyways. Thanks for any hints! k Adam Gundry writes:

Hi Karsten,

This isn't very well documented, but there is a (hidden) feature of api-tools that should do what you want. If you say something like

mt :: MyTime = basic string with inj_MyTime, prj_MyTime

then you can define your own type MyTime and give conversion functions inj_MyTime and prj_MyTime to convert back and forth from a newtype-wrapped Text. (In fact, you could probably use UTCTime as MyTime...). More precisely, api-tools will generate something like

newtype REP__MyTime = REP__MyTime Text

and you will need to implement

inj_MyTime :: REP__MyTime -> ParserWithErrs MyTime prj_MyTime :: MyTime -> REP__MyTime

I hope this helps, and further questions or documentation contributions are very welcome!

Cheers,

Adam

On 09/09/14 14:02, Karsten Gebbert wrote:

...

Hi All,

I have a question concerning the api-tools package.

Its not clear from the tests, sources or the tutorial how I can use other date/time formats that the default `utc` type can handle. I'm trying to wrap a JSON API that is not under my control, so I have to adhere to whatever I get back from it. Could anybody with experience with the package point me to some example, relevant bits in the sources or a tip how to do it?

I'm planning to create some more documentation around the package to contribute back once I figured out a few more details, because I think its quite a useful abstraction when dealing with (foreign) APIs IMO.

Thanks already for any hints,

karsten

-- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

You might also find the keystore[0] package useful as it makes use of this technique in several places. See, for example the definition of Pattern in the `Data.Keystore.Types.Schema`[1] and `Data.Keystore.Types`[2]. (Btw, the keystone docs are not building on Hackage for the latest version; they build on our private Hackage server and they did for earlier versions of Hackage[3]; I will try to fix them tonight.) Chris [0] http://hackage.haskell.org/package/keystore [1] https://github.com/cdornan/keystore/blob/master/src/Data/KeyStore/Types/Sch ema.hs#L179 [2] https://github.com/cdornan/keystore/blob/master/src/Data/KeyStore/Types.hs# L68 [3] http://hackage.haskell.org/package/keystore-0.5.0.4 On 09/09/2014 16:16, "Adam Gundry" wrote:

Hi Karsten,

This isn't very well documented, but there is a (hidden) feature of api-tools that should do what you want. If you say something like

mt :: MyTime = basic string with inj_MyTime, prj_MyTime

then you can define your own type MyTime and give conversion functions inj_MyTime and prj_MyTime to convert back and forth from a newtype-wrapped Text. (In fact, you could probably use UTCTime as MyTime...). More precisely, api-tools will generate something like

newtype REP__MyTime = REP__MyTime Text

and you will need to implement

inj_MyTime :: REP__MyTime -> ParserWithErrs MyTime prj_MyTime :: MyTime -> REP__MyTime

I hope this helps, and further questions or documentation contributions are very welcome!

Cheers,

Adam

On 09/09/14 14:02, Karsten Gebbert wrote:

...

Hi All,

I have a question concerning the api-tools package.

Its not clear from the tests, sources or the tutorial how I can use other date/time formats that the default `utc` type can handle. I'm trying to wrap a JSON API that is not under my control, so I have to adhere to whatever I get back from it. Could anybody with experience with the package point me to some example, relevant bits in the sources or a tip how to do it?

I'm planning to create some more documentation around the package to contribute back once I figured out a few more details, because I think its quite a useful abstraction when dealing with (foreign) APIs IMO.

Thanks already for any hints,

karsten

-- Adam Gundry, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe