Safe Haskell	Safe-Inferred
Language	GHC2021

Data.ZAuth.Creation

Contents

Types
Initialisation
Specific
Generic

Synopsis

data Create a
data Env
mkEnv :: SecretKey -> [SecretKey] -> IO Env
runCreate :: Env -> Int -> Create a -> IO a
accessToken :: Integer -> UUID -> Maybe Text -> Word64 -> Create (Token Access)
accessToken1 :: Integer -> UUID -> Maybe Text -> Create (Token Access)
userToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token User)
sessionToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token User)
botToken :: UUID -> UUID -> UUID -> Create (Token Bot)
providerToken :: Integer -> UUID -> Create (Token Provider)
legalHoldAccessToken :: Integer -> UUID -> Maybe Text -> Word64 -> Create (Token LegalHoldAccess)
legalHoldAccessToken1 :: Integer -> UUID -> Maybe Text -> Create (Token LegalHoldAccess)
legalHoldUserToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token LegalHoldUser)
newToken :: ToByteString a => POSIXTime -> Type -> Maybe Tag -> a -> Create (Token a)
renewToken :: ToByteString a => Integer -> Header -> a -> Create (Token a)

Types

data Create a Source #

Instances

Instances details

MonadIO Create Source #
Instance details Defined in Data.ZAuth.Creation Methods liftIO :: IO a -> Create a #
Applicative Create Source #
Instance details Defined in Data.ZAuth.Creation Methods pure :: a -> Create a # (<>) :: Create (a -> b) -> Create a -> Create b # liftA2 :: (a -> b -> c) -> Create a -> Create b -> Create c # (>) :: Create a -> Create b -> Create b # (<*) :: Create a -> Create b -> Create a #
Functor Create Source #
Instance details Defined in Data.ZAuth.Creation Methods fmap :: (a -> b) -> Create a -> Create b # (<$) :: a -> Create b -> Create a #
Monad Create Source #
Instance details Defined in Data.ZAuth.Creation Methods (>>=) :: Create a -> (a -> Create b) -> Create b # (>>) :: Create a -> Create b -> Create b # return :: a -> Create a #
MonadCatch Create Source #
Instance details Defined in Data.ZAuth.Creation Methods catch :: (HasCallStack, Exception e) => Create a -> (e -> Create a) -> Create a #
MonadThrow Create Source #
Instance details Defined in Data.ZAuth.Creation Methods throwM :: (HasCallStack, Exception e) => e -> Create a #

data Env Source #

Initialisation

mkEnv :: SecretKey -> [SecretKey] -> IO Env Source #

runCreate :: Env -> Int -> Create a -> IO a Source #

Specific

accessToken :: Integer -> UUID -> Maybe Text -> Word64 -> Create (Token Access) Source #

Create an access token taking a duration, userId, clientId and a (random) number that can be used as connection identifier

accessToken1 :: Integer -> UUID -> Maybe Text -> Create (Token Access) Source #

Create an access token taking a duration, userId and clientId. Similar to accessToken, except that the connection identifier is randomly generated.

userToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token User) Source #

sessionToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token User) Source #

botToken :: UUID -> UUID -> UUID -> Create (Token Bot) Source #

providerToken :: Integer -> UUID -> Create (Token Provider) Source #

legalHoldAccessToken :: Integer -> UUID -> Maybe Text -> Word64 -> Create (Token LegalHoldAccess) Source #

Create a legal hold access token taking a duration, userId, clientId and a (random) number that can be used as connection identifier

legalHoldAccessToken1 :: Integer -> UUID -> Maybe Text -> Create (Token LegalHoldAccess) Source #

Create a legal hold access token taking a duration, userId. Similar to legalHoldAccessToken, except that the connection identifier is randomly generated.

legalHoldUserToken :: Integer -> UUID -> Maybe Text -> Word32 -> Create (Token LegalHoldUser) Source #

Generic

newToken :: ToByteString a => POSIXTime -> Type -> Maybe Tag -> a -> Create (Token a) Source #

renewToken :: ToByteString a => Integer -> Header -> a -> Create (Token a) Source #