Safe Haskell	Safe-Inferred
Language	GHC2021

Butler.Display.Session

Documentation

data Sessions #

Constructors

Sessions
Fields db :: Database lock :: MVar () sessions :: TVar (Map SessionID Session) invitations :: MemoryVar (Map InviteID [SessionID])

data Session #

Constructors

Session
Fields sessionID :: SessionID username :: TVar UserName

Instances

Instances details

ToJSON Session #
Instance details Defined in Butler.Display.Session Methods toJSON :: Session -> Value # toEncoding :: Session -> Encoding # toJSONList :: [Session] -> Value # toEncodingList :: [Session] -> Encoding #
Generic Session #
Instance details Defined in Butler.Display.Session Associated Types type Rep Session :: Type -> Type # Methods from :: Session -> Rep Session x # to :: Rep Session x -> Session #
Eq Session #
Instance details Defined in Butler.Display.Session Methods (==) :: Session -> Session -> Bool # (/=) :: Session -> Session -> Bool #
type Rep Session #
Instance details Defined in Butler.Display.Session type Rep Session = D1 ('MetaData "Session" "Butler.Display.Session" "butler-0.0.1.0-inplace" 'False) (C1 ('MetaCons "Session" 'PrefixI 'True) (S1 ('MetaSel ('Just "sessionID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SessionID) :*: S1 ('MetaSel ('Just "username") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TVar UserName))))

withSessions :: (Sessions -> ProcessIO a) -> ProcessIO a #

newInvite :: MonadIO m => Sessions -> InviteID -> m () #

deleteInvite :: Sessions -> InviteID -> STM () #

deleteSession :: Sessions -> SessionID -> ProcessIO () #

isEmptySessions :: Sessions -> STM Bool #

lookupSession :: Sessions -> SessionID -> STM (Maybe Session) #

checkInvite :: Sessions -> InviteID -> STM Bool #

createSession :: Sessions -> UserName -> Maybe InviteID -> ProcessIO (Maybe Session) #

changeUsername :: Sessions -> Session -> UserName -> ProcessIO Bool #

newtype UserName #

Constructors

UserName Text

Instances

Instances details

FromJSON UserName #
Instance details Defined in Butler.Display.User Methods parseJSON :: Value -> Parser UserName # parseJSONList :: Value -> Parser [UserName] #
ToJSON UserName #
Instance details Defined in Butler.Display.User Methods toJSON :: UserName -> Value # toEncoding :: UserName -> Encoding # toJSONList :: [UserName] -> Value # toEncodingList :: [UserName] -> Encoding #
IsString UserName #
Instance details Defined in Butler.Display.User Methods fromString :: String -> UserName #
Generic UserName #
Instance details Defined in Butler.Display.User Associated Types type Rep UserName :: Type -> Type # Methods from :: UserName -> Rep UserName x # to :: Rep UserName x -> UserName #
Show UserName #
Instance details Defined in Butler.Display.User Methods showsPrec :: Int -> UserName -> ShowS # show :: UserName -> String # showList :: [UserName] -> ShowS #
Eq UserName #
Instance details Defined in Butler.Display.User Methods (==) :: UserName -> UserName -> Bool # (/=) :: UserName -> UserName -> Bool #
Ord UserName #
Instance details Defined in Butler.Display.User Methods compare :: UserName -> UserName -> Ordering # (<) :: UserName -> UserName -> Bool # (<=) :: UserName -> UserName -> Bool # (>) :: UserName -> UserName -> Bool # (>=) :: UserName -> UserName -> Bool # max :: UserName -> UserName -> UserName # min :: UserName -> UserName -> UserName #
FromHttpApiData UserName #
Instance details Defined in Butler.Display.User Methods parseUrlPiece :: Text -> Either Text UserName # parseHeader :: ByteString -> Either Text UserName # parseQueryParam :: Text -> Either Text UserName #
ToHtml UserName #
Instance details Defined in Butler.Display.User Methods toHtml :: forall (m :: Type -> Type). Monad m => UserName -> HtmlT m () # toHtmlRaw :: forall (m :: Type -> Type). Monad m => UserName -> HtmlT m () #
Serialise UserName #
Instance details Defined in Butler.Display.User Methods encode :: UserName -> Encoding # decode :: Decoder s UserName # encodeList :: [UserName] -> Encoding # decodeList :: Decoder s [UserName] #
From UserName Text #
Instance details Defined in Butler.Display.User Methods from :: UserName -> Text #
type Rep UserName #
Instance details Defined in Butler.Display.User type Rep UserName = D1 ('MetaData "UserName" "Butler.Display.User" "butler-0.0.1.0-inplace" 'True) (C1 ('MetaCons "UserName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

isValidUserName :: Text -> Maybe UserName #

newtype SessionID #

Constructors

SessionID UUID

Instances

Instances details

FromJSON SessionID #
Instance details Defined in Butler.Display.Session Methods parseJSON :: Value -> Parser SessionID # parseJSONList :: Value -> Parser [SessionID] #
ToJSON SessionID #
Instance details Defined in Butler.Display.Session Methods toJSON :: SessionID -> Value # toEncoding :: SessionID -> Encoding # toJSONList :: [SessionID] -> Value # toEncodingList :: [SessionID] -> Encoding #
Generic SessionID #
Instance details Defined in Butler.Display.Session Associated Types type Rep SessionID :: Type -> Type # Methods from :: SessionID -> Rep SessionID x # to :: Rep SessionID x -> SessionID #
Show SessionID #
Instance details Defined in Butler.Display.Session Methods showsPrec :: Int -> SessionID -> ShowS # show :: SessionID -> String # showList :: [SessionID] -> ShowS #
Eq SessionID #
Instance details Defined in Butler.Display.Session Methods (==) :: SessionID -> SessionID -> Bool # (/=) :: SessionID -> SessionID -> Bool #
Ord SessionID #
Instance details Defined in Butler.Display.Session Methods compare :: SessionID -> SessionID -> Ordering # (<) :: SessionID -> SessionID -> Bool # (<=) :: SessionID -> SessionID -> Bool # (>) :: SessionID -> SessionID -> Bool # (>=) :: SessionID -> SessionID -> Bool # max :: SessionID -> SessionID -> SessionID # min :: SessionID -> SessionID -> SessionID #
Hashable SessionID #
Instance details Defined in Butler.Display.Session Methods hashWithSalt :: Int -> SessionID -> Int # hash :: SessionID -> Int #
FromHttpApiData SessionID #
Instance details Defined in Butler.Display.Session Methods parseUrlPiece :: Text -> Either Text SessionID # parseHeader :: ByteString -> Either Text SessionID # parseQueryParam :: Text -> Either Text SessionID #
ToHtml SessionID #
Instance details Defined in Butler.Display.Session Methods toHtml :: forall (m :: Type -> Type). Monad m => SessionID -> HtmlT m () # toHtmlRaw :: forall (m :: Type -> Type). Monad m => SessionID -> HtmlT m () #
Serialise SessionID #
Instance details Defined in Butler.Display.Session Methods encode :: SessionID -> Encoding # decode :: Decoder s SessionID # encodeList :: [SessionID] -> Encoding # decodeList :: Decoder s [SessionID] #
FromJWT SessionID #
Instance details Defined in Butler.Display.Session Methods decodeJWT :: ClaimsSet -> Either Text SessionID #
ToJWT SessionID #
Instance details Defined in Butler.Display.Session Methods encodeJWT :: SessionID -> ClaimsSet #
From SessionID StorageAddress #
Instance details Defined in Butler.Display.Session Methods from :: SessionID -> StorageAddress #
From SessionID Text #
Instance details Defined in Butler.Display.Session Methods from :: SessionID -> Text #
type Rep SessionID #
Instance details Defined in Butler.Display.Session type Rep SessionID = D1 ('MetaData "SessionID" "Butler.Display.Session" "butler-0.0.1.0-inplace" 'True) (C1 ('MetaCons "SessionID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

newtype InviteID #

Constructors

InviteID Text

Instances

Instances details

FromJSON InviteID #
Instance details Defined in Butler.Display.Session Methods parseJSON :: Value -> Parser InviteID # parseJSONList :: Value -> Parser [InviteID] #
ToJSON InviteID #
Instance details Defined in Butler.Display.Session Methods toJSON :: InviteID -> Value # toEncoding :: InviteID -> Encoding # toJSONList :: [InviteID] -> Value # toEncodingList :: [InviteID] -> Encoding #
IsString InviteID #
Instance details Defined in Butler.Display.Session Methods fromString :: String -> InviteID #
Generic InviteID #
Instance details Defined in Butler.Display.Session Associated Types type Rep InviteID :: Type -> Type # Methods from :: InviteID -> Rep InviteID x # to :: Rep InviteID x -> InviteID #
Show InviteID #
Instance details Defined in Butler.Display.Session Methods showsPrec :: Int -> InviteID -> ShowS # show :: InviteID -> String # showList :: [InviteID] -> ShowS #
Eq InviteID #
Instance details Defined in Butler.Display.Session Methods (==) :: InviteID -> InviteID -> Bool # (/=) :: InviteID -> InviteID -> Bool #
Ord InviteID #
Instance details Defined in Butler.Display.Session Methods compare :: InviteID -> InviteID -> Ordering # (<) :: InviteID -> InviteID -> Bool # (<=) :: InviteID -> InviteID -> Bool # (>) :: InviteID -> InviteID -> Bool # (>=) :: InviteID -> InviteID -> Bool # max :: InviteID -> InviteID -> InviteID # min :: InviteID -> InviteID -> InviteID #
FromHttpApiData InviteID #
Instance details Defined in Butler.Display.Session Methods parseUrlPiece :: Text -> Either Text InviteID # parseHeader :: ByteString -> Either Text InviteID # parseQueryParam :: Text -> Either Text InviteID #
ToHtml InviteID #
Instance details Defined in Butler.Display.Session Methods toHtml :: forall (m :: Type -> Type). Monad m => InviteID -> HtmlT m () # toHtmlRaw :: forall (m :: Type -> Type). Monad m => InviteID -> HtmlT m () #
Serialise InviteID #
Instance details Defined in Butler.Display.Session Methods encode :: InviteID -> Encoding # decode :: Decoder s InviteID # encodeList :: [InviteID] -> Encoding # decodeList :: Decoder s [InviteID] #
type Rep InviteID #
Instance details Defined in Butler.Display.Session type Rep InviteID = D1 ('MetaData "InviteID" "Butler.Display.Session" "butler-0.0.1.0-inplace" 'True) (C1 ('MetaCons "InviteID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))