agda-server-0.1: Param.hs

module Param
    ( FromString (..)
    , ToString (..)
    , jconst
    , IsExp (..)
    , JType
    ) where

import Language.HJavaScript.Syntax

--------------

class JType a => FromString a where
    fs :: String -> a

class ParamType a => ToString a where
    ts :: a -> String

jconst :: String -> Exp a
jconst = JConst . show . toExp