Mu.Rpc.Examples

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)]]

type QuickStartService = 'Package ('Just "helloworld") '['Service "Greeter" '[] '['Method "SayHello" '[] '['ArgSingle 'Nothing '[] ('SchemaRef QuickstartSchema "HelloRequest")] ('RetSingle ('SchemaRef QuickstartSchema "HelloResponse")), 'Method "SayHi" '[] '['ArgSingle 'Nothing '[] ('SchemaRef QuickstartSchema "HiRequest")] ('RetStream ('SchemaRef QuickstartSchema "HelloResponse")), 'Method "SayManyHellos" '[] '['ArgStream 'Nothing '[] ('SchemaRef QuickstartSchema "HelloRequest")] ('RetStream ('SchemaRef QuickstartSchema "HelloResponse"))]]

newtype HelloRequest

Constructors

HelloRequest

Fields

• name :: Text

Instances

Eq HelloRequest

Defined in Mu.Rpc.Examples

Methods

(==) :: HelloRequest -> HelloRequest -> Bool

(/=) :: HelloRequest -> HelloRequest -> Bool

Show HelloRequest

Defined in Mu.Rpc.Examples

Methods

showsPrec :: Int -> HelloRequest -> ShowS

show :: HelloRequest -> String

showList :: [HelloRequest] -> ShowS

Generic HelloRequest

Defined in Mu.Rpc.Examples

Associated Types

type Rep HelloRequest :: Type -> Type

Methods

from :: HelloRequest -> Rep HelloRequest x

to :: Rep HelloRequest x -> HelloRequest

FromSchema QuickstartSchema "HelloRequest" HelloRequest

Defined in Mu.Rpc.Examples

Methods

fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HelloRequest") -> HelloRequest

ToSchema QuickstartSchema "HelloRequest" HelloRequest

Defined in Mu.Rpc.Examples

Methods

toSchema :: HelloRequest -> Term QuickstartSchema (QuickstartSchema :/: "HelloRequest")

type Rep HelloRequest

Defined in Mu.Rpc.Examples

type Rep HelloRequest = D1 ('MetaData "HelloRequest" "Mu.Rpc.Examples" "mu-rpc-0.3.0.0-inplace" 'True) (C1 ('MetaCons "HelloRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HelloResponse

Constructors

HelloResponse

Fields

• message :: Text

Instances

Eq HelloResponse

Defined in Mu.Rpc.Examples

Methods

(==) :: HelloResponse -> HelloResponse -> Bool

(/=) :: HelloResponse -> HelloResponse -> Bool

Show HelloResponse

Defined in Mu.Rpc.Examples

Methods

showsPrec :: Int -> HelloResponse -> ShowS

show :: HelloResponse -> String

showList :: [HelloResponse] -> ShowS

Generic HelloResponse

Defined in Mu.Rpc.Examples

Associated Types

type Rep HelloResponse :: Type -> Type

Methods

from :: HelloResponse -> Rep HelloResponse x

to :: Rep HelloResponse x -> HelloResponse

FromSchema QuickstartSchema "HelloResponse" HelloResponse

Defined in Mu.Rpc.Examples

Methods

fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HelloResponse") -> HelloResponse

ToSchema QuickstartSchema "HelloResponse" HelloResponse

Defined in Mu.Rpc.Examples

Methods

toSchema :: HelloResponse -> Term QuickstartSchema (QuickstartSchema :/: "HelloResponse")

type Rep HelloResponse

Defined in Mu.Rpc.Examples

type Rep HelloResponse = D1 ('MetaData "HelloResponse" "Mu.Rpc.Examples" "mu-rpc-0.3.0.0-inplace" 'True) (C1 ('MetaCons "HelloResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype HiRequest

Constructors

HiRequest

Fields

• number :: Int

Instances

Eq HiRequest

Defined in Mu.Rpc.Examples

Methods

(==) :: HiRequest -> HiRequest -> Bool

(/=) :: HiRequest -> HiRequest -> Bool

Show HiRequest

Defined in Mu.Rpc.Examples

Methods

showsPrec :: Int -> HiRequest -> ShowS

show :: HiRequest -> String

showList :: [HiRequest] -> ShowS

Generic HiRequest

Defined in Mu.Rpc.Examples

Associated Types

type Rep HiRequest :: Type -> Type

Methods

from :: HiRequest -> Rep HiRequest x

to :: Rep HiRequest x -> HiRequest

FromSchema QuickstartSchema "HiRequest" HiRequest

Defined in Mu.Rpc.Examples

Methods

fromSchema :: Term QuickstartSchema (QuickstartSchema :/: "HiRequest") -> HiRequest

ToSchema QuickstartSchema "HiRequest" HiRequest

Defined in Mu.Rpc.Examples

Methods

toSchema :: HiRequest -> Term QuickstartSchema (QuickstartSchema :/: "HiRequest")

type Rep HiRequest

Defined in Mu.Rpc.Examples

type Rep HiRequest = D1 ('MetaData "HiRequest" "Mu.Rpc.Examples" "mu-rpc-0.3.0.0-inplace" 'True) (C1 ('MetaCons "HiRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "number") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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

type ApolloService = 'Package ('Just "apollo") '[Object "Book" '[] '[ObjectField "title" '[] '[] ('RetSingle ('PrimitiveRef String)), ObjectField "author" '[] '[] ('RetSingle ('ObjectRef "Author"))], Object "Author" '[] '[ObjectField "name" '[] '[] ('RetSingle ('PrimitiveRef String)), ObjectField "books" '[] '[] ('RetSingle ('ListRef ('ObjectRef "Book")))]]

type ApolloBookAuthor = '["Book" :-> (String, Integer), "Author" :-> Integer]

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