Utils.purs

module Utils where

import Data.Array (snoc)
import Data.FormURLEncoded (FormURLEncoded(..))
import Data.Function (($))
import Data.Maybe (Maybe(..))
import Data.Monoid (mempty)
import Data.Symbol (class IsSymbol, SProxy, reflectSymbol)
import Data.Tuple (Tuple(..))
import Heterogeneous.Folding (class FoldingWithIndex, class HFoldlWithIndex, hfoldlWithIndex)

data Record2UriParams = Record2UriParams

foreign import encodeURIComponent :: String -> String

instance record2UriParams ::
  IsSymbol sym =>
  FoldingWithIndex Record2UriParams (SProxy sym) FormURLEncoded String FormURLEncoded where
  foldingWithIndex Record2UriParams prop (FormURLEncoded acc) a =
    FormURLEncoded $ snoc acc (Tuple (reflectSymbol prop) (Just $ encodeURIComponent a))

encodeAsUriParams :: forall r. HFoldlWithIndex Record2UriParams FormURLEncoded r FormURLEncoded => r -> FormURLEncoded
encodeAsUriParams r = hfoldlWithIndex Record2UriParams (mempty :: FormURLEncoded) r