gamgee-1.2.2: Tool for generating TOTP MFA tokens.

Safe Haskell	None
Language	Haskell2010

Gamgee.Effects.TOTP

Contents

Effects
Actions
Interpretations

Synopsis

data TOTP m a where
- GetSecret :: TokenSpec -> TOTP m Text
- GetTOTP :: TokenSpec -> POSIXTime -> TOTP m Text
getSecret :: forall r. MemberWithError TOTP r => TokenSpec -> Sem r Text
getTOTP :: forall r. MemberWithError TOTP r => TokenSpec -> POSIXTime -> Sem r Text
runTOTP :: Members [SecretInput Text, Crypto, Error EffError] r => Sem (TOTP ': r) a -> Sem r a

Effects

data TOTP m a where Source #

Constructors

GetSecret :: TokenSpec -> TOTP m Text
GetTOTP :: TokenSpec -> POSIXTime -> TOTP m Text

Instances

Instances details

type DefiningModule (TOTP :: k -> Type -> Type) Source #
Instance details Defined in Gamgee.Effects.TOTP type DefiningModule (TOTP :: k -> Type -> Type) = "Gamgee.Effects.TOTP"

Actions

getSecret :: forall r. MemberWithError TOTP r => TokenSpec -> Sem r Text Source #

getTOTP :: forall r. MemberWithError TOTP r => TokenSpec -> POSIXTime -> Sem r Text Source #

Interpretations

runTOTP :: Members [SecretInput Text, Crypto, Error EffError] r => Sem (TOTP ': r) a -> Sem r a Source #