Inferno.VersionControl.Server

Documentation

newtype VCServerError

Constructors

VCServerError

Fields

• serverError :: VCStoreError

Instances

FromJSON VCServerError

Defined in Inferno.VersionControl.Server

Methods

parseJSON :: Value -> Parser VCServerError

parseJSONList :: Value -> Parser [VCServerError]

ToJSON VCServerError

Defined in Inferno.VersionControl.Server

Methods

toJSON :: VCServerError -> Value

toEncoding :: VCServerError -> Encoding

toJSONList :: [VCServerError] -> Value

toEncodingList :: [VCServerError] -> Encoding

Generic VCServerError

Defined in Inferno.VersionControl.Server

Associated Types

type Rep VCServerError :: Type -> Type

Methods

from :: VCServerError -> Rep VCServerError x

to :: Rep VCServerError x -> VCServerError

Show VCServerError

Defined in Inferno.VersionControl.Server

Methods

showsPrec :: Int -> VCServerError -> ShowS

show :: VCServerError -> String

showList :: [VCServerError] -> ShowS

type Rep VCServerError

Defined in Inferno.VersionControl.Server

type Rep VCServerError = D1 ('MetaData "VCServerError" "Inferno.VersionControl.Server" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'True) (C1 ('MetaCons "VCServerError" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCStoreError)))

type GetThrowingVCStoreError resp ty = GetTypedError resp ty VCServerError

type PostThrowingVCStoreError resp ty = PostTypedError resp ty VCServerError

type DeleteThrowingVCStoreError resp ty = DeleteTypedError resp ty VCServerError

type VersionControlAPI a g = ("fetch" :> ("function" :> (Capture "hash" VCObjectHash :> GetThrowingVCStoreError '[JSON] (VCMeta a g (Expr (Pinned VCObjectHash) (), TCScheme))))) :<|> (("fetch" :> ("functions" :> (ReqBody '[JSON] (Set g) :> PostThrowingVCStoreError '[JSON] [VCMeta a g VCObjectHash]))) :<|> (("fetch" :> (Capture "hash" VCObjectHash :> GetThrowingVCStoreError '[JSON] (VCMeta a g VCObject))) :<|> (("fetch" :> (Capture "hash" VCObjectHash :> ("history" :> GetThrowingVCStoreError '[JSON] [VCMeta a g VCObjectHash]))) :<|> (("fetch" :> ("objects" :> (ReqBody '[JSON] [VCObjectHash] :> PostThrowingVCStoreError '[JSON] (Map VCObjectHash (VCMeta a g VCObject))))) :<|> (("fetch" :> ("object" :> (Capture "hash" VCObjectHash :> ("closure" :> ("hashes" :> GetThrowingVCStoreError '[JSON] [VCObjectHash]))))) :<|> (("push" :> ("function" :> (ReqBody '[JSON] (VCMeta a g (Expr (Pinned VCObjectHash) (), TCScheme)) :> PostThrowingVCStoreError '[JSON] VCObjectHash))) :<|> (("delete" :> ("autosave" :> ("function" :> (ReqBody '[JSON] VCObjectHash :> DeleteThrowingVCStoreError '[JSON] ())))) :<|> ("delete" :> ("scripts" :> (Capture "hash" VCObjectHash :> DeleteThrowingVCStoreError '[JSON] ()))))))))))

vcServer :: (VCHashUpdate a, VCHashUpdate g, FromJSON a, FromJSON g, ToJSON a, ToJSON g, Ord g) => FilePath -> IOTracer VCServerTrace -> Server (VersionControlAPI a g)

runServer :: forall proxy a g. (VCHashUpdate a, VCHashUpdate g, FromJSON a, FromJSON g, ToJSON a, ToJSON g, Ord g) => proxy a -> proxy g -> IO ()

runServerConfig :: forall proxy a g. (VCHashUpdate a, VCHashUpdate g, FromJSON a, FromJSON g, ToJSON a, ToJSON g, Ord g) => proxy a -> proxy g -> ServerConfig -> IO ()

withLinkedAsync_ :: IO a -> IO b -> IO b