OCaml.BuckleScript.Internal.Spec

Description

Synopsis

mkOCamlSpecServer :: forall ocamlPackage. OCamlPackageTypeCount ocamlPackage => String -> Proxy ocamlPackage -> Q [Dec]
type family MkOCamlSpecAPI a :: * where ...
mkGoldenFiles :: HasMkGoldenFiles a => Proxy a -> Int -> FilePath -> IO ()
runGoldenSpec :: HasRunGoldenSpec a => Proxy a -> Int -> FilePath -> Spec
type OCamlSpecAPI (modules :: [Symbol]) (subModules :: [Symbol]) typ (mType :: Maybe Symbol) = ConcatSymbols (Insert mType (TypeName typ) (Append modules subModules)) (ReqBody '[JSON] [typ] :> Post '[JSON] [typ])
class OCamlPackageTypeCount modules where
- ocamlPackageTypeCount :: Proxy modules -> [Int]
class OCamlModuleTypeCount api where
- ocamlModuleTypeCount :: Proxy api -> Int

Documentation

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

type family MkOCamlSpecAPI a :: * where ... Source #

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 () Source #

runGoldenSpec :: HasRunGoldenSpec a => Proxy a -> Int -> FilePath -> Spec Source #

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

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

Methods

Instances

(OCamlPackageTypeCountFlag a ~ flag, OCamlPackageTypeCount' flag a) => OCamlPackageTypeCount (a :: Type) Source #
Instance details Defined in OCaml.BuckleScript.Internal.Spec Methods ocamlPackageTypeCount :: Proxy a -> [Int] Source #

Methods

Instances

(OCamlModuleTypeCountFlag a ~ flag, OCamlModuleTypeCount' flag a) => OCamlModuleTypeCount (a :: Type) Source #
Instance details Defined in OCaml.BuckleScript.Internal.Spec Methods ocamlModuleTypeCount :: Proxy a -> Int Source #