databrary-1: Databrary

Safe Haskell	None
Language	Haskell2010

Model.Token.Types

Documentation

data Token Source #

Constructors

Token
Fields tokenId :: Id Token tokenExpires :: Timestamp

Instances

Has (Id Token) Upload Source #
Methods view :: Upload -> Id Token Source #
Has (Id Token) Session Source #
Methods view :: Session -> Id Token Source #
Has (Id Token) LoginToken Source #
Methods view :: LoginToken -> Id Token Source #
Has (Id Token) AccountToken Source #
Methods view :: AccountToken -> Id Token Source #
Has (Id Token) Token Source #
Methods view :: Token -> Id Token Source #
type IdType Token Source #
type IdType Token = ByteString

data AccountToken Source #

Constructors

AccountToken
Fields accountToken :: !Token tokenAccount :: SiteAuth

Instances

Has Access AccountToken Source #
Methods view :: AccountToken -> Access Source #
Has SiteAuth AccountToken Source #
Methods view :: AccountToken -> SiteAuth Source #
Has Account AccountToken Source #
Methods view :: AccountToken -> Account Source #
Has (Id Party) AccountToken Source #
Methods view :: AccountToken -> Id Party Source #
Has (Id Token) AccountToken Source #
Methods view :: AccountToken -> Id Token Source #

data LoginToken Source #

Constructors

LoginToken
Fields loginAccountToken :: !AccountToken loginPasswordToken :: Bool

Instances

Kinded LoginToken Source #
Methods kindOf :: IsString s => LoginToken -> s Source #
Has SiteAuth LoginToken Source #
Methods view :: LoginToken -> SiteAuth Source #
Has (Id Token) LoginToken Source #
Methods view :: LoginToken -> Id Token Source #
type IdType LoginToken Source #
type IdType LoginToken = ByteString

data Session Source #

Constructors

Session
Fields sessionAccountToken :: !AccountToken sessionVerf :: !ByteString sessionSuperuser :: Bool

Instances

Has Access Session Source #
Methods view :: Session -> Access Source #
Has Account Session Source #
Methods view :: Session -> Account Source #
Has (Id Party) Session Source #
Methods view :: Session -> Id Party Source #
Has (Id Token) Session Source #
Methods view :: Session -> Id Token Source #

data Upload Source #

Constructors

Upload
Fields uploadAccountToken :: AccountToken uploadFilename :: ByteString uploadSize :: Int64

Instances

Has (Id Token) Upload Source #
Methods view :: Upload -> Id Token Source #

makeUpload :: Token -> ByteString -> Int64 -> SiteAuth -> Upload Source #