butler-0.0.1.0: At your service.
Safe HaskellSafe-Inferred
LanguageGHC2021

Butler.Display

Description

This module contains the logic to enable user access through HTTP.

Synopsis

Documentation

data Display #

Constructors

Display 

Fields

data DisplayAddr #

Constructors

DisplayAddr WebProtocol Port 

Instances

Instances details
Eq DisplayAddr # 
Instance details

Defined in Butler.Display

Methods

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

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

data AuthApplication #

Constructors

AuthApplication 

Fields

type OnClient = Session -> Workspace -> ProcessIO (ProcessEnv, DisplayEvent -> ProcessIO ()) #

startDisplay :: Maybe DisplayAddr -> [XStaticFile] -> (Sessions -> ProcessIO AuthApplication) -> (Display -> ProcessIO OnClient) -> ProcessIO Void #

getClient :: Display -> SessionID -> Endpoint -> STM (Maybe DisplayClient) #

data DisplayEvent #

Constructors

UserConnected ChannelName DisplayClient 
UserDisconnected ChannelName DisplayClient 

Instances

Instances details
ToJSON DisplayEvent # 
Instance details

Defined in Butler.App

Methods

toJSON :: DisplayEvent -> Value #

toEncoding :: DisplayEvent -> Encoding #

toJSONList :: [DisplayEvent] -> Value #

toEncodingList :: [DisplayEvent] -> Encoding #

Generic DisplayEvent # 
Instance details

Defined in Butler.App

Associated Types

type Rep DisplayEvent :: Type -> Type #

Methods

from :: DisplayEvent -> Rep DisplayEvent x #

to :: Rep DisplayEvent x -> DisplayEvent #

Show DisplayEvent # 
Instance details

Defined in Butler.App

Methods

showsPrec :: Int -> DisplayEvent -> ShowS #

show :: DisplayEvent -> String #

showList :: [DisplayEvent] -> ShowS #

type Rep DisplayEvent # 
Instance details

Defined in Butler.App

type Rep DisplayEvent = D1 ('MetaData "DisplayEvent" "Butler.App" "butler-0.0.1.0-inplace" 'False) (C1 ('MetaCons "UserConnected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChannelName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayClient)) :+: C1 ('MetaCons "UserDisconnected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChannelName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayClient)))

newtype JwkStorage #

Constructors

JwkStorage JWK 

Instances

Instances details
Serialise JwkStorage # 
Instance details

Defined in Butler.Display

Methods

encode :: JwkStorage -> Encoding #

decode :: Decoder s JwkStorage #

encodeList :: [JwkStorage] -> Encoding #

decodeList :: Decoder s [JwkStorage] #

newtype DisplayApplication #

Constructors

DisplayApplication ([XStaticFile] -> Sessions -> ProcessIO AuthApplication) 

module Butler.Display.Client

Application environment

serveApps :: DisplayApplication -> [App] -> ProcessIO Void #

Serve applications with one instance per client.

serveDashboardApps :: DisplayApplication -> [App] -> ProcessIO Void #

Serve applications with one instance for all clients.