Gamgee.Effects.Crypto

Cryptographic effect for securing tokens

Effect

data Crypto m a where

Effect for encrypting and decrypting secrets

Constructors

Encrypt

Encrypts a secret with an optional password

Fields

• :: Text

  The secret to encrypt

• -> Text

  The password

• -> Crypto m TokenSecret

Decrypt

Decrypt a secret with an optional password

Fields

• :: Text

  Base64 encoded IV

• -> Text

  Base64 encoded encrypted secret

• -> Text

  The password for decryption

• -> Crypto m Text

  Decrypted secret

Instances

type DefiningModule (Crypto :: k -> Type -> Type)

Defined in Gamgee.Effects.Crypto

type DefiningModule (Crypto :: k -> Type -> Type) = "Gamgee.Effects.Crypto"

Programs

encryptSecret :: Members [SecretInput Text, Crypto] r => TokenSpec -> Sem r TokenSpec

decryptSecret :: Members [SecretInput Text, Crypto] r => TokenSpec -> Sem r Text

Interpretations

runCrypto :: Members [CryptoRandom, Error EffError] r => Sem (Crypto ': r) a -> Sem r a