Safe Haskell	None
Language	Haskell2010

Mu.Rpc.Examples

Description

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 = 'Package ('Just "helloworld") '['Service "Greeter" '['Method "SayHello" '['ArgSingle ('Nothing :: Maybe Symbol) ('SchemaRef QuickstartSchema "HelloRequest")] ('RetSingle ('SchemaRef QuickstartSchema "HelloResponse")), 'Method "SayHi" '['ArgSingle ('Nothing :: Maybe Symbol) ('SchemaRef QuickstartSchema "HiRequest")] ('RetStream ('SchemaRef QuickstartSchema "HelloResponse")), 'Method "SayManyHellos" '['ArgStream ('Nothing :: Maybe Symbol) ('SchemaRef QuickstartSchema "HelloRequest")] ('RetStream ('SchemaRef QuickstartSchema "HelloResponse"))]] :: Package' Source #

newtype HelloRequest Source #

Constructors

HelloRequest
Fields name :: Text

Instances

Instances details

Eq HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods (==) :: HelloRequest -> HelloRequest -> Bool # (/=) :: HelloRequest -> HelloRequest -> Bool #
Show HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods showsPrec :: Int -> HelloRequest -> ShowS # show :: HelloRequest -> String # showList :: [HelloRequest] -> ShowS #
Generic HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Associated Types type Rep HelloRequest :: Type -> Type # Methods from :: HelloRequest -> Rep HelloRequest x # to :: Rep HelloRequest x -> HelloRequest #
ToJSON HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods toJSON :: HelloRequest -> Value # toEncoding :: HelloRequest -> Encoding # toJSONList :: [HelloRequest] -> Value # toEncodingList :: [HelloRequest] -> Encoding #
FromJSON HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods parseJSON :: Value -> Parser HelloRequest # parseJSONList :: Value -> Parser [HelloRequest] #
ToSchema QuickstartSchema "HelloRequest" HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods toSchema :: HelloRequest -> Term QuickstartSchema (QuickstartSchema :/: "HelloRequest") #
FromSchema QuickstartSchema "HelloRequest" HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HelloRequest") -> HelloRequest #
type Rep HelloRequest Source #
Instance details Defined in Mu.Rpc.Examples type Rep HelloRequest = D1 ('MetaData "HelloRequest" "Mu.Rpc.Examples" "mu-rpc-0.5.0.1-EiOIEe1MoTjLSuZk1DyODX" 'True) (C1 ('MetaCons "HelloRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HelloResponse Source #

Constructors

HelloResponse
Fields message :: Text

Instances

Instances details

Eq HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods (==) :: HelloResponse -> HelloResponse -> Bool # (/=) :: HelloResponse -> HelloResponse -> Bool #
Show HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods showsPrec :: Int -> HelloResponse -> ShowS # show :: HelloResponse -> String # showList :: [HelloResponse] -> ShowS #
Generic HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Associated Types type Rep HelloResponse :: Type -> Type # Methods from :: HelloResponse -> Rep HelloResponse x # to :: Rep HelloResponse x -> HelloResponse #
ToJSON HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods toJSON :: HelloResponse -> Value # toEncoding :: HelloResponse -> Encoding # toJSONList :: [HelloResponse] -> Value # toEncodingList :: [HelloResponse] -> Encoding #
FromJSON HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods parseJSON :: Value -> Parser HelloResponse # parseJSONList :: Value -> Parser [HelloResponse] #
ToSchema QuickstartSchema "HelloResponse" HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods toSchema :: HelloResponse -> Term QuickstartSchema (QuickstartSchema :/: "HelloResponse") #
FromSchema QuickstartSchema "HelloResponse" HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples Methods fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HelloResponse") -> HelloResponse #
type Rep HelloResponse Source #
Instance details Defined in Mu.Rpc.Examples type Rep HelloResponse = D1 ('MetaData "HelloResponse" "Mu.Rpc.Examples" "mu-rpc-0.5.0.1-EiOIEe1MoTjLSuZk1DyODX" 'True) (C1 ('MetaCons "HelloResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HiRequest Source #

Constructors

HiRequest
Fields number :: Int

Instances

Instances details

Eq HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods (==) :: HiRequest -> HiRequest -> Bool # (/=) :: HiRequest -> HiRequest -> Bool #
Show HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods showsPrec :: Int -> HiRequest -> ShowS # show :: HiRequest -> String # showList :: [HiRequest] -> ShowS #
Generic HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Associated Types type Rep HiRequest :: Type -> Type # Methods from :: HiRequest -> Rep HiRequest x # to :: Rep HiRequest x -> HiRequest #
ToJSON HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods toJSON :: HiRequest -> Value # toEncoding :: HiRequest -> Encoding # toJSONList :: [HiRequest] -> Value # toEncodingList :: [HiRequest] -> Encoding #
FromJSON HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods parseJSON :: Value -> Parser HiRequest # parseJSONList :: Value -> Parser [HiRequest] #
ToSchema QuickstartSchema "HiRequest" HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods toSchema :: HiRequest -> Term QuickstartSchema (QuickstartSchema :/: "HiRequest") #
FromSchema QuickstartSchema "HiRequest" HiRequest Source #
Instance details Defined in Mu.Rpc.Examples Methods fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HiRequest") -> HiRequest #
type Rep HiRequest Source #
Instance details Defined in Mu.Rpc.Examples type Rep HiRequest = D1 ('MetaData "HiRequest" "Mu.Rpc.Examples" "mu-rpc-0.5.0.1-EiOIEe1MoTjLSuZk1DyODX" 'True) (C1 ('MetaCons "HiRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "number") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

quickstartServer :: forall m i. MonadServer m => ServerT '[] i QuickStartService m _ Source #

type ApolloService = 'Package ('Just "apollo") '[Object "Book" '[ObjectField "title" '[] ('RetSingle ('PrimitiveRef String)), ObjectField "author" '[] ('RetSingle ('ObjectRef "Author"))], Object "Paper" '[ObjectField "title" '[] ('RetSingle ('PrimitiveRef String)), ObjectField "author" '[] ('RetSingle ('ObjectRef "Author"))], Union "Writing" ["Book", "Paper"], Object "Author" '[ObjectField "name" '[] ('RetSingle ('PrimitiveRef String)), ObjectField "writings" '[] ('RetSingle ('ListRef ('ObjectRef "Writing")))]] Source #

type ApolloBookAuthor = '["Book" :-> (String, Integer), "Paper" :-> (String, Integer), "Writing" :-> Either (String, Integer) (String, Integer), "Author" :-> Integer] Source #

apolloServer :: forall m i. MonadServer m => ServerT ApolloBookAuthor i ApolloService m _ Source #