Safe Haskell | None |
---|---|
Language | Haskell2010 |
Look at the source code of this module.
Documentation
type QuickstartSchema = '['DRecord "HelloRequest" '['FieldDef "name" ('TPrimitive Text)], 'DRecord "HelloResponse" '['FieldDef "message" ('TPrimitive Text)], 'DRecord "HiRequest" '['FieldDef "number" ('TPrimitive Int)]] Source #
type QuickStartService = 'Service "Greeter" '[Package "helloworld"] '['Method "SayHello" '[] '['ArgSingle ('ViaSchema QuickstartSchema "HelloRequest")] ('RetSingle ('ViaSchema QuickstartSchema "HelloResponse")), 'Method "SayHi" '[] '['ArgSingle ('ViaSchema QuickstartSchema "HiRequest")] ('RetStream ('ViaSchema QuickstartSchema "HelloResponse")), 'Method "SayManyHellos" '[] '['ArgStream ('ViaSchema QuickstartSchema "HelloRequest")] ('RetStream ('ViaSchema QuickstartSchema "HelloResponse"))] Source #
newtype HelloRequest f Source #
Instances
Functor f => FromSchema f QuickstartSchema "HelloRequest" (HelloRequest f) Source # | |
Defined in Mu.Rpc.Examples fromSchema :: Term f QuickstartSchema (QuickstartSchema :/: "HelloRequest") -> HelloRequest f | |
Functor f => ToSchema f QuickstartSchema "HelloRequest" (HelloRequest f) Source # | |
Defined in Mu.Rpc.Examples toSchema :: HelloRequest f -> Term f QuickstartSchema (QuickstartSchema :/: "HelloRequest") | |
Generic (HelloRequest f) Source # | |
Defined in Mu.Rpc.Examples type Rep (HelloRequest f) :: Type -> Type # from :: HelloRequest f -> Rep (HelloRequest f) x # to :: Rep (HelloRequest f) x -> HelloRequest f # | |
type Rep (HelloRequest f) Source # | |
Defined in Mu.Rpc.Examples type Rep (HelloRequest f) = D1 ('MetaData "HelloRequest" "Mu.Rpc.Examples" "mu-rpc-0.2.0.0-inplace" 'True) (C1 ('MetaCons "HelloRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text)))) |
newtype HelloResponse f Source #
Instances
Functor f => FromSchema f QuickstartSchema "HelloResponse" (HelloResponse f) Source # | |
Defined in Mu.Rpc.Examples fromSchema :: Term f QuickstartSchema (QuickstartSchema :/: "HelloResponse") -> HelloResponse f | |
Functor f => ToSchema f QuickstartSchema "HelloResponse" (HelloResponse f) Source # | |
Defined in Mu.Rpc.Examples toSchema :: HelloResponse f -> Term f QuickstartSchema (QuickstartSchema :/: "HelloResponse") | |
Generic (HelloResponse f) Source # | |
Defined in Mu.Rpc.Examples type Rep (HelloResponse f) :: Type -> Type # from :: HelloResponse f -> Rep (HelloResponse f) x # to :: Rep (HelloResponse f) x -> HelloResponse f # | |
type Rep (HelloResponse f) Source # | |
Defined in Mu.Rpc.Examples type Rep (HelloResponse f) = D1 ('MetaData "HelloResponse" "Mu.Rpc.Examples" "mu-rpc-0.2.0.0-inplace" 'True) (C1 ('MetaCons "HelloResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text)))) |
Instances
Functor f => FromSchema f QuickstartSchema "HiRequest" (HiRequest f) Source # | |
Defined in Mu.Rpc.Examples fromSchema :: Term f QuickstartSchema (QuickstartSchema :/: "HiRequest") -> HiRequest f | |
Functor f => ToSchema f QuickstartSchema "HiRequest" (HiRequest f) Source # | |
Defined in Mu.Rpc.Examples toSchema :: HiRequest f -> Term f QuickstartSchema (QuickstartSchema :/: "HiRequest") | |
Generic (HiRequest f) Source # | |
type Rep (HiRequest f) Source # | |
Defined in Mu.Rpc.Examples |
quickstartServer :: forall m f. (MonadServer m, Applicative f, MaybeLike f) => ServerT f QuickStartService m _ Source #