Copyright	(c) 2018 Quixoftic LLC
License	BSD3
Maintainer	Drew Hess <dhess-src@quixoftic.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Mellon.Web.Client

Contents

Client actions
Server types

Description

This module provides client-side actions for interacting with the server-side MellonAPI.

The client actions are implemented on top of the Network.HTTP.Client and Servant.Client modules.

Synopsis

Client actions

These actions take a Manager and a BaseUrl, and should then be run in an ExceptT transformer stack to produce a result. For example, assuming the service endpoint is http://localhost:8081/:

> let baseUrl = BaseUrl Http "localhost" 8081 ""
> manager <- newManager defaultManagerSettings
> runExceptT $ putState Locked manager baseUrl
Right Locked

getTime :: ClientM Time Source #

Get the server's time. This action is provided chiefly to verify the accuracy of the server's clock.

getState :: ClientM State Source #

Get the current state of the server's Controller.

putState :: State -> ClientM State Source #

Lock or unlock the server's Controller.

Server types

Re-exported for convenience.

data State Source #

Mimics State, but provides JSON conversions. (Avoids orphan instances.)

Constructors

Locked
Unlocked !UTCTime

Instances

Eq State Source #
Methods (==) :: State -> State -> Bool # (/=) :: State -> State -> Bool #
Data State Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> State -> c State # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c State # toConstr :: State -> Constr # dataTypeOf :: State -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c State) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c State) # gmapT :: (forall b. Data b => b -> b) -> State -> State # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> State -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> State -> r # gmapQ :: (forall d. Data d => d -> u) -> State -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> State -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> State -> m State # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> State -> m State # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> State -> m State #
Read State Source #
Methods readsPrec :: Int -> ReadS State # readList :: ReadS [State] # readPrec :: ReadPrec State # readListPrec :: ReadPrec [State] #
Show State Source #
Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #
Generic State Source #
Associated Types type Rep State :: * -> * # Methods from :: State -> Rep State x # to :: Rep State x -> State #
ToJSON State Source #
Methods toJSON :: State -> Value # toEncoding :: State -> Encoding # toJSONList :: [State] -> Value # toEncodingList :: [State] -> Encoding #
FromJSON State Source #
Methods parseJSON :: Value -> Parser State # parseJSONList :: Value -> Parser [State] #
ToHtml State Source #
Methods toHtml :: Monad m => State -> HtmlT m () # toHtmlRaw :: Monad m => State -> HtmlT m () #
ToSample State Source #
Methods toSamples :: Proxy * State -> [(Text, State)] #
ToSchema State Source #
Methods declareNamedSchema :: proxy State -> Declare (Definitions Schema) NamedSchema #
type Rep State Source #
type Rep State = D1 * (MetaData "State" "Mellon.Web.Server.API" "mellon-web-0.8.0.5-DpV5YZrPjiDI19hEXZB1C" False) ((:+:) * (C1 * (MetaCons "Locked" PrefixI False) (U1 )) (C1 (MetaCons "Unlocked" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * UTCTime))))

newtype Time Source #

A newtype wrapper around UTCTime, for serving HTML without orphan instances.

Constructors

Time UTCTime

Instances

Eq Time Source #
Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Data Time Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Time -> c Time # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Time # toConstr :: Time -> Constr # dataTypeOf :: Time -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Time) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Time) # gmapT :: (forall b. Data b => b -> b) -> Time -> Time # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Time -> r # gmapQ :: (forall d. Data d => d -> u) -> Time -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Time -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Time -> m Time # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Time -> m Time #
Ord Time Source #
Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
Read Time Source #
Methods readsPrec :: Int -> ReadS Time # readList :: ReadS [Time] # readPrec :: ReadPrec Time # readListPrec :: ReadPrec [Time] #
Show Time Source #
Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Generic Time Source #
Associated Types type Rep Time :: * -> * # Methods from :: Time -> Rep Time x # to :: Rep Time x -> Time #
ToJSON Time Source #
Methods toJSON :: Time -> Value # toEncoding :: Time -> Encoding # toJSONList :: [Time] -> Value # toEncodingList :: [Time] -> Encoding #
FromJSON Time Source #
Methods parseJSON :: Value -> Parser Time # parseJSONList :: Value -> Parser [Time] #
ToHtml Time Source #
Methods toHtml :: Monad m => Time -> HtmlT m () # toHtmlRaw :: Monad m => Time -> HtmlT m () #
ToSample Time Source #
Methods toSamples :: Proxy * Time -> [(Text, Time)] #
ToSchema Time Source #
Methods declareNamedSchema :: proxy Time -> Declare (Definitions Schema) NamedSchema #
type Rep Time Source #
type Rep Time = D1 * (MetaData "Time" "Mellon.Web.Server.API" "mellon-web-0.8.0.5-DpV5YZrPjiDI19hEXZB1C" True) (C1 * (MetaCons "Time" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * UTCTime)))