License	BSD-3-Clause
Safe Haskell	None
Language	Haskell2010

Swarm.TUI.Model.WebCommand

Description

The type of commands sent from Web API handlers to the Controller, and the type of replies.

Documentation

data WebCommand Source #

Constructors

RunWebCode
Fields webEntry :: Text webReply :: WebInvocationState -> IO ()

data WebInvocationState Source #

Constructors

Rejected RejectionReason
InProgress
Complete String

Instances

Instances details

FromJSON WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

parseJSON :: Value -> Parser WebInvocationState #

parseJSONList :: Value -> Parser [WebInvocationState] #

omittedField :: Maybe WebInvocationState #

ToJSON WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

toJSON :: WebInvocationState -> Value #

toEncoding :: WebInvocationState -> Encoding #

toJSONList :: [WebInvocationState] -> Value #

toEncodingList :: [WebInvocationState] -> Encoding #

omitField :: WebInvocationState -> Bool #

Generic WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Associated Types

type Rep WebInvocationState

Instance details

Defined in Swarm.TUI.Model.WebCommand

type Rep WebInvocationState = D1 ('MetaData "WebInvocationState" "Swarm.TUI.Model.WebCommand" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-tui" 'False) (C1 ('MetaCons "Rejected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RejectionReason)) :+: (C1 ('MetaCons "InProgress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))))

Methods

from :: WebInvocationState -> Rep WebInvocationState x #

to :: Rep WebInvocationState x -> WebInvocationState #

Show WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

showsPrec :: Int -> WebInvocationState -> ShowS #

show :: WebInvocationState -> String #

showList :: [WebInvocationState] -> ShowS #

Eq WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

(==) :: WebInvocationState -> WebInvocationState -> Bool #

(/=) :: WebInvocationState -> WebInvocationState -> Bool #

Ord WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

compare :: WebInvocationState -> WebInvocationState -> Ordering #

(<) :: WebInvocationState -> WebInvocationState -> Bool #

(<=) :: WebInvocationState -> WebInvocationState -> Bool #

(>) :: WebInvocationState -> WebInvocationState -> Bool #

(>=) :: WebInvocationState -> WebInvocationState -> Bool #

max :: WebInvocationState -> WebInvocationState -> WebInvocationState #

min :: WebInvocationState -> WebInvocationState -> WebInvocationState #

type Rep WebInvocationState Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

type Rep WebInvocationState = D1 ('MetaData "WebInvocationState" "Swarm.TUI.Model.WebCommand" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-tui" 'False) (C1 ('MetaCons "Rejected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RejectionReason)) :+: (C1 ('MetaCons "InProgress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))))

data RejectionReason Source #

Constructors

NoActiveGame
AlreadyRunning
ParseError String

Instances

Instances details

FromJSON RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

parseJSON :: Value -> Parser RejectionReason #

parseJSONList :: Value -> Parser [RejectionReason] #

omittedField :: Maybe RejectionReason #

ToJSON RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

toJSON :: RejectionReason -> Value #

toEncoding :: RejectionReason -> Encoding #

toJSONList :: [RejectionReason] -> Value #

toEncodingList :: [RejectionReason] -> Encoding #

omitField :: RejectionReason -> Bool #

Generic RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Associated Types

type Rep RejectionReason

Instance details

Defined in Swarm.TUI.Model.WebCommand

type Rep RejectionReason = D1 ('MetaData "RejectionReason" "Swarm.TUI.Model.WebCommand" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-tui" 'False) (C1 ('MetaCons "NoActiveGame" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlreadyRunning" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))))

Methods

from :: RejectionReason -> Rep RejectionReason x #

to :: Rep RejectionReason x -> RejectionReason #

Show RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

showsPrec :: Int -> RejectionReason -> ShowS #

show :: RejectionReason -> String #

showList :: [RejectionReason] -> ShowS #

Eq RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

(==) :: RejectionReason -> RejectionReason -> Bool #

(/=) :: RejectionReason -> RejectionReason -> Bool #

Ord RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

Methods

compare :: RejectionReason -> RejectionReason -> Ordering #

(<) :: RejectionReason -> RejectionReason -> Bool #

(<=) :: RejectionReason -> RejectionReason -> Bool #

(>) :: RejectionReason -> RejectionReason -> Bool #

(>=) :: RejectionReason -> RejectionReason -> Bool #

max :: RejectionReason -> RejectionReason -> RejectionReason #

min :: RejectionReason -> RejectionReason -> RejectionReason #

type Rep RejectionReason Source #

Instance details

Defined in Swarm.TUI.Model.WebCommand

type Rep RejectionReason = D1 ('MetaData "RejectionReason" "Swarm.TUI.Model.WebCommand" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-tui" 'False) (C1 ('MetaCons "NoActiveGame" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlreadyRunning" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String))))