OCaml.BuckleScript.Internal.Spec

Documentation

mkOCamlSpecServer :: forall ocamlPackage. OCamlPackageTypeCount ocamlPackage => String -> Proxy ocamlPackage -> Q [Dec]

type family MkOCamlSpecAPI a :: * where ...

Convert an OCamlPackage into a servant API.

Equations

MkOCamlSpecAPI (OCamlPackage a deps :> rest) = MkOCamlSpecAPI rest

MkOCamlSpecAPI ((OCamlModule modules :> api) :<|> rest) = MkOCamlSpecAPI' modules '[] api :<|> MkOCamlSpecAPI rest

MkOCamlSpecAPI (OCamlModule modules :> api) = MkOCamlSpecAPI' modules '[] api

mkGoldenFiles :: HasMkGoldenFiles a => Proxy a -> Int -> FilePath -> IO ()

type OCamlSpecAPI (modules :: [Symbol]) (subModules :: [Symbol]) typ = ConcatSymbols (Insert (TypeName typ) (Append modules subModules)) (ReqBody '[JSON] [typ] :> Post '[JSON] [typ])

A servant route for a testing an OCaml type's encoder and decoder

class OCamlPackageTypeCount modules where

Minimal complete definition

ocamlPackageTypeCount

Methods

ocamlPackageTypeCount :: Proxy modules -> [Int]

Instances

((~) Bool (OCamlPackageTypeCountFlag a) flag, OCamlPackageTypeCount' * flag a) => OCamlPackageTypeCount * a

Methods

ocamlPackageTypeCount :: Proxy a modules -> [Int]

class OCamlModuleTypeCount api where

Minimal complete definition

ocamlModuleTypeCount

Methods

ocamlModuleTypeCount :: Proxy api -> Int

Instances

((~) Bool (OCamlModuleTypeCountFlag a) flag, OCamlModuleTypeCount' * flag a) => OCamlModuleTypeCount * a

Methods

ocamlModuleTypeCount :: Proxy a api -> Int